[polly] r267707 - [FIX] Propagate execution domain of invariant loads

[Johannes Doerfert via llvm-commits]

On 04/29, Tobias Grosser wrote:
> On 04/29/2016 07:15 AM, Tobias Grosser via llvm-commits wrote:
> > On 04/27/2016 02:49 PM, Johannes Doerfert via llvm-commits wrote:
> >> Author: jdoerfert
> >> Date: Wed Apr 27 07:49:11 2016
> >> New Revision: 267707
> >>
> >> URL: http://llvm.org/viewvc/llvm-project?rev=267707&view=rev
> >> Log:
> >> [FIX] Propagate execution domain of invariant loads
> >>
> >>   If the base pointer of an invariant load is is loaded conditionally, that
> >>   condition needs to hold for the invariant load too. The structure of the
> >>   program will imply this for domain constraints but not for imprecisions in
> >>   the modeling. To this end we will propagate the execution context of base
> >>   pointers during code generation and thus ensure the derived pointer does
> >>   not access an invalid base pointer.
> > 
> > Hi Johannes,
> > 
> > this patch fixed the original bug, but seems to have introduced a new one:
> > 
> > http://lab.llvm.org:8011/builders/perf-x86_64-penryn-O3-polly-before-vectorizer-unprofitable/builds/1792
> 
> Actually, this belongs to r267885.
The patch only exposed another issue, see r268023 for the FIX.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 213 bytes
Desc: Digital signature
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160429/2de15e19/attachment.sig>