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 1139–1152

sm86FloatExtremumDescriptorWord32

Full file
Keep the public Natural descriptor; encoding consumes its bounded sibling.
1139def sm86FloatExtremumDescriptorWord32 =
1140  (lambda unrestricted extremum : (family SM86FloatExtremum) .
1141    (eliminate
1142      SM86FloatExtremum
1143      (lambda unrestricted current : (family SM86FloatExtremum) . (family SM86Unsigned32))
1144      extremum
1145      (branch
1146        SM86FloatMinimum
1147        .
1148        (constructor SM86Unsigned32 SM86Unsigned32Value (byte 0) (byte 0) (byte 128) (byte 3)))
1149      (branch
1150        SM86FloatMaximum
1151        .
1152        (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.