Source/Packages

Realization.Nvidia.SM86.GreedyArgmaxSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/GreedyArgmaxSM86.alpha

1,978 lines222 declarations72.8 KiBSHA-256 b399c7cf28cc

def · lines 633–790

greedyArgmaxSM86CandidateProgram

Full file
633def greedyArgmaxSM86CandidateProgram : (family SM86Program) =
634  (greedyArgmaxSM86Next
635    (constructor
636      SM86InstructionBody
637      SM86FloatMinimumOrMaximum
638      greedyArgmaxSM86R14
639      greedyArgmaxSM86R7
640      greedyArgmaxSM86R10
641      greedyArgmaxSM86FloatMaximum
642      sm86SafeControl)
643    (greedyArgmaxSM86Next
644      (constructor
645        SM86InstructionBody
646        SM86FloatNegate
647        greedyArgmaxSM86R15
648        greedyArgmaxSM86R14
649        sm86SafeControl)
650      (greedyArgmaxSM86Next
651        (constructor
652          SM86InstructionBody
653          SM86FloatAdd
654          greedyArgmaxSM86R16
655          greedyArgmaxSM86R7
656          greedyArgmaxSM86R15
657          sm86SafeControl)
658        (greedyArgmaxSM86Next
659          (constructor
660            SM86InstructionBody
661            SM86LogicThreeInputTruthTable
662            greedyArgmaxSM86R16
663            greedyArgmaxSM86R16
664            greedyArgmaxSM86R9
665            (byte 192)
666            sm86SafeControl)
667          (greedyArgmaxSM86Next
668            (constructor
669              SM86InstructionBody
670              SM86PredicateGreaterThanImmediate
671              greedyArgmaxSM86P2
672              greedyArgmaxSM86R16
673              greedyArgmaxSM86U0
674              sm86SafeControl)
675            (greedyArgmaxSM86When
676              greedyArgmaxSM86P2
677              (constructor
678                SM86InstructionBody
679                SM86IntegerAddThreeImmediate
680                greedyArgmaxSM86R8
681                greedyArgmaxSM86R3
682                greedyArgmaxSM86U0
683                sm86SafeControl)
684              (greedyArgmaxSM86Next
685                (constructor
686                  SM86InstructionBody
687                  SM86FloatAdd
688                  greedyArgmaxSM86R17
689                  greedyArgmaxSM86R10
690                  greedyArgmaxSM86R15
691                  sm86SafeControl)
692                (greedyArgmaxSM86Next
693                  (constructor
694                    SM86InstructionBody
695                    SM86LogicThreeInputTruthTable
696                    greedyArgmaxSM86R17
697                    greedyArgmaxSM86R17
698                    greedyArgmaxSM86R9
699                    (byte 192)
700                    sm86SafeControl)
701                  (greedyArgmaxSM86Next
702                    (constructor
703                      SM86InstructionBody
704                      SM86PredicateGreaterThanImmediate
705                      greedyArgmaxSM86P3
706                      greedyArgmaxSM86R17
707                      greedyArgmaxSM86U0
708                      sm86SafeControl)
709                    (greedyArgmaxSM86When
710                      greedyArgmaxSM86P3
711                      (constructor
712                        SM86InstructionBody
713                        SM86IntegerAddThreeImmediate
714                        greedyArgmaxSM86R3
715                        greedyArgmaxSM86R8
716                        greedyArgmaxSM86U0
717                        sm86SafeControl)
718                      (greedyArgmaxSM86Next
719                        (constructor
720                          SM86InstructionBody
721                          SM86IntegerToFloat
722                          greedyArgmaxSM86R23
723                          greedyArgmaxSM86R8
724                          sm86SafeControl)
725                        (greedyArgmaxSM86Next
726                          (constructor
727                            SM86InstructionBody
728                            SM86IntegerToFloat
729                            greedyArgmaxSM86R24
730                            greedyArgmaxSM86R3
731                            sm86SafeControl)
732                          (greedyArgmaxSM86Next
733                            (constructor
734                              SM86InstructionBody
735                              SM86FloatMinimumOrMaximum
736                              greedyArgmaxSM86R25
737                              greedyArgmaxSM86R23
738                              greedyArgmaxSM86R24
739                              greedyArgmaxSM86FloatMinimum
740                              sm86SafeControl)
741                            (greedyArgmaxSM86Next
742                              (constructor
743                                SM86InstructionBody
744                                SM86FloatNegate
745                                greedyArgmaxSM86R26
746                                greedyArgmaxSM86R25
747                                sm86SafeControl)
748                              (greedyArgmaxSM86Next
749                                (constructor
750                                  SM86InstructionBody
751                                  SM86FloatAdd
752                                  greedyArgmaxSM86R27
753                                  greedyArgmaxSM86R23
754                                  greedyArgmaxSM86R26
755                                  sm86SafeControl)
756                                (greedyArgmaxSM86Next
757                                  (constructor
758                                    SM86InstructionBody
759                                    SM86LogicThreeInputTruthTable
760                                    greedyArgmaxSM86R27
761                                    greedyArgmaxSM86R27
762                                    greedyArgmaxSM86R9
763                                    (byte 192)
764                                    sm86SafeControl)
765                                  (greedyArgmaxSM86Next
766                                    (constructor
767                                      SM86InstructionBody
768                                      SM86PredicateGreaterThanImmediate
769                                      greedyArgmaxSM86P1
770                                      greedyArgmaxSM86R27
771                                      greedyArgmaxSM86U0
772                                      sm86SafeControl)
773                                    (greedyArgmaxSM86When
774                                      greedyArgmaxSM86P1
775                                      (constructor
776                                        SM86InstructionBody
777                                        SM86IntegerAddThreeImmediate
778                                        greedyArgmaxSM86R8
779                                        greedyArgmaxSM86R3
780                                        greedyArgmaxSM86U0
781                                        sm86SafeControl)
782                                      (greedyArgmaxSM86Next
783                                        (constructor
784                                        SM86InstructionBody
785                                        SM86IntegerAddThreeImmediate
786                                        greedyArgmaxSM86R7
787                                        greedyArgmaxSM86R14
788                                        greedyArgmaxSM86U0
789                                        sm86SafeControl)
790                                        sm86ProgramEmpty)))))))))))))))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.