Test MP+dmb+addr-rfi+MIX

AArch64 MP+dmb+addr-rfi+MIX
Prefetch=0:x=F,0:y=W,1:y=F,1:x=T
Com=Rf Fr
{
uint16_t y; uint16_t x; uint16_t 1:X5; uint16_t 1:X0;

0:X0=0x1; 0:X1=x; 0:X2=1; 0:X3=y;
1:X1=y; 1:X4=x; 1:X9=0x2
}
 P0           | P1                   ;
 STRB W0,[X1] | LDRH W0,[X1]         ;
 DMB SY       | STRB W9,[X4,W0,SXTW] ;
 STRH W2,[X3] | LDRH W5,[X4]         ;

Observed
    x=0x201; 1:X5=0x200; 1:X0=0x1;