http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50904
--- Comment #21 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2011-12-02 10:54:45 UTC --- > If the expressions only become invariant after unrolling then the issue > is that without CCP LIM does not see they are invariant I suppose. No, adding a CCP pass doesn't help (at least immediately). > I'll have a closer look. Thanks in advance.