1 when a control word declares a write barrier
466def sm86ControlWritesBarrier =
467 (lambda unrestricted control : (family SM86Control) .
468 (eliminate SM86Control (lambda unrestricted current : (family SM86Control) . Nat) control
469 (branch SM86ControlValue stall yield write read wait reuse .
470 (eliminate SM86Barrier (lambda unrestricted current : (family SM86Barrier) . Nat) write
471 (branch SM86Barrier0 . 1) (branch SM86Barrier1 . 1) (branch SM86Barrier2 . 1) (branch SM86Barrier3 . 1)
472 (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.