[llvm] r277592 - Teach CorrelatedValuePropagation to mark adds as no wrap
Artur Pilipenko via llvm-commits
llvm-commits at lists.llvm.org
Wed Aug 3 09:35:37 PDT 2016
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
More information about the llvm-commits
mailing list