Test STRptex+AF0

AArch64 STRptex+AF0
TTHM=HA
{
int x=0; int y=1;
pte_x=(af:0);
0:X0=pte_x;
0:X2=(oa:phy_y,af:0);
pteval_t 0:X4;
}
 P0         ;
LDR X4,[X0] ;
STR X2,[X0] ;
exists (0:X4=(oa:PA(x)) /\ [PTE(x)]=(oa:PA(y))) \/ (0:X4=(oa:PA(x)) /\ [PTE(x)]=(oa:PA(y), af:0)) \/ (0:X4=(oa:PA(x), af:0) /\ [PTE(x)]=(oa:PA(y)))