AlphaGitHub
Source/Packages

Accelerator.SM86.Operands

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

699 lines54 declarations58.4 KiBSHA-256 ac21d61cced1
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 377–387

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).
377def sm86PredicateKeys =
378  (lambda unrestricted predicate : (family SM86Predicate) .
379    (eliminate SM86Predicate (lambda unrestricted current : (family SM86Predicate) . (family StdList Nat)) predicate
380      (branch SM86Predicate0 . (constructor StdList StdListCons Nat 256 sm86NoRegisters))
381      (branch SM86Predicate1 . (constructor StdList StdListCons Nat 257 sm86NoRegisters))
382      (branch SM86Predicate2 . (constructor StdList StdListCons Nat 258 sm86NoRegisters))
383      (branch SM86Predicate3 . (constructor StdList StdListCons Nat 259 sm86NoRegisters))
384      (branch SM86Predicate4 . (constructor StdList StdListCons Nat 260 sm86NoRegisters))
385      (branch SM86Predicate5 . (constructor StdList StdListCons Nat 261 sm86NoRegisters))
386      (branch SM86Predicate6 . (constructor StdList StdListCons Nat 262 sm86NoRegisters))
387      (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.