]> granicus.if.org Git - llvm/commit
[CVP] Remove unnecessary checks for empty GNWR; NFC
authorNikita Popov <nikita.ppv@gmail.com>
Sat, 25 May 2019 14:11:55 +0000 (14:11 +0000)
committerNikita Popov <nikita.ppv@gmail.com>
Sat, 25 May 2019 14:11:55 +0000 (14:11 +0000)
commitb43581e7084b33fa4f41a638e9d1996b134cea20
treee585619ccca9a49e4b3914bf40b2edc96e1872e5
parent57531a11530437ff05a0f4c5fc5c19f31eb72f8e
[CVP] Remove unnecessary checks for empty GNWR; NFC

The guaranteed no-wrap region is never empty, it always contains at
least zero, so these optimizations don't ever apply.

To make this more obviously true, replace the conversative return
in makeGNWR with an assertion.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@361698 91177308-0d34-0410-b5e6-96231b3b80d8
lib/IR/ConstantRange.cpp
lib/Transforms/Scalar/CorrelatedValuePropagation.cpp