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 1269–1282

sm86FloatExtremumDescriptorWord32

Full file
Keep the public Natural descriptor; encoding consumes its bounded sibling.
1269def sm86FloatExtremumDescriptorWord32 =
1270  (lambda unrestricted extremum : (family SM86FloatExtremum) .
1271    (eliminate
1272      SM86FloatExtremum
1273      (lambda unrestricted current : (family SM86FloatExtremum) . (family SM86Unsigned32))
1274      extremum
1275      (branch
1276        SM86FloatMinimum
1277        .
1278        (constructor SM86Unsigned32 SM86Unsigned32Value (byte 0) (byte 0) (byte 128) (byte 3)))
1279      (branch
1280        SM86FloatMaximum
1281        .
1282        (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.