Test MP+HA-DSB.LD

AArch64 MP+HA-DSB.LD
TTHM=HA
{
pte_x=(oa:phy_x,af:0);

0:X1=x;
0:X3=1;
0:X4=y;

1:X4=y;
1:X1=pte_x;
}
P0          | P1          ;
LDR W2,[X1] | LDR W3,[X4] ;
DSB LD      | DMB LD      ;
STR W3,[X4] | LDR X2,[X1] ;
exists (1:X2=(oa:PA(x), af:0) /\ 1:X3=1)