PPC RSV+SUCCESS "store conditional by P1 may succeed" Orig=PodWW RfePA PodRRAP Fre { 0:r2=x; 1:r2=x; } P0 | P1 ; li r1,1 | lwarx r1,r0,r2 ; stw r1,0(r2) | li r5,2 ; | stwcx. r5,r0,r2 ; exists (x=2)