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 1259–1266

sm86FloatExtremumDescriptorNatural

Full file
1259def sm86FloatExtremumDescriptorNatural =
1260  (lambda unrestricted extremum : (family SM86FloatExtremum) .
1261    (eliminate
1262      SM86FloatExtremum
1263      (lambda unrestricted current : (family SM86FloatExtremum) . Nat)
1264      extremum
1265      (branch SM86FloatMinimum . (sm86Unsigned32BytesNatural (byte 0) (byte 0) (byte 128) (byte 3)))
1266      (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.