Test T13-mod3

AArch64 T13-mod3
{
0:X1=x; 0:X3=y;
1:X1=y; 1:X11=x; 1:X5=z;
}
P0           | P1               ;
MOV W0,#1    | LDR W0,[X1]      ;
STR W0,[X1]  | CMP W0,#1        ;
MOV W2,#1    | B.NE L0          ;
STLR W2,[X3] |L0:               ;
             | STR W2,[X5]      ;
             | LDXR W6, [X5]    ;
             | STXR W7, W8, [X5];
             | LDAR W9,[X5]     ;
             | LDR W10,[X11]    ;
Observed
    1:X7=1; 1:X10=0; 1:X0=1;
and 1:X7=0; 1:X10=0; 1:X0=1;