Test LDRx+STRx-STRptex+af

AArch64 LDRx+STRx-STRptex+af
TTHM=HA
{
int x=0; int y=1; int z=0;
pte_x=(af:0);
pte_z=(oa:phy_y);
0:X2=x;
1:X4=z; 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)