[PredicateInfo][SCCP] Remove assertion (PR46814)

As long as RenamedOp is not guaranteed to be accurate, we cannot
assert here and should just return false. This was already done
for the other conditions in this function.

Fixes https://bugs.llvm.org/show_bug.cgi?id=46814.

1 files changed, 4 insertions, 1 deletions

diff --git a/llvm/lib/Transforms/Utils/PredicateInfo.cpp b/llvm/lib/Transforms/Utils/PredicateInfo.cpp
index 280d3a9..d9bd77e 100644
--- a/llvm/lib/Transforms/Utils/PredicateInfo.cpp
+++ b/llvm/lib/Transforms/Utils/PredicateInfo.cpp
@@ -837,7 +837,10 @@ Optional<PredicateConstraint> PredicateBase::getConstraint() const {
     }
 
     CmpInst *Cmp = dyn_cast<CmpInst>(Condition);
-    assert(Cmp && "Condition should be a CmpInst");
+    if (!Cmp) {
+      // TODO: Make this an assertion once RenamedOp is fully accurate.
+      return None;
+    }
 
     CmpInst::Predicate Pred;
     Value *OtherOp;