[PATCH] D23059: Teach CorrelatedValuePropagation to mark adds as no wrap

[Artur Pilipenko via llvm-commits]

apilipenko created this revision.
apilipenko added a reviewer: sanjoy.
apilipenko added a subscriber: llvm-commits.

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.

https://reviews.llvm.org/D23059

Files:
  lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
  test/Transforms/CorrelatedValuePropagation/add.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D23059.66465.patch
Type: text/x-patch
Size: 3403 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160802/0af9ea9a/attachment.bin>