AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.LinearStepPlanSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/LinearStepPlanSM86.alpha

348 lines59 declarations18.5 KiBSHA-256 ff3ec4d2f314
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 234–238

linearStepPlanInstructionsOf

Full file
a program's instructions, and the program region it needs: its code aligned, then the parameter block -- for the generator's program, the shape's (Proof.LinearStepGeneratorForall: its length is the count)
234def linearStepPlanInstructionsOf =
235  (lambda unrestricted program : (family SM86Program) .
236    (eliminate SM86Program (lambda unrestricted current : (family SM86Program) . Nat) program
237      (branch SM86ProgramEnd . zero)
238      (branch SM86ProgramNext head tail induction . (succ 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.