------- Comment #18 from rakdver at atrey dot karlin dot mff dot cuni dot cz 2006-04-10 10:24 ------- Subject: Re: loop header should also be pulled out of the inner loop too
> > > actually, thinking about it again, it should suffice to teach > > > invariant_without_guard_p about invariant memory loads, and this should > > > just > > > work. > > > > It basically does, the only other problem is that we are not able to > > determine > > that the outer loop is not infinite. > > It that because we don't recognize the condition of the loop header? the problem is that we use # of iterations analysis, and it tries to fully instantiate the scalar evolutions, which is impossible for *je. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=23855
