1 when a control word declares a write barrier
425def sm86ControlWritesBarrier =
426 (lambda unrestricted control : (family SM86Control) .
427 (eliminate SM86Control (lambda unrestricted current : (family SM86Control) . Nat) control
428 (branch SM86ControlValue stall yield write read wait reuse .
429 (eliminate SM86Barrier (lambda unrestricted current : (family SM86Barrier) . Nat) write
430 (branch SM86Barrier0 . 1) (branch SM86Barrier1 . 1) (branch SM86Barrier2 . 1) (branch SM86Barrier3 . 1)
431 (branch SM86Barrier4 . 1) (branch SM86Barrier5 . 1) (branch SM86Barrier6 . 1) (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.