Test VIS7+TLBI+VMALL

AArch64 VIS7+TLBI+VMALL

{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]     ;
 DSB ISH         ;
 TLBI VMALLE1IS  ;
 DSB ISH         ;
 LDR W4,[X1]     ;

exists (0:X4=1)