Test S+dmb.sy+data-wb.addr

AArch64 S+dmb.sy+data-wb.addr
{
0:X1=x; 0:X3=y;
1:X1=y; 1:X4=z; 1:X3=x;
1:X6=1;
}
 P0          | P1                   ;
 MOV W0,#2   | LDR W0,[X1]          ;
 STR W0,[X1] | EOR W2,W0,W0         ;
 DMB SY      | STR W2,[X4],#4       ;
 MOV W2,#1   | EOR X5,X4,X4         ;
 STR W2,[X3] | STR W6,[X3,X5]       ;
Observed
    x=2; 1:X0=1;