Test coRRNExpNExpExp+DSB7

AArch64 coRRNExpNExpExp+DSB7
TTHM=HA HD 
{
0:X0=x; 0:X1=1; 1:X6=(oa:phy_x,db:0,dbm:1);
1:X0=x;
1:X2=pte_x;
pte_x=(db:0,dbm:1);
}
P0              | P1          ;
STR W1, [X0]    | LDR W1, [X0];
                | DSB ISH     ;
                | LDR X3, [X2];
exists (1:X1=1 /\ 1:X3=(oa:PA(x), dbm:1, db:0))