Test VIS7+TLBI

AArch64 VIS7+TLBI

{x=1; y=2; 0:X1=x; 0:X2=pte_y; 0:X3=pte_x;
pte_x=(db:1);
pte_y=(db:1);}

 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)