Test isa1v5

PPC isa1v5 (PPCIsaFive)
"example 1, ISA p 415"
(* Meant to demonstrate A-cumulativity... *)
{
x=0;y=0;
0:r4=x; 1:r4=x ; 2:r4=x;
        1:r5=y ; 2:r5=y;

0:r1=1 ; 1:r2=2 ;
}
   P0        |  P1           |   P2         ;
stw r1,0(r4) | lwz r1,0(r4)  | lwz r1,0(r5) ;
             | lwsync        | sync         ;
             | stw r2,0(r5)  | lwz r2,0(r4) ;

exists
  (1:r1=1 /\ 2:r1=2 /\ 2:r2=0)
(* ok if the assumption of not putting P0 store in lwsync group A
   is correct, see also wrcv5 and wrcv6 *)