Fix optimization. %x = sub %x, %y does not imply that %y is zero.