[PATCH] D15706: [Polly] Follow uses to create value MemoryAccesses

Michael Kruse via llvm-commits llvm-commits at lists.llvm.org
Tue Dec 22 14:34:44 PST 2015

Meinersbur added a comment.

In http://reviews.llvm.org/D15706#315267, @llvm-commits wrote:

> > +; TODO: Because of the phi with 3 incoming blocks, the loop for => outofscop is 
> >  +; not recognized as a loop, but as a non-affine subregion.
> My guess would be this is because ScalarEvolution cannot create an
>  AddRec for %j. PHIs with multiple incoming blocks are generally not a
>  problem.

The loop is correctly identified without the %outofscop block. From the region's standpoint, is also entering the region with the same incoming value. %outofscop adds another surrounding loop.

I think I will look at it again and commit this test case separately as it is not specific to this patch; It was helpful for finding a bug, though;


More information about the llvm-commits mailing list