Hi, On Fri, 4 Nov 2011, Richard Guenther wrote:
> > With the approach the incremental patch does I just walk what > > split_constant_offset during DR walks and peel off loop invariants > > until I have something that should be used as the vectorized index. > > It looks like split_constant_offset walks def stmts in an unbound > fashion. That's surely a bad idea - SCEV should already have expanded > everything non-loop-invariant, thus it should at most look through DEFs > that trivially add to the constant offset, not through others. split_constant_offset is also used for canonicalization, to increase chances of finding the same base in two data refs to be able to use offset based disambiguation. For that it sometimes has to look also through loop invariant parts. Ciao, Michael.
