Test CoRW2+NT+WT

X86_64 CoRW2+NT+WT
"RfeNTNa PosRW CoeNaNT"
MT=x:WT
Cycle=PosRW CoeNaNT RfeNTNa
Generator=diyone7 (version 7.56+02~dev)
Com=Rf Co
Orig=RfeNTNa PosRW CoeNaNT
Align=
{
0:rax=x;
}
 P0                  | P1            ;
 movl $1,%ebx        | movl (x),%eax ;
 movntil %ebx,(%rax) | movl $2,(x)   ;
exists 1:rax=2 /\ (x=2 \/ x=1) \/ 1:rax=1 /\ x=1