Test CoWR

AArch64 CoWR
"PosWR Fre Wse"
Prefetch=
Com=Fr Ws
Orig=PosWR Fre Wse
{
0:X1=x;
1:X1=x;
}
 P0          | P1          ;
 MOV W0,#1   | MOV W0,#2   ;
 STR W0,[X1] | STR W0,[X1] ;
 LDR W2,[X1] |             ;
exists
(x=1 /\ 0:X2=2)