AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.TargetGatherSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/TargetGatherSM86.alpha

102 lines17 declarations5.7 KiBSHA-256 6321b25295ef
Download exact fileView at revisionf5034773ad4bb52133

def · lines 43–51

tgControlWith

Full file
stall 15; the two S2R on SB0, each LDG on SB1
43def tgControlWith =
44  (lambda unrestricted write : (family SM86Barrier) . (lambda unrestricted wait : Nat .
45    (constructor SM86Control SM86ControlValue
46      (byte 15)
47      (constructor SM86YieldMode SM86Continue)
48      write
49      (constructor SM86Barrier SM86BarrierNone)
50      (nat-to-byte wait)
51      (byte 0))))

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.