LISA R+wmb+mb
"FenceWmbdWWOnceOnce WseOnceOnce FenceMbdWROnceOnce FreOnceOnce"
Prefetch=0:x=F,0:y=W,1:y=F,1:x=T
Com=Ws Fr
Orig=FenceWmbdWWOnceOnce WseOnceOnce FenceMbdWROnceOnce FreOnceOnce
{
}
P0 | P1 ;
w[once] x 1 | w[once] y 2 ;
f[wmb] | f[mb] ;
w[once] y 1 | r[once] r0 x ;
Observed
y=2; 1:r0=0;