Test coRRExpNExp+DSB.ST-TLBI-DSB-ISB

AArch64 coRRExpNExp+DSB.ST-TLBI-DSB-ISB
{ 
0:X1=pte_x; 0:X3=x;
1:X1=pte_x; 1:X2=(oa:phy_x,valid:0);
}
P0               | P1          ;
 LDR X2,[X1]     | STR X2,[X1] ;
 DSB ISHST       |             ;
 LSR X9,X3,#12   |             ;
 TLBI VAAE1IS,X9 |             ;
 DSB ISH         |             ;
 ISB             |             ;
L1:              |             ;
 LDR W4,[X3]     |             ;
exists (0:X2=(oa:PA(x), valid:0) /\ ~fault(P0:L1,x))