[AstralStorm]

It is still valid after constant lifting or if the range of the long int in question vs can be proven to be representable in 53 bits or less. (E.g. using the polyhedral loop optimizer gcc has.)

[chaboud]

Right, though some side effects (e.g. Status registers) might be affected. (One reason strict modes blow floating point optimization, generally.)