]> granicus.if.org Git - llvm/commit
[CVP] Set NSW/NUW flags when simplifying with.overflow
authorNikita Popov <nikita.ppv@gmail.com>
Fri, 12 Apr 2019 18:18:17 +0000 (18:18 +0000)
committerNikita Popov <nikita.ppv@gmail.com>
Fri, 12 Apr 2019 18:18:17 +0000 (18:18 +0000)
commit18746175864bf76a311c682af228873beede500c
tree3ba9782835bf5e8f36db22772b09bee2fd42da87
parent6c48db936002f7e3dda3e29fe2a3d66890775e03
[CVP] Set NSW/NUW flags when simplifying with.overflow

When CVP determines that a with.overflow intrinsic cannot overflow,
it currently inserts a simple add/sub. As we already determined that
there can be no overflow, we should add the appropriate NUW/NSW flag.

Differential Revision: https://reviews.llvm.org/D60585

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@358298 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
test/Transforms/CorrelatedValuePropagation/overflows.ll