Source/Packages

Accelerator.SM86.Operands

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

645 lines51 declarations53.6 KiBSHA-256 e735be07682e

def · lines 63–65

sm86RegisterSpanAdmitted

Full file
1 when a program naming registers below `span` fits the register file with the reserved two
63def sm86RegisterSpanAdmitted =
64  (lambda unrestricted span : Nat .
65    (naturalLessOrEqual (naturalAdd span sm86ReservedRegisters) sm86RegisterLimit))

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.