[llvm] r277592 - Teach CorrelatedValuePropagation to mark adds as no wrap

[Artur Pilipenko via llvm-commits]

It seems like you were faster than me to revert it) I’ll investigate the failure. 

Thanks,
Artur 

> On 03 Aug 2016, at 16:49, Renato Golin <renato.golin at linaro.org> wrote:
> 
> On 3 August 2016 at 14:11, Artur Pilipenko via llvm-commits
> <llvm-commits at lists.llvm.org> wrote:
>> Author: apilipenko
>> Date: Wed Aug  3 08:11:39 2016
>> New Revision: 277592
>> 
>> URL: http://llvm.org/viewvc/llvm-project?rev=277592&view=rev
>> Log:
>> Teach CorrelatedValuePropagation to mark adds as no wrap
>> 
>> Use LVI to prove that adds do not wrap. The change is motivated by https://llvm.org/bugs/show_bug.cgi?id=28620 bug and it's the first step to fix that problem.
> 
> This seems to have caused some grief to our bot:
> 
> http://lab.llvm.org:8011/builders/clang-cmake-aarch64-42vma/builds/10219
> 
> clang-3.9: /home/buildslave/buildslave/clang-cmake-aarch64-42vma/llvm/lib/Analysis/LazyValueInfo.cpp:1519:
> llvm::ConstantRange
> llvm::LazyValueInfo::getConstantRange(llvm::Value*, llvm::BasicBlock*,
> llvm::Instruction*): Assertion `!Result.isConstant()' failed.
> 
> Doesn't seem obviously related, but your patch was the only one. Can
> you revert, and if it goes back to green, we can help you identify the
> issue on that configuration?
> 
> cheers,
> --renato