Source/Packages

Realization.Nvidia.SM86.ExactCrossEntropySM86

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

1,471 lines228 declarations53.2 KiBSHA-256 411308c1414a

def · lines 254–364

exactCrossEntropyRowsPrefixFor

Full file
254def exactCrossEntropyRowsPrefixFor =
255  (lambda unrestricted vocabulary : Nat .
256  (exactCrossEntropySM86AlwaysNext
257    (constructor
258      SM86InstructionBody
259      SM86MoveConstant
260      exactCrossEntropyRowsR1
261      (byte 0)
262      exactCrossEntropyRowsOffset028
263      sm86SafeControl)
264    (exactCrossEntropySM86AlwaysNext
265      (constructor
266        SM86InstructionBody
267        SM86SpecialToRegister
268        exactCrossEntropyRowsR0
269        (constructor SM86SpecialRegister SM86ThreadIdX)
270        exactCrossEntropyRowsSet0)
271      (exactCrossEntropySM86AlwaysNext
272        (constructor
273          SM86InstructionBody
274          SM86SpecialToRegister
275          exactCrossEntropyRowsR1
276          (constructor SM86SpecialRegister SM86CooperativeThreadArrayIdX)
277          exactCrossEntropyRowsSet0)
278        (exactCrossEntropySM86AlwaysNext
279          (constructor
280            SM86InstructionBody
281            SM86MoveImmediate
282            exactCrossEntropyRowsR2
283            exactCrossEntropyRowsU4
284            sm86SafeControl)
285          (exactCrossEntropySM86AlwaysNext
286            (constructor
287              SM86InstructionBody
288              SM86IntegerMultiplyAddImmediate
289              exactCrossEntropyRowsR3
290              exactCrossEntropyRowsR1
291              (sm86Unsigned32FromNaturalTruncated vocabulary)
292              exactCrossEntropyRowsR0
293              exactCrossEntropyRowsWait0)
294            (exactCrossEntropySM86AlwaysNext
295              (constructor
296                SM86InstructionBody
297                SM86IntegerMultiplyAddWideConstant
298                exactCrossEntropyRowsR4
299                exactCrossEntropyRowsR3
300                exactCrossEntropyRowsR2
301                (byte 0)
302                exactCrossEntropyRowsOffset168
303                sm86SafeControl)
304              (exactCrossEntropySM86AlwaysNext
305                (constructor
306                  SM86InstructionBody
307                  SM86IntegerMultiplyAddWideConstant
308                  exactCrossEntropyRowsR6
309                  exactCrossEntropyRowsR1
310                  exactCrossEntropyRowsR2
311                  (byte 0)
312                  exactCrossEntropyRowsOffset170
313                  sm86SafeControl)
314                (exactCrossEntropySM86AlwaysNext
315                  (constructor
316                    SM86InstructionBody
317                    SM86IntegerMultiplyAddWideConstant
318                    exactCrossEntropyRowsR16
319                    exactCrossEntropyRowsR1
320                    exactCrossEntropyRowsR2
321                    (byte 0)
322                    exactCrossEntropyRowsOffset160
323                    sm86SafeControl)
324                  (exactCrossEntropySM86AlwaysNext
325                    (constructor
326                      SM86InstructionBody
327                      SM86PredicateGreaterThanImmediate
328                      exactCrossEntropyRowsP0
329                      exactCrossEntropyRowsR0
330                      exactCrossEntropyRowsU0
331                      sm86SafeControl)
332                    (exactCrossEntropySM86AlwaysNext
333                      (constructor
334                        SM86InstructionBody
335                        SM86LoadGlobal
336                        exactCrossEntropyRowsR8
337                        exactCrossEntropyRowsR4
338                        exactCrossEntropyRowsU0
339                        exactCrossEntropyRowsSet1)
340                      (exactCrossEntropySM86AlwaysNext
341                        (constructor
342                          SM86InstructionBody
343                          SM86LoadGlobal
344                          exactCrossEntropyRowsR20
345                          exactCrossEntropyRowsR6
346                          exactCrossEntropyRowsU0
347                          exactCrossEntropyRowsSet2)
348                        (exactCrossEntropySM86AlwaysNext
349                          (constructor
350                            SM86InstructionBody
351                            SM86IntegerAddThreeImmediate
352                            exactCrossEntropyRowsR9
353                            exactCrossEntropyRowsR8
354                            exactCrossEntropyRowsU0
355                            exactCrossEntropyRowsWait1)
356                          (exactCrossEntropySM86AlwaysNext
357                            (constructor
358                              SM86InstructionBody
359                              SM86IntegerAddThreeImmediate
360                              exactCrossEntropyRowsR20
361                              exactCrossEntropyRowsR20
362                              exactCrossEntropyRowsU0
363                              exactCrossEntropyRowsWait2)
364                            exactCrossEntropySM86End))))))))))))))

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.