Test NT-12-dmb-allha-variant1-LLSC

AArch64 NT-12-dmb-allha-variant1-LLSC
TTHM=HA
Variant=precise
{
pte_x=(af:0);
x=1;
0:X0=x; 0:X4=y;
1:X0=y; 1:X2=pte_x;
1:X17=(oa:phy_x,valid :0) ;
}
P0          | P1                ;
LDR W1,[X0] | LDR W1,[X0]       ;
DMB SY      | DMB LD            ;
MOV W3,#1   | LDXR X3,[X2]      ;
STR W3,[X4] | STXR W9, X17,[X2] ;
exists (1:X1=1 /\ 1:X3=(oa:PA(x), af:0) /\ 1:X9=1)