Test RSV+SPEC0

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)