1 when a control word declares a write barrier
476def sm86ControlWritesBarrier =
477 (lambda unrestricted control : (family SM86Control) .
478 (eliminate SM86Control (lambda unrestricted current : (family SM86Control) . Nat) control
479 (branch SM86ControlValue stall yield write read wait reuse .
480 (eliminate SM86Barrier (lambda unrestricted current : (family SM86Barrier) . Nat) write
481 (branch SM86Barrier0 . 1) (branch SM86Barrier1 . 1) (branch SM86Barrier2 . 1) (branch SM86Barrier3 . 1)
482 (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.