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;