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 1179–1186

sm86FloatExtremumDescriptorNatural

Full file
1179def sm86FloatExtremumDescriptorNatural =
1180  (lambda unrestricted extremum : (family SM86FloatExtremum) .
1181    (eliminate
1182      SM86FloatExtremum
1183      (lambda unrestricted current : (family SM86FloatExtremum) . Nat)
1184      extremum
1185      (branch SM86FloatMinimum . (sm86Unsigned32BytesNatural (byte 0) (byte 0) (byte 128) (byte 3)))
1186      (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.