LISA MP+po-rel+addr Hash=1678bcceadf3712bc7a2873d40874fe3 { } P0 | P1 ; w[once] x 1 | r[once] r0 y ; w[release] y 1 | mov r1 (xor r0 r0) ; | r[once] r2 x+r1 ; Observed 1:r2=0; 1:r0=1;