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 1189–1202

sm86FloatExtremumDescriptorWord32

Full file
Keep the public Natural descriptor; encoding consumes its bounded sibling.
1189def sm86FloatExtremumDescriptorWord32 =
1190  (lambda unrestricted extremum : (family SM86FloatExtremum) .
1191    (eliminate
1192      SM86FloatExtremum
1193      (lambda unrestricted current : (family SM86FloatExtremum) . (family SM86Unsigned32))
1194      extremum
1195      (branch
1196        SM86FloatMinimum
1197        .
1198        (constructor SM86Unsigned32 SM86Unsigned32Value (byte 0) (byte 0) (byte 128) (byte 3)))
1199      (branch
1200        SM86FloatMaximum
1201        .
1202        (constructor SM86Unsigned32 SM86Unsigned32Value (byte 0) (byte 0) (byte 128) (byte 7)))))

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.