commit 1918384155530af53b458ba5fcf5882755c8b6e5
author Philip Reames <listmail@philipreames.com> Mon Apr 25 22:21:24 2016 +0000
committer Philip Reames <listmail@philipreames.com> Mon Apr 25 22:21:24 2016 +0000
tree 15f36d5d7c7ba89c2e750ab37f8f780871bd8582
parent a2b9111ef7f07fe81ddf4331164785425f5d5c92

[LVI] Make a precondition explicit rather than handling a case which never happens [NFC]

llvm-svn: 267481

llvm/lib/Analysis/LazyValueInfo.cpp

diff --git a/llvm/lib/Analysis/LazyValueInfo.cpp b/llvm/lib/Analysis/LazyValueInfo.cpp
index 98136b8..66b64c5 100644
--- a/llvm/lib/Analysis/LazyValueInfo.cpp
+++ b/llvm/lib/Analysis/LazyValueInfo.cpp
@@ -1116,7 +1116,8 @@
 
 bool getValueFromFromCondition(Value *Val, ICmpInst *ICI,
                                LVILatticeVal &Result, bool isTrueDest) {
-  if (ICI && isa<Constant>(ICI->getOperand(1))) {
+  assert(ICI && "precondition");
+  if (isa<Constant>(ICI->getOperand(1))) {
     if (ICI->isEquality() && ICI->getOperand(0) == Val) {
       // We know that V has the RHS constant if this is a true SETEQ or
       // false SETNE.