[llvm] r184684 - LoopVectorize: Add utility class for checking dependency among accesses

[Hal Finkel]

----- Original Message -----
> 
> 
> In fact Hal posted a delinearization pass some time ago (I do not
> have the email at hand). It did a pretty good job.

Yea ;) -- As I recall, it also needed a rewrite because it built up its internal expression tree from the instruction stream instead of reusing the expression tree from the SCEVs. The underlying algorithm, however, did seem to work pretty well.

 -Hal

> 
> 
> 
> Cheers,
> Tobi
> 
> 
> 
> On Wed, Jul 17, 2013 at 5:48 PM, Andrew Trick < atrick at apple.com >
> wrote:
> 
> 
> 
> 
> 
> 
> 
> On Jul 1, 2013, at 6:14 PM, Chandler Carruth < chandlerc at google.com >
> wrote:
> 
> 
> 
> If we want to define an IR construct to express multidimensional
> array references without linearizing, I suspect we would need a very
> different / new instruction... retrofitting GEP seems risky given
> its existing uses and complexity. If you or other folks have ideas
> of how to represent this effectively in LLVM's IR, by all means fire
> away. =]
> 
> 
> 
> 
> Personally, I think it would be useful to at see if we could at least
> delinearize "obvious" or "easy" cases. We might actually get
> reasonably good mileage out of this. However, my perspective here is
> biased -- I work almost exclusively with a language that doesn't
> provide the guarantees Fortran does regarding multidimensional
> arrays.
> 
> Agreed. We should find out which important cases cannot be
> successfully delinearized without further IR annotation and only
> then think about extending IR.
> 
> 
> -Andy
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
> 
> 
> 
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
> 

-- 
Hal Finkel
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory