Test CO-MIXED-W0Q0-02

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;