AlphaGitHub
Source/Packages

Accelerator.SM121.Lowering

packages/hardware/architectures/nvidia-sm121/src/Accelerator/SM121/Lowering.alpha

2,621 lines365 declarations134.1 KiBSHA-256 b7b3bbc05e9c
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1207–1219

sm121LowerDecode

Full file
An SM86 instruction, decoded: its two words (the first sixteen of `words`) and its shape.
1207def sm121LowerDecode =
1208  (lambda unrestricted instruction : (family SM86Instruction) .
1209    (lambda unrestricted words : Bytes .
1210      (eliminate
1211        SM86Instruction
1212        (lambda unrestricted current : (family SM86Instruction) . (family SM121LowerDecoded))
1213        instruction
1214        (branch SM86InstructionValue guard body .
1215          (constructor SM121LowerDecoded SM121LowerDecodedValue
1216            (sm121LowerLittleEndian sm121LowerWordBytes words)
1217            (sm121LowerLittleEndian sm121LowerWordBytes (sm121LowerDrop sm121LowerWordBytes words))
1218            (sm121LowerGuardReads guard)
1219            (sm121LowerShapeOf body))))))

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.