AlphaGitHub
Source/Packages

Accelerator.SM86.Operands

packages/hardware/architectures/nvidia-sm86/src/Accelerator/SM86/Operands.alpha

699 lines54 declarations58.4 KiBSHA-256 ac21d61cced1
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 241–247

sm86RegisterSpan

Full file
one past the highest register the program names (0 for none)
241def sm86RegisterSpan =
242  (lambda unrestricted program : (family SM86Program) .
243    (eliminate SM86Program (lambda unrestricted current : (family SM86Program) . Nat) program
244      (branch SM86ProgramEnd . 0)
245      (branch SM86ProgramNext head tail induction .
246        (sm86SpanOf (sm86ReadRegisters (sm86InstructionBodyOf head))
247          (sm86SpanOf (sm86WriteRegisters (sm86InstructionBodyOf head)) induction)))))

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.