The example used above can be optimized by constant folding because the computation generating the constant is in the same control-flow block.