Test VIS7+TLBI2

AArch64 VIS7+TLBI2
 
{x=1; y=2; 0:X1=x; 0:X2=pte_y; 0:X3=pte_x;
pte_x=(db:0);
pte_y=(db:0);}
 
P0              ;
LDR X5,[X2]     ;
STR X5,[X3]     ;
LSR X7,X1,#12   ;
DSB ISH         ;
TLBI VAAE1IS,X7 ;
DSB ISH         ;
LDR W4,[X1]     ;
 
exists (0:X4=1)