Test MP+dmb+addr-rfi+MIX+OK

AArch64 MP+dmb+addr-rfi+MIX+OK
Prefetch=0:x=F,0:y=W,1:y=F,1:x=T
Com=Rf Fr
(* Non ambiguous-version of MP+dmb+addr-rfi+MIX *)
{
uint16_t y; uint16_t x; uint16_t 1:X5; uint16_t 1:X0;

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

Observed
    x=0x2211; 1:X5=0x2200; 1:X0=0x1111;