Test RSV+SPEC0

Executions for behaviour: "0:r7=1 ; y=1"

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:          ;
Observed
    0:r7=1; y=1;