>>Only if you can deduce that x != 0 Is that true? I thought that division by zero was undefined, in which case it is perfectly fine to optimize 0 / 0 to 1 (or to 0 or to 42)