Read barriers retire late source reads. A write barrier retires the
destination but does not protect an LDG address on Ampere: this was
isolated on the RTX 3090 in c28712e8.
109def scoreboardReadBarrierOf =
110 (lambda unrestricted control : (family SM86Control) .
111 (eliminate SM86Control
112 (lambda unrestricted current : (family SM86Control) . Nat) control
113 (branch SM86ControlValue stall yield write read wait reuse .
114 (eliminate SM86Barrier
115 (lambda unrestricted current : (family SM86Barrier) . Nat) read
116 (branch SM86Barrier0 . 1) (branch SM86Barrier1 . 2)
117 (branch SM86Barrier2 . 3) (branch SM86Barrier3 . 4)
118 (branch SM86Barrier4 . 5) (branch SM86Barrier5 . 6)
119 (branch SM86Barrier6 . 7) (branch SM86BarrierNone . 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.