Source/Packages

Realization.Nvidia.SM86.ReductionSM86

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

1,570 lines106 declarations59.9 KiBSHA-256 60bc03ffc9c2

def · lines 1044–1136

reductionSM86ParameterizedButterflies

Full file
1044def reductionSM86ParameterizedButterflies =
1045  (lambda unrestricted combine : (pi unrestricted destination : (family SM86Register) . (pi unrestricted left : (family SM86Register) . (pi unrestricted right : (family SM86Register) . (pi unrestricted control : (family SM86Control) . (family SM86InstructionBody))))) .
1046    (lambda unrestricted accumulator : (family SM86Register) .
1047      (lambda unrestricted scratch : (family SM86Register) .
1048        (lambda unrestricted firstControl : (family SM86Control) .
1049          (constructor
1050            SM86Program
1051            SM86ProgramNext
1052            (sm86Instruction
1053              (constructor
1054                SM86InstructionBody
1055                SM86WarpShuffle
1056                scratch
1057                accumulator
1058                (byte 16)
1059                reductionSM86ShuffleSegment32
1060                reductionSM86ShuffleButterfly
1061                firstControl))
1062            (constructor
1063              SM86Program
1064              SM86ProgramNext
1065              (sm86Instruction (combine accumulator accumulator scratch reductionSM86Wait4))
1066              (constructor
1067                SM86Program
1068                SM86ProgramNext
1069                (sm86Instruction
1070                  (constructor
1071                    SM86InstructionBody
1072                    SM86WarpShuffle
1073                    scratch
1074                    accumulator
1075                    (byte 8)
1076                    reductionSM86ShuffleSegment32
1077                    reductionSM86ShuffleButterfly
1078                    reductionSM86Set5))
1079                (constructor
1080                  SM86Program
1081                  SM86ProgramNext
1082                  (sm86Instruction (combine accumulator accumulator scratch reductionSM86Wait5))
1083                  (constructor
1084                    SM86Program
1085                    SM86ProgramNext
1086                    (sm86Instruction
1087                      (constructor
1088                        SM86InstructionBody
1089                        SM86WarpShuffle
1090                        scratch
1091                        accumulator
1092                        (byte 4)
1093                        reductionSM86ShuffleSegment32
1094                        reductionSM86ShuffleButterfly
1095                        reductionSM86Set4))
1096                    (constructor
1097                      SM86Program
1098                      SM86ProgramNext
1099                      (sm86Instruction (combine accumulator accumulator scratch reductionSM86Wait4))
1100                      (constructor
1101                        SM86Program
1102                        SM86ProgramNext
1103                        (sm86Instruction
1104                          (constructor
1105                            SM86InstructionBody
1106                            SM86WarpShuffle
1107                            scratch
1108                            accumulator
1109                            (byte 2)
1110                            reductionSM86ShuffleSegment32
1111                            reductionSM86ShuffleButterfly
1112                            reductionSM86Set5))
1113                        (constructor
1114                          SM86Program
1115                          SM86ProgramNext
1116                          (sm86Instruction
1117                            (combine accumulator accumulator scratch reductionSM86Wait5))
1118                          (constructor
1119                            SM86Program
1120                            SM86ProgramNext
1121                            (sm86Instruction
1122                              (constructor
1123                                SM86InstructionBody
1124                                SM86WarpShuffle
1125                                scratch
1126                                accumulator
1127                                (byte 1)
1128                                reductionSM86ShuffleSegment32
1129                                reductionSM86ShuffleButterfly
1130                                reductionSM86Set4))
1131                            (constructor
1132                              SM86Program
1133                              SM86ProgramNext
1134                              (sm86Instruction
1135                                (combine accumulator accumulator scratch reductionSM86Wait4))
1136                              (constructor SM86Program SM86ProgramEnd)))))))))))))))

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.