Test LDRx+STRx-STRptex+af2+BIS

AArch64 LDRx+STRx-STRptex+af2+BIS
TTHM=HA
{
int x=0; int y=1;
pte_x=(af:0);
0:X2=x;
1:X4=y; 1:X6=pte_x;
1:X3=(oa:phy_y,af:0)
}
P0         | P1          ;
LDR W1,[X2] | MOV W1,#2   ;
            | STR W1,[X4] ;
            | DSB ISH     ;
            | STR X3,[X6] ;
exists (0:X1=0 /\ [PTE(x)]=(oa:PA(y)) /\ [y]=2)