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

[Tobias Grosser via llvm-commits]

On 05/19/2016 03:24 PM, Johannes Doerfert via llvm-commits wrote:
> Author: jdoerfert
> Date: Thu May 19 08:24:10 2016
> New Revision: 270060
> 
> URL: http://llvm.org/viewvc/llvm-project?rev=270060&view=rev
> Log:
> Optimistic assume required invariant loads to be invariant
> 
>   So far we bailed if a required invariant load was potentially overwritten in
>   the SCoP. From now on we will optimistically assume it is actually invariant
>   and, to this end, restrict the valid parameter space.

Very cool. This really shows how easy our assumption tracking framework
makes assumption tracking.

Best,
Tobias