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

[Renato Golin via llvm-commits]

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