[llvm-commits] [PATCH] Multidimensional Array Index Delinearization Analysis

[Hal Finkel]

On Wed, 26 Sep 2012 10:10:28 +0200
Tobias Grosser <tobias at grosser.es> wrote:

> On 09/26/2012 12:02 AM, Hal Finkel wrote:
> > I've attached an updated version of the pass. This version works
> > better (several bugs have been fixed), and also includes a working
> > bounds analysis.
> 
> Hi Hal,
> 
> I tested this one again and found it has still problems. himeno_2.ll 
> gives the expected output, himeno_1.ll does not.

Interestingly, running 'opt -O3 -analyze -delinearize' then they both
work. Running without -O3 and only the second one works. Running with
debug output reveals:

DL: function: jacobi
DL: index polynomial: tmp4 = k + a.deps.sext*(j + i*a.cols.sext)
        skipping poly: fully loop-dependent

which means that isLoopInvariant on all of those values returns false.
I'll see if I can figure out why.

Thanks again,
Hal

> 
> Cheers
> Tobi
> 



-- 
Hal Finkel
Postdoctoral Appointee
Leadership Computing Facility
Argonne National Laboratory