PPC n2l3 (PPCNTwoLwSyncThree) "2 totally independant b3 tests" { P0:r4=x ; P0:r5=y ; P1:r4=z ; P1:r5=t ; P2:r4=x ; P2:r5=y ; P3:r4=z ; P3:r5=t ; P2:r1=2 ; P3:r1=1 ; } P0 |P1 |P2 |P3 ; lwz r1,0(r4) |lwz r1,0(r4) |stw r1,0(r5) |stw r1,0(r5) ; xor r9,r1,r1 |xor r9,r1,r1 |lwsync |lwsync ; lwzx r2,r9,r5 |lwzx r2,r9,r5 |stw r1,0(r4) |stw r1,0(r4) ; locations [0:r1; 0:r2; 1:r1; 1:r2;] exists ((0:r1=2 /\ 0:r2=0) \/ (1:r1=1 /\ 1:r2=0))