AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

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

2,580 lines175 declarations106.3 KiBSHA-256 13b25e5394ea
Download exact fileView at revision426597bda5753d86c4

def · lines 1081–1088

sm86BFloat16WidenSelector

Full file
PRMT Rd, Ra, selector, RZ: the result's bytes, high to low, are Ra's bytes 1, 0 (H0) or 3, 2 (H1) then two of RZ's
1081def sm86BFloat16WidenSelector =
1082  (lambda unrestricted selector : (family SM86HalfSelector) .
1083    (eliminate
1084      SM86HalfSelector
1085      (lambda unrestricted current : (family SM86HalfSelector) . (family SM86Unsigned32))
1086      selector
1087      (branch SM86LowHalf . (constructor SM86Unsigned32 SM86Unsigned32Value (byte 68) (byte 16) (byte 0) (byte 0)))
1088      (branch SM86HighHalf . (constructor SM86Unsigned32 SM86Unsigned32Value (byte 68) (byte 50) (byte 0) (byte 0)))))

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.