Test Stern01

PPC  Stern01
"Overlapping Group-B sets version 4"
(* Variation on example by Alan Stern *)
{
0:r1=x; 0:r2=y; 0:r3=z;
1:r1=x; 1:r2=y; 1:r3=z; 1:r4=1;
2:r1=x; 2:r2=y; 2:r3=z; 2:r4=1; 2:r5=2;
}
 P0             | P1            | P2            ;
 lwz r8,0(r3)   |               |               ;
 lwz r6,0(r1)   | stw r4,0(r2)  | stw r5,0(r3)  ;
 xor r7,r6,r6   | lwsync        | lwsync        ;
 lwzx r7,r7,r2  | stw r4,0(r3)  | stw r4,0(r1)  ;

Observed
    0:r6=1; 0:r7=0; 0:r8=1; z=2;