Test NT-30-tlbi-isb+dsb

AArch64 NT-30-tlbi-isb+dsb
TTHM=P1:HA
Variant=precise
{
int x=1; int y; int z=2;
pte_x=(af:0);
0:X4=x; 0:X2=y;
0:X6=pte_x;
0:X9=(oa:phy_z,af:0);
1:X2=y; 1:X4=x;
}
  P0            | P1          ;
SWP X9,X7,[X6]  | LDR W0,[X2] ;
LDR X5,[X6]     | DSB SY      ;
DSB ISH         |L0:          ;
LSR X3,X4,#12   | LDR W1,[X4] ;
TLBI VAAE1IS,X3 |             ;
DSB ISH         |             ;
ISB             |             ;
MOV W0,#1       |             ;
STR W0,[X2]     |             ;
exists (0:X7=(oa:PA(x)) /\ 1:X0=1 /\ 1:X1=2)