AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

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

2,478 lines168 declarations99.8 KiBSHA-256 b7c60128ad15
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 1001–1008

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
1001def sm86BFloat16WidenSelector =
1002  (lambda unrestricted selector : (family SM86HalfSelector) .
1003    (eliminate
1004      SM86HalfSelector
1005      (lambda unrestricted current : (family SM86HalfSelector) . (family SM86Unsigned32))
1006      selector
1007      (branch SM86LowHalf . (constructor SM86Unsigned32 SM86Unsigned32Value (byte 68) (byte 16) (byte 0) (byte 0)))
1008      (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.