Executions for behaviour: "0:X4=0x200000001 ; 0:X5=0x200000001 ; x=0x200000002"
AArch64 CO-MIXED-W0Q0-02 { uint64_t x; 0:X1=x; 1:X1=x; uint32_t 0:X2=0x1; uint64_t 0:X4; uint64_t 0:X5; uint64_t 1:X3=0x200000002; } P0 | P1 ; STR W2,[X1] | STR X3,[X1] ; LDR X4,[X1] | ; LDR X5,[X1] | ; Observed x=0x200000002; 0:X5=0x200000001; 0:X4=0x200000001;