PPC RSV+SPEC0 { %x=x; %y=y; } P0 ; lwarx r1,r0,%x ; cmpw r1,r1 ; beq LC00 ; lwarx r3,r0,%y ; LC00: ; li r5,1 ; stwcx. r5,r0,%y; bne LC01 ; li r7,1 ; LC01: ; locations [y;] ~exists (0:r7=1)