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 352–359

sm86GuardKeys

Full file
the predicate an instruction's guard reads
352def sm86GuardKeys =
353  (lambda unrestricted instruction : (family SM86Instruction) .
354    (eliminate SM86Instruction (lambda unrestricted current : (family SM86Instruction) . (family StdList Nat)) instruction
355      (branch SM86InstructionValue guard body .
356        (eliminate SM86InstructionGuard (lambda unrestricted current : (family SM86InstructionGuard) . (family StdList Nat)) guard
357          (branch SM86InstructionAlways . sm86NoRegisters)
358          (branch SM86InstructionWhen predicate . (sm86PredicateKeys predicate))
359          (branch SM86InstructionWhenNot predicate . (sm86PredicateKeys predicate))))))

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.