Test ARM-super-detour1

AArch64 ARM-super-detour1

{
y=a; v=a; w=a;
0:X1=v; 0:X3=y;
1:X0=1; 1:X1=x; 1:X2=u; 1:X3=y;
2:X0=1; 2:X1=u; 2:X2=x; 2:X3=w;
3:X1=w; 3:X3=v;
}

 P0          | P1           | P2          | P3          ;
 LDR X0,[X1] | STR W0,[X1]  | STR W0,[X1] | LDR X0,[X1] ;
 LDR W2,[X0] | STLR X2,[X3] | DMB ST      | STR X0,[X3] ;
 LDR X4,[X3] |              | STR X2,[X3] |             ;
 LDR W6,[X4] |              |             |             ;
exists (0:X0=x /\ 0:X2=0 /\ 0:X4=u /\ 0:X6=0 /\ 3:X0=x)