Account for potential overlap in CMOVE

Also add EXIT to docs