the predicate a body writes
362def sm86PredicateWriteKeys =
363 (lambda unrestricted body : (family SM86InstructionBody) .
364 (eliminate SM86InstructionBody (lambda unrestricted current : (family SM86InstructionBody) . (family StdList Nat)) body
365 (branch SM86MoveConstant destination bank offset control . sm86NoRegisters)
366 (branch SM86SpecialToRegister destination source control . sm86NoRegisters)
367 (branch SM86MoveImmediate destination immediate control . sm86NoRegisters)
368 (branch SM86IntegerMultiplyAddConstant destination left bank offset addend control . sm86NoRegisters)
369 (branch SM86IntegerMultiplyAddImmediate destination left immediate addend control . sm86NoRegisters)
370 (branch SM86IntegerMultiplyAddWideConstant destination left right bank offset control . sm86NoRegisters)
371 (branch SM86IntegerAddThreeImmediate destination left immediate control . sm86NoRegisters)
372 (branch SM86IntegerAddThreeRegister destination left right control . sm86NoRegisters)
373 (branch SM86ShiftRightImmediate destination source amount control . sm86NoRegisters)
374 (branch SM86LogicThreeInputTruthTable destination left right truthTable control . sm86NoRegisters)
375 (branch SM86IntegerToFloat destination source control . sm86NoRegisters)
376 (branch SM86FloatAdd destination left right control . sm86NoRegisters)
377 (branch SM86FloatMultiply destination left right control . sm86NoRegisters)
378 (branch SM86FloatFusedMultiplyAdd destination left right addend control . sm86NoRegisters)
379 (branch SM86MultiFunctionUnitApproximation destination source operation control . sm86NoRegisters)
380 (branch SM86FloatMinimumOrMaximum destination left right mode control . sm86NoRegisters)
381 (branch SM86FloatNegate destination source control . sm86NoRegisters)
382 (branch SM86FloatPairToPackedHalfPair destination high low control . sm86NoRegisters)
383 (branch SM86FloatPairToPackedBFloat16Pair destination high low control . sm86NoRegisters)
384 (branch SM86HalfToFloat destination source selector control . sm86NoRegisters)
385 (branch SM86BFloat16ToFloat destination source selector control . sm86NoRegisters)
386 (branch SM86TensorCoreHalfMatrixMultiplyAccumulate16x8x16Float32 destination a b accumulator control . sm86NoRegisters)
387 (branch SM86TensorCoreBFloat16MatrixMultiplyAccumulate16x8x16Float32 destination a b accumulator control . sm86NoRegisters)
388 (branch SM86LoadGlobal destination address offset control . sm86NoRegisters)
389 (branch SM86LoadGlobalWide destination address offset control . sm86NoRegisters)
390 (branch SM86WarpShuffle destination source lane segment mode control . sm86NoRegisters)
391 (branch SM86LoadShared destination address offset control . sm86NoRegisters)
392 (branch SM86LoadSharedMatrix destination address offset count transpose control . sm86NoRegisters)
393 (branch SM86StoreShared address value offset control . sm86NoRegisters)
394 (branch SM86LoadGlobalToShared address offset source sourceOffset control . sm86NoRegisters)
395 (branch SM86CommitAsyncGroup control . sm86NoRegisters)
396 (branch SM86WaitAsyncGroups count control . sm86NoRegisters)
397 (branch SM86BarrierSynchronize control . sm86NoRegisters)
398 (branch SM86StoreGlobal address value offset control . sm86NoRegisters)
399 (branch SM86StoreGlobalWide address value offset control . sm86NoRegisters)
400 (branch SM86StoreGlobal64 address value offset control . sm86NoRegisters)
401 (branch SM86ReduceGlobalAddFloat32 address value offset control . sm86NoRegisters)
402 (branch SM86PredicateGreaterThanImmediate predicate source immediate control . (sm86PredicateKeys predicate))
403 (branch SM86Branch offset descriptor control . sm86NoRegisters)
404 (branch SM86Exit control . sm86NoRegisters)))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.