Source/Packages

Realization.Nvidia.SM86.GreedyArgmaxSM86

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

1,985 lines222 declarations73.3 KiBSHA-256 a4ae889c3756

def · lines 640–797

greedyArgmaxSM86CandidateProgram

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