OSDN Git Service

[CVP] Remove some {s|u}sub.with.overflow checks.
authorJoel Galenson <jgalenson@google.com>
Tue, 5 Dec 2017 18:14:24 +0000 (18:14 +0000)
committerJoel Galenson <jgalenson@google.com>
Tue, 5 Dec 2017 18:14:24 +0000 (18:14 +0000)
commit2bfaf4d2f2a93d1d1cd53ed8d1849e67ee6ac6c4
tree6d64ae9089604885080541105bcc9ac3699008ae
parent0e19a2ac5cd1ece20eee0a426b7b1824c942542c
[CVP] Remove some {s|u}sub.with.overflow checks.

This uses ConstantRange::makeGuaranteedNoWrapRegion's newly-added handling for subtraction to allow CVP to remove some subtraction overflow checks.

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

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