AlphaGitHub
Source/Packages

Accelerator.SM86.Operands

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

645 lines51 declarations53.6 KiBSHA-256 e735be07682e
Download exact fileView at revisionf5034773ad4bb52133

def · lines 213–219

sm86RegisterSpan

Full file
one past the highest register the program names (0 for none)
213def sm86RegisterSpan =
214  (lambda unrestricted program : (family SM86Program) .
215    (eliminate SM86Program (lambda unrestricted current : (family SM86Program) . Nat) program
216      (branch SM86ProgramEnd . 0)
217      (branch SM86ProgramNext head tail induction .
218        (sm86SpanOf (sm86ReadRegisters (sm86InstructionBodyOf head))
219          (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.