LISA LISA-bigdetour-failure "PodWWOnceRelease RfeReleaseOnce DpAddrdROnceOnce FrLeaveOnceOnce RfeOnceOnce PodRWOnceRelease RfBackReleaseOnce DpAddrdROnceOnce FreOnceOnce" Prefetch=0:x=F,0:y=W,1:y=F,1:x=T,3:z=F,3:a=W Com=Rf Fr Rf Rf Orig=PodWWOnceRelease RfeReleaseOnce DpAddrdROnceOnce FrLeaveOnceOnce RfeOnceOnce PodRWOnceRelease RfBackReleaseOnce DpAddrdROnceOnce FreOnceOnce { } P0 | P1 | P2 | P3 ; w[once] x 1 | r[once] r0 y | w[once] z 1 | r[once] r0 z ; w[release] y 1 | mov r1 (and r0 8) | | w[release] a 1 ; | f[rb_dep] | | ; | r[once] r2 z+r1 | | ; | r[once] r3 a | | ; | mov r4 (and r3 8) | | ; | f[rb_dep] | | ; | r[once] r5 x+r4 | | ; Observed 3:r0=1; 1:r5=0; 1:r3=1; 1:r2=1; 1:r0=1; and 3:r0=0; 1:r5=0; 1:r3=1; 1:r2=1; 1:r0=1; and 3:r0=1; 1:r5=0; 1:r3=0; 1:r2=1; 1:r0=1; and 3:r0=0; 1:r5=0; 1:r3=0; 1:r2=1; 1:r0=1; and 3:r0=0; 1:r5=0; 1:r3=1; 1:r2=0; 1:r0=1; and 3:r0=1; 1:r5=0; 1:r3=0; 1:r2=0; 1:r0=1; and 3:r0=0; 1:r5=0; 1:r3=0; 1:r2=0; 1:r0=1;