Test T13-mod2

AArch64 T13-mod2
{
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]   ;
             | LDAR W9,[X5]  ;
             | LDR W10,[X11] ;
Observed
    1:X7=0; 1:X10=0; 1:X0=1;