[polly] r270416 - Optimistic assume required invariant loads to be invariant

[Tobias Grosser via llvm-commits]

On 05/23/2016 12:40 PM, Johannes Doerfert via llvm-commits wrote:
> Author: jdoerfert
> Date: Mon May 23 05:40:54 2016
> New Revision: 270416
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=270416&view=rev
> Log:
> Optimistic assume required invariant loads to be invariant
> 
>   Before this patch we bailed if a required invariant load was potentially
>   overwritten. However, now we will optimistically assume it is actually
>   invariant and, to this end, restrict the valid parameter space as well as the
>   execution context with regards to potential overwrites of the location.

Perfect. I really like this commit message. This is the kind of summary
that I missed in some of my earlier reviews.

Best,
Tobias