[PATCH] D23059: Teach CorrelatedValuePropagation to mark adds as no wrap
Artur Pilipenko via llvm-commits
llvm-commits at lists.llvm.org
Tue Aug 2 06:47:30 PDT 2016
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>
More information about the llvm-commits
mailing list