[polly] r248667 - [FIX] Use the surrounding loop for non-affine SCoP regions

[Johannes Doerfert via llvm-commits]

Could you check if it is really caused by non-affine regions that span
the whole SCoP? (E.g., add an unfeasible assumption for these in the
domain or schedule generation as they are detected there anyway).

On 09/26, Tobias Grosser wrote:
> On 09/26/2015 03:41 PM, Johannes Doerfert via llvm-commits wrote:
> >Author: jdoerfert
> >Date: Sat Sep 26 08:41:43 2015
> >New Revision: 248667
> >
> >URL: http://llvm.org/viewvc/llvm-project?rev=248667&view=rev
> >Log:
> >[FIX] Use the surrounding loop for non-affine SCoP regions
> >
> >   When the whole SCoP is a non-affine region we need to use the
> >   surrounding loop in the construction of the schedule as that is
> >   the one that will be looked up after the schedule generation.
> >
> >   This fixes bug 24947
> 
> Thanks, this seems to have indeed fixed most compile-time failures we have
> seen before for these minimal scops, but interestingly now most (all?) of them
> turned into miscompiles:
> 
> http://lab.llvm.org:8011/builders/perf-x86_64-penryn-O3-polly-unprofitable/builds/17
> 
> Best,
> Tobias

-- 

Johannes Doerfert
Researcher / PhD Student

Compiler Design Lab (Prof. Hack)
Saarland University, Computer Science
Building E1.3, Room 4.31

Tel. +49 (0)681 302-57521 : doerfert at cs.uni-saarland.de
Fax. +49 (0)681 302-3065  : http://www.cdl.uni-saarland.de/people/doerfert
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 213 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150926/b1d7264b/attachment.sig>