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 339–349

sm86PredicateKeys

Full file
A predicate as a hazard key beside the registers: 256 + its index (P0 .. P6; PT, which reads true and absorbs writes, is none).
339def sm86PredicateKeys =
340  (lambda unrestricted predicate : (family SM86Predicate) .
341    (eliminate SM86Predicate (lambda unrestricted current : (family SM86Predicate) . (family StdList Nat)) predicate
342      (branch SM86Predicate0 . (constructor StdList StdListCons Nat 256 sm86NoRegisters))
343      (branch SM86Predicate1 . (constructor StdList StdListCons Nat 257 sm86NoRegisters))
344      (branch SM86Predicate2 . (constructor StdList StdListCons Nat 258 sm86NoRegisters))
345      (branch SM86Predicate3 . (constructor StdList StdListCons Nat 259 sm86NoRegisters))
346      (branch SM86Predicate4 . (constructor StdList StdListCons Nat 260 sm86NoRegisters))
347      (branch SM86Predicate5 . (constructor StdList StdListCons Nat 261 sm86NoRegisters))
348      (branch SM86Predicate6 . (constructor StdList StdListCons Nat 262 sm86NoRegisters))
349      (branch SM86PredicateTrue . sm86NoRegisters)))

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.