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 1082–1286

greedyArgmaxSM86PairStage

Full file
1082def greedyArgmaxSM86PairStage =
1083  (lambda unrestricted lane : Byte .
1084    (greedyArgmaxSM86Next
1085      (constructor
1086        SM86InstructionBody
1087        SM86WarpShuffle
1088        greedyArgmaxSM86R17
1089        greedyArgmaxSM86R7
1090        lane
1091        greedyArgmaxSM86U31
1092        greedyArgmaxSM86ShuffleButterfly
1093        greedyArgmaxSM86Set0)
1094      (greedyArgmaxSM86Next
1095        (constructor
1096          SM86InstructionBody
1097          SM86WarpShuffle
1098          greedyArgmaxSM86R18
1099          greedyArgmaxSM86R8
1100          lane
1101          greedyArgmaxSM86U31
1102          greedyArgmaxSM86ShuffleButterfly
1103          greedyArgmaxSM86Set1)
1104        (greedyArgmaxSM86Next
1105          (constructor
1106            SM86InstructionBody
1107            SM86IntegerAddThreeImmediate
1108            greedyArgmaxSM86R18
1109            greedyArgmaxSM86R18
1110            greedyArgmaxSM86U0
1111            greedyArgmaxSM86Wait1)
1112          (greedyArgmaxSM86Next
1113          (constructor
1114            SM86InstructionBody
1115            SM86FloatMinimumOrMaximum
1116            greedyArgmaxSM86R19
1117            greedyArgmaxSM86R7
1118            greedyArgmaxSM86R17
1119            greedyArgmaxSM86FloatMaximum
1120            greedyArgmaxSM86Wait0)
1121          (greedyArgmaxSM86Next
1122            (constructor
1123              SM86InstructionBody
1124              SM86FloatNegate
1125              greedyArgmaxSM86R20
1126              greedyArgmaxSM86R19
1127              sm86SafeControl)
1128            (greedyArgmaxSM86Next
1129              (constructor
1130                SM86InstructionBody
1131                SM86FloatAdd
1132                greedyArgmaxSM86R21
1133                greedyArgmaxSM86R7
1134                greedyArgmaxSM86R20
1135                sm86SafeControl)
1136              (greedyArgmaxSM86Next
1137                (constructor
1138                  SM86InstructionBody
1139                  SM86LogicThreeInputTruthTable
1140                  greedyArgmaxSM86R21
1141                  greedyArgmaxSM86R21
1142                  greedyArgmaxSM86R9
1143                  (byte 192)
1144                  sm86SafeControl)
1145                (greedyArgmaxSM86Next
1146                  (constructor
1147                    SM86InstructionBody
1148                    SM86PredicateGreaterThanImmediate
1149                    greedyArgmaxSM86P1
1150                    greedyArgmaxSM86R21
1151                    greedyArgmaxSM86U0
1152                    sm86SafeControl)
1153                  (greedyArgmaxSM86Next
1154                    (constructor
1155                      SM86InstructionBody
1156                      SM86FloatAdd
1157                      greedyArgmaxSM86R22
1158                      greedyArgmaxSM86R17
1159                      greedyArgmaxSM86R20
1160                      sm86SafeControl)
1161                    (greedyArgmaxSM86Next
1162                      (constructor
1163                        SM86InstructionBody
1164                        SM86LogicThreeInputTruthTable
1165                        greedyArgmaxSM86R22
1166                        greedyArgmaxSM86R22
1167                        greedyArgmaxSM86R9
1168                        (byte 192)
1169                        sm86SafeControl)
1170                      (greedyArgmaxSM86Next
1171                        (constructor
1172                          SM86InstructionBody
1173                          SM86PredicateGreaterThanImmediate
1174                          greedyArgmaxSM86P2
1175                          greedyArgmaxSM86R22
1176                          greedyArgmaxSM86U0
1177                          sm86SafeControl)
1178                        (greedyArgmaxSM86When
1179                          greedyArgmaxSM86P1
1180                          (constructor
1181                            SM86InstructionBody
1182                            SM86IntegerAddThreeImmediate
1183                            greedyArgmaxSM86R8
1184                            greedyArgmaxSM86R18
1185                            greedyArgmaxSM86U0
1186                            sm86SafeControl)
1187                          (greedyArgmaxSM86When
1188                            greedyArgmaxSM86P2
1189                            (constructor
1190                              SM86InstructionBody
1191                              SM86IntegerAddThreeImmediate
1192                              greedyArgmaxSM86R18
1193                              greedyArgmaxSM86R8
1194                              greedyArgmaxSM86U0
1195                              sm86SafeControl)
1196                            (greedyArgmaxSM86Next
1197                              (constructor
1198                                SM86InstructionBody
1199                                SM86IntegerToFloat
1200                                greedyArgmaxSM86R23
1201                                greedyArgmaxSM86R8
1202                                sm86SafeControl)
1203                              (greedyArgmaxSM86Next
1204                                (constructor
1205                                  SM86InstructionBody
1206                                  SM86IntegerToFloat
1207                                  greedyArgmaxSM86R24
1208                                  greedyArgmaxSM86R18
1209                                  sm86SafeControl)
1210                                (greedyArgmaxSM86Next
1211                                  (constructor
1212                                    SM86InstructionBody
1213                                    SM86FloatMinimumOrMaximum
1214                                    greedyArgmaxSM86R25
1215                                    greedyArgmaxSM86R23
1216                                    greedyArgmaxSM86R24
1217                                    greedyArgmaxSM86FloatMinimum
1218                                    sm86SafeControl)
1219                                  (greedyArgmaxSM86Next
1220                                    (constructor
1221                                      SM86InstructionBody
1222                                      SM86FloatNegate
1223                                      greedyArgmaxSM86R26
1224                                      greedyArgmaxSM86R25
1225                                      sm86SafeControl)
1226                                    (greedyArgmaxSM86Next
1227                                      (constructor
1228                                        SM86InstructionBody
1229                                        SM86FloatAdd
1230                                        greedyArgmaxSM86R27
1231                                        greedyArgmaxSM86R23
1232                                        greedyArgmaxSM86R26
1233                                        sm86SafeControl)
1234                                      (greedyArgmaxSM86Next
1235                                        (constructor
1236                                        SM86InstructionBody
1237                                        SM86LogicThreeInputTruthTable
1238                                        greedyArgmaxSM86R27
1239                                        greedyArgmaxSM86R27
1240                                        greedyArgmaxSM86R9
1241                                        (byte 192)
1242                                        sm86SafeControl)
1243                                        (greedyArgmaxSM86Next
1244                                        (constructor
1245                                        SM86InstructionBody
1246                                        SM86PredicateGreaterThanImmediate
1247                                        greedyArgmaxSM86P3
1248                                        greedyArgmaxSM86R27
1249                                        greedyArgmaxSM86U0
1250                                        sm86SafeControl)
1251                                        (greedyArgmaxSM86When
1252                                        greedyArgmaxSM86P3
1253                                        (constructor
1254                                        SM86InstructionBody
1255                                        SM86IntegerAddThreeImmediate
1256                                        greedyArgmaxSM86R8
1257                                        greedyArgmaxSM86R18
1258                                        greedyArgmaxSM86U0
1259                                        sm86SafeControl)
1260                                        (greedyArgmaxSM86Next
1261                                        (constructor
1262                                        SM86InstructionBody
1263                                        SM86IntegerAddThreeImmediate
1264                                        greedyArgmaxSM86R7
1265                                        greedyArgmaxSM86R19
1266                                        greedyArgmaxSM86U0
1267                                        sm86SafeControl)
1268                                        (greedyArgmaxSM86Next
1269                                        (constructor
1270                                        SM86InstructionBody
1271                                        SM86WarpShuffle
1272                                        greedyArgmaxSM86R17
1273                                        greedyArgmaxSM86R12
1274                                        lane
1275                                        greedyArgmaxSM86U31
1276                                        greedyArgmaxSM86ShuffleButterfly
1277                                        greedyArgmaxSM86Set2)
1278                                        (greedyArgmaxSM86Next
1279                                        (constructor
1280                                        SM86InstructionBody
1281                                        SM86FloatAdd
1282                                        greedyArgmaxSM86R12
1283                                        greedyArgmaxSM86R12
1284                                        greedyArgmaxSM86R17
1285                                        greedyArgmaxSM86Wait2)
1286                                        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.