AlphaGitHub
Source/Packages

Accelerator.SM86.Operands

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/Operands.alpha

699 lines54 declarations58.4 KiBSHA-256 ac21d61cced1
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 400–445

sm86PredicateWriteKeys

Full file
the predicate a body writes
400def sm86PredicateWriteKeys =
401  (lambda unrestricted body : (family SM86InstructionBody) .
402    (eliminate SM86InstructionBody (lambda unrestricted current : (family SM86InstructionBody) . (family StdList Nat)) body
403      (branch SM86MoveConstant destination bank offset control . sm86NoRegisters)
404      (branch SM86SpecialToRegister destination source control . sm86NoRegisters)
405      (branch SM86MoveImmediate destination immediate control . sm86NoRegisters)
406      (branch SM86IntegerMultiplyAddConstant destination left bank offset addend control . sm86NoRegisters)
407      (branch SM86IntegerMultiplyAddImmediate destination left immediate addend control . sm86NoRegisters)
408      (branch SM86IntegerMultiplyAddWideConstant destination left right bank offset control . sm86NoRegisters)
409      (branch SM86IntegerAddThreeImmediate destination left immediate control . sm86NoRegisters)
410      (branch SM86IntegerAddThreeRegister destination left right control . sm86NoRegisters)
411      (branch SM86ShiftRightImmediate destination source amount control . sm86NoRegisters)
412      (branch SM86LogicThreeInputTruthTable destination left right truthTable control . sm86NoRegisters)
413      (branch SM86IntegerToFloat destination source control . sm86NoRegisters)
414      (branch SM86FloatAdd destination left right control . sm86NoRegisters)
415      (branch SM86FloatMultiply destination left right control . sm86NoRegisters)
416      (branch SM86Float64Binary operation destination left right control . sm86NoRegisters)
417      (branch SM86FloatConvert conversion control . sm86NoRegisters)
418      (branch SM86FloatFusedMultiplyAdd destination left right addend control . sm86NoRegisters)
419      (branch SM86MultiFunctionUnitApproximation destination source operation control . sm86NoRegisters)
420      (branch SM86FloatMinimumOrMaximum destination left right mode control . sm86NoRegisters)
421      (branch SM86FloatNegate destination source control . sm86NoRegisters)
422      (branch SM86FloatPairToPackedHalfPair destination high low control . sm86NoRegisters)
423      (branch SM86FloatPairToPackedBFloat16Pair destination high low control . sm86NoRegisters)
424      (branch SM86HalfToFloat destination source selector control . sm86NoRegisters)
425      (branch SM86BFloat16ToFloat destination source selector control . sm86NoRegisters)
426      (branch SM86TensorCoreHalfMatrixMultiplyAccumulate16x8x16Float32 destination a b accumulator control . sm86NoRegisters)
427      (branch SM86TensorCoreBFloat16MatrixMultiplyAccumulate16x8x16Float32 destination a b accumulator control . sm86NoRegisters)
428      (branch SM86LoadGlobal destination address offset control . sm86NoRegisters)
429      (branch SM86LoadGlobalWide destination address offset control . sm86NoRegisters)
430      (branch SM86WarpShuffle destination source lane segment mode control . sm86NoRegisters)
431      (branch SM86LoadShared destination address offset control . sm86NoRegisters)
432      (branch SM86LoadSharedMatrix destination address offset count transpose control . sm86NoRegisters)
433      (branch SM86StoreShared address value offset control . sm86NoRegisters)
434      (branch SM86LoadGlobalToShared address offset source sourceOffset control . sm86NoRegisters)
435      (branch SM86CommitAsyncGroup control . sm86NoRegisters)
436      (branch SM86WaitAsyncGroups count control . sm86NoRegisters)
437      (branch SM86BarrierSynchronize control . sm86NoRegisters)
438      (branch SM86BarrierSynchronizeCount barrier threads control . sm86NoRegisters)
439      (branch SM86StoreGlobal address value offset control . sm86NoRegisters)
440      (branch SM86StoreGlobalWide address value offset control . sm86NoRegisters)
441      (branch SM86StoreGlobal64 address value offset control . sm86NoRegisters)
442      (branch SM86ReduceGlobalAddFloat32 address value offset control . sm86NoRegisters)
443      (branch SM86PredicateGreaterThanImmediate predicate source immediate control . (sm86PredicateKeys predicate))
444      (branch SM86Branch offset descriptor control . sm86NoRegisters)
445      (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.