PPC co8 (PPCCoEight)
"Coherence tests, fr as ppo (+ pppo-ext)
{
0:r6=t; 0:r7=x;
1:r6=x; 1:r7=y;
2:r6=y; 2:r7=z;
3:r6=z; 3:r7=t;
}
P0 |P1 |P2 |P3 ;
lwz r1,0(r6) |lwz r1,0(r6) |lwz r1,0(r6) |lwz r1,0(r6) ;
xor r9,r1,r1 |xor r9,r1,r1 |xor r9,r1,r1 |xor r9,r1,r1 ;
lwzx r2,r9,r7|lwzx r2,r9,r7|lwzx r2,r9,r7|lwzx r2,r9,r7;
li r3,1 |li r3,1 |li r3,1 |li r3,1 ;
stw r3,0(r7) |stw r3,0(r7) |stw r3,0(r7) |stw r3,0(r7) ;
locations
[0:r1; 0:r2; 1:r1; 1:r2; 2:r1; 2:r3; 3:r1; 3:r2; ]
~exists
(0:r1=1 /\ 0:r2=0 /\ 1:r1=1 /\ 1:r2=0 /\
2:r1=1 /\ 2:r2=0 /\ 3:r1=1 /\ 3:r2=0)