Test 2+2W+dmb.sy+rfihw-poswh-addr

AArch64 2+2W+dmb.sy+rfihw-poswh-addr
"based on DMB.SYdWW Wse Rfi PosRR DpDatadW Wse"
Prefetch=0:x=F,0:y=W,1:y=F,1:x=T
Com=Ws Fr
{
0:X1=x; 0:X3=y;
1:X1=y; 1:X5=x; 1:X0=0x1111; 1:X9=1;
}
 P0            | P1              ;
 MOV  W0,#2    | STRH W0,[X1,#2] ;
 STR  W0,[X1]  | LDR  W2,[X1]    ;
 DMB  SY       | LDRH W3,[X1,#2] ;
 MOV  W2,#02   | EOR W6,W3,W3    ;
 STRH W2,[X3]  | STR  W9,[X5,W6,SXTW] ;

Observed
    y=0x11110002; x=0x2; 1:X3=0x1111; 1:X2=0x11110002;