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

[Michael Kruse via llvm-commits]

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;


http://reviews.llvm.org/D15706