Test 3+2w+o-wb-o+o-wb-o+o-wb-o

LISA 3+2w+o-wb-o+o-wb-o+o-wb-o
(*
 * Allow per Linus Torvalds email:
 * http://www.spinics.net/lists/arm-kernel/msg483690.html
 *)
{
x = 0;
y = 0;
z = 0;
}
 P0           | P1           | P2           ;
 w[once] x 1  | w[once] y 1  | w[once] z 1  ;
 f[wmb]       | f[wmb]       | f[wmb]       ;
 w[once] y 2  | w[once] z 2  | w[once] x 2  ;
Observed
    z=1; y=1; x=1;