Test d1bis

PPC d1bis (BasicDOneBis)
"Simple sync test, no syncs"
{
 0:r6=1; 0:r4=x; 0:r5=y;
 1:r6=1; 1:r4=x; 1:r5=y;
 2:r6=1; 2:r4=z; 2:r5=t;
 3:r6=1; 3:r4=z; 3:r5=t;
}

P0              | P1               |P2              | P3       ;
 li r8,100      | li r8,100        | li r8,100      | li r8,100        ;
 li r9,10       | li r9,10         | li r9,10       | li r9,10         ;
 mullw r8,r8,r9 | divw r8,r8,r9    | mullw r8,r8,r9 | divw r8,r8,r9    ;
 divw r8,r8,r9  | mullw r8,r8,r9   | divw r8,r8,r9  | mullw r8,r8,r9   ;
 mullw r8,r8,r9 | divw r8,r8,r9    | mullw r8,r8,r9 | divw r8,r8,r9    ;
 divw r8,r8,r9  | mullw r8,r8,r9   | divw r8,r8,r9  | mullw r8,r8,r9   ;
 xor r8,r8,r8   | xor r8,r8,r8     | xor r8,r8,r8   | xor r8,r8,r8     ;
 lwzx r2,r8,r5  | lwzx r2,r8,r4    | lwzx r2,r8,r5  | lwzx r2,r8,r4    ;
 stw r6,0,r4    | stw r6,0,r5      | stw r6,0,r4    | stw r6,0,r5      ;


exists
( (0:r2=1 /\ 1:r2=1)
\/
(2:r2=1 /\ 3:r2=1))