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

[Tobias Grosser via llvm-commits]

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.

Best,
Tobias