PPC RSV+FAIL+SIMPLE "store conditional by P0 must (?) fail" { 0:r2=x; 0:r4=y; } P0 ; lwarx r3,r0,r4 ; li r5,1 ; stwcx. r5,r0,r2 ; ~exists (x=1)