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 1129–1136

sm86FloatExtremumDescriptorNatural

Full file
1129def sm86FloatExtremumDescriptorNatural =
1130  (lambda unrestricted extremum : (family SM86FloatExtremum) .
1131    (eliminate
1132      SM86FloatExtremum
1133      (lambda unrestricted current : (family SM86FloatExtremum) . Nat)
1134      extremum
1135      (branch SM86FloatMinimum . (sm86Unsigned32BytesNatural (byte 0) (byte 0) (byte 128) (byte 3)))
1136      (branch SM86FloatMaximum . (sm86Unsigned32BytesNatural (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.