Test PPOCA+B

PPC PPOCA+B
"Read forwarding from store conditional"
Com=Rf Fr
{
1:r7=y; 1:r8=z; 1:r9=x;
0:r7=y; 0:r8=z;
}
P0           |P1             ;
li r1,1      |lwz r1,0(r7)   ;
stw r1,0(r8) |cmpwi r1,0     ;
sync         |beq L00        ;
li r2,1      |L00:           ;
stw r2,0(r7) |li r3,1        ;
             |lwarx r11,r0,r9;
             |stwcx. r3,r0,r9;
             |lwz r5,0(r9)   ;
             |xor r10,r5,r5  ;
             |lwzx r4,r10,r8 ;
locations [1:r5;]
exists (1:r1=1  /\ 1:r4=0)