Test CoRR+WT

X86_64 CoRR+WT
"Rfe PosRR Fre"
MT=x:WT
Cycle=Rfe PosRR Fre
Generator=diyone7 (version 7.56+02~dev)
Com=Rf Fr
Orig=Rfe PosRR Fre
Align=
{
}
 P0          | P1            ;
 movl $1,(x) | movl (x),%eax ;
             | movl (x),%ebx ;
exists 1:rax=1 /\ 1:rbx=0 /\ x=1