Test 2+2W+addr+dmb

AArch64 2+2W+addr+dmb
"PodWWXP Wse DMB.SYdWW WsePX"
Generator=diyone7 (version 7.55+01(dev))
Prefetch=0:x=F,0:y=W,1:y=F,1:x=W
Com=Ws Ws
Orig=PodWWXP Wse DMB.SYdWW WsePX
{
0:X0=x; 0:X5=y;
1:X1=y; 1:X3=x;
}
 P0                  | P1          ;
 MOV W1,#2           | MOV W0,#2   ;
 LDXR W2,[X0]        | STR W0,[X1] ;
 STXR W3,W1,[X0]     | DMB SY      ;
 AND W9,W3,#128      | MOV W2,#1   ;
 MOV W4,#1           | STR W2,[X3] ;
 STR W4,[X5,W9,SXTW] |             ;
Observed
    y=2; x=1; 0:X3=1; 0:X2=1;
and y=2; x=2; 0:X3=0; 0:X2=1;