When LICM fails us

When aliasing can prevent loop-invariant code motion