AlphaGitHub
Source/Packages

Accelerator.SM86.InstructionEncoding

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

2,401 lines164 declarations94.5 KiBSHA-256 92e7bf9c2555
Download exact fileView at revisionf5034773ad4bb52133

def · lines 951–958

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
951def sm86BFloat16WidenSelector =
952  (lambda unrestricted selector : (family SM86HalfSelector) .
953    (eliminate
954      SM86HalfSelector
955      (lambda unrestricted current : (family SM86HalfSelector) . (family SM86Unsigned32))
956      selector
957      (branch SM86LowHalf . (constructor SM86Unsigned32 SM86Unsigned32Value (byte 68) (byte 16) (byte 0) (byte 0)))
958      (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.