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 551–561

sm86BarrierKeys

Full file
551def sm86BarrierKeys =
552  (lambda unrestricted barrier : (family SM86Barrier) .
553    (eliminate SM86Barrier (lambda unrestricted current : (family SM86Barrier) . (family StdList Nat)) barrier
554      (branch SM86Barrier0 . (constructor StdList StdListCons Nat 300 sm86NoRegisters))
555      (branch SM86Barrier1 . (constructor StdList StdListCons Nat 301 sm86NoRegisters))
556      (branch SM86Barrier2 . (constructor StdList StdListCons Nat 302 sm86NoRegisters))
557      (branch SM86Barrier3 . (constructor StdList StdListCons Nat 303 sm86NoRegisters))
558      (branch SM86Barrier4 . (constructor StdList StdListCons Nat 304 sm86NoRegisters))
559      (branch SM86Barrier5 . (constructor StdList StdListCons Nat 305 sm86NoRegisters))
560      (branch SM86Barrier6 . (constructor StdList StdListCons Nat 306 sm86NoRegisters))
561      (branch SM86BarrierNone . 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.