AlphaGitHub
Source/Packages

Accelerator.SM86.Operands

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

715 lines54 declarations60.7 KiBSHA-256 6afcbdc0de22
Download exact fileView at revision426597bda5753d86c4

def · lines 385–395

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).
385def sm86PredicateKeys =
386  (lambda unrestricted predicate : (family SM86Predicate) .
387    (eliminate SM86Predicate (lambda unrestricted current : (family SM86Predicate) . (family StdList Nat)) predicate
388      (branch SM86Predicate0 . (constructor StdList StdListCons Nat 256 sm86NoRegisters))
389      (branch SM86Predicate1 . (constructor StdList StdListCons Nat 257 sm86NoRegisters))
390      (branch SM86Predicate2 . (constructor StdList StdListCons Nat 258 sm86NoRegisters))
391      (branch SM86Predicate3 . (constructor StdList StdListCons Nat 259 sm86NoRegisters))
392      (branch SM86Predicate4 . (constructor StdList StdListCons Nat 260 sm86NoRegisters))
393      (branch SM86Predicate5 . (constructor StdList StdListCons Nat 261 sm86NoRegisters))
394      (branch SM86Predicate6 . (constructor StdList StdListCons Nat 262 sm86NoRegisters))
395      (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.