diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-17 21:25:32 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-17 21:25:32 +0000 |
| commit | 5e7b62de0560ba0f68dd395a08326d30a26f156a (patch) | |
| tree | 9d14f0fbd115e910aff5a41739b8cf0731843920 /llvm/lib/IR/ConstantRange.cpp | |
| parent | 322e2dbee128c091e0a9c24a0348c4d7c8e3b7d7 (diff) | |
| download | bcm5719-llvm-5e7b62de0560ba0f68dd395a08326d30a26f156a.tar.gz bcm5719-llvm-5e7b62de0560ba0f68dd395a08326d30a26f156a.zip | |
[ConstantRange] Add assertion for KnownBits validity; NFC
Following the suggestion in D59475.
llvm-svn: 356346
Diffstat (limited to 'llvm/lib/IR/ConstantRange.cpp')
| -rw-r--r-- | llvm/lib/IR/ConstantRange.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/lib/IR/ConstantRange.cpp b/llvm/lib/IR/ConstantRange.cpp index d41914ba4a9..16def8bc5e8 100644 --- a/llvm/lib/IR/ConstantRange.cpp +++ b/llvm/lib/IR/ConstantRange.cpp @@ -56,6 +56,8 @@ ConstantRange::ConstantRange(APInt L, APInt U) ConstantRange ConstantRange::fromKnownBits(const KnownBits &Known, bool IsSigned) { + assert(!Known.hasConflict() && "Expected valid KnownBits"); + if (Known.isUnknown()) return ConstantRange(Known.getBitWidth(), /* full */ true); |
