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 1089–1293

greedyArgmaxSM86PairStage

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