Chris Lattner wrote:
Thus, the transformation is safe in this specific case on i386. However, shifting a 32-bit value left by 33 bits would not be safe.
That's the case where the transformation IS safe, since shifting a 32-bit value left by 33 bits gives an undefined result as I understand things.