LISA S+fencewmbonceonce+addronceonce-frionceonce "FenceWmbdWWOnceOnce RfeOnceOnce DpAddrdROnceOnce FriOnceOnce WseOnceOnce" Cycle=RfeOnceOnce DpAddrdROnceOnce FriOnceOnce WseOnceOnce FenceWmbdWWOnceOnce Prefetch=0:x=F,0:y=W,1:y=F,1:x=W Com=Rf Ws Orig=FenceWmbdWWOnceOnce RfeOnceOnce DpAddrdROnceOnce FriOnceOnce WseOnceOnce { } P0 | P1 ; w[once] x 2 | r[once] r0 y ; f[wmb] | mov r1 (xor r0 r0) ; w[once] y 1 | r[once] r2 x+r1 ; | w[once] x 1 ; Observed x=1; 1:r2=0; 1:r0=1;