diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-25 14:11:55 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-25 14:11:55 +0000 |
| commit | 8b1fa076397555968ffa7dcda5ef91715cec5c8e (patch) | |
| tree | e47a0712f9f3236a67296564789c2a5b3deda5ee /llvm/lib/IR/ConstantRange.cpp | |
| parent | 214981185478329ee6745cbfdd35783e7320e73c (diff) | |
| download | bcm5719-llvm-8b1fa076397555968ffa7dcda5ef91715cec5c8e.tar.gz bcm5719-llvm-8b1fa076397555968ffa7dcda5ef91715cec5c8e.zip | |
[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.
llvm-svn: 361698
Diffstat (limited to 'llvm/lib/IR/ConstantRange.cpp')
| -rw-r--r-- | llvm/lib/IR/ConstantRange.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/llvm/lib/IR/ConstantRange.cpp b/llvm/lib/IR/ConstantRange.cpp index 549886271ff..0d44c3815b3 100644 --- a/llvm/lib/IR/ConstantRange.cpp +++ b/llvm/lib/IR/ConstantRange.cpp @@ -238,8 +238,7 @@ ConstantRange::makeGuaranteedNoWrapRegion(Instruction::BinaryOps BinOp, switch (BinOp) { default: - // Conservative answer: empty set - return getEmpty(BitWidth); + llvm_unreachable("Unsupported binary op"); case Instruction::Add: { if (Unsigned) |
