Executions for behaviour: "1:X2=0x33 ; 1:X3=0x3322 ; x=0x1122"
AArch64 R+h0-b0+b1-b1 { uint16_t x; uint16_t 1:X3; uint16_t 1:X2; 0:X0=0x1111; 0:X1=x; 0:X2=0x22; 1:X0=0x33; 1:X1=x; } P0 | P1 ; STRH W0,[X1] | STRB W0,[X1,#1] ; STRB W2,[X1] | LDRB W2,[X1,#1] ; | LDRH W3,[X1] ; Observed x=0x1122; 1:X3=0x3322; 1:X2=0x33;