the write barrier as 1..6 (SB0..SB5), 0 for none
88def scoreboardWriteBarrierOf =
89 (lambda unrestricted control : (family SM86Control) .
90 (eliminate SM86Control
91 (lambda unrestricted current : (family SM86Control) . Nat)
92 control
93 (branch SM86ControlValue stall yield write read wait reuse .
94 (eliminate SM86Barrier
95 (lambda unrestricted current : (family SM86Barrier) . Nat)
96 write
97 (branch SM86Barrier0 . 1)
98 (branch SM86Barrier1 . 2)
99 (branch SM86Barrier2 . 3)
100 (branch SM86Barrier3 . 4)
101 (branch SM86Barrier4 . 5)
102 (branch SM86Barrier5 . 6)
103 (branch SM86Barrier6 . 7)
104 (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.