Test T13-mod4

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