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 884–891

sm86HalfSelectorNatural

Full file
884def sm86HalfSelectorNatural =
885  (lambda unrestricted selector : (family SM86HalfSelector) .
886    (eliminate
887      SM86HalfSelector
888      (lambda unrestricted current : (family SM86HalfSelector) . Nat)
889      selector
890      (branch SM86LowHalf . zero)
891      (branch SM86HighHalf . sm86InstructionNaturalOne)))

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.