@@ -616,7 +616,7 @@ static bool isKnownNonZeroFromAssume(const Value *V, const SimplifyQuery &Q) {
616
616
617
617
static void computeKnownBitsFromCmp (const Value *V, CmpInst::Predicate Pred,
618
618
Value *LHS, Value *RHS, KnownBits &Known,
619
- unsigned Depth, const SimplifyQuery &Q) {
619
+ const SimplifyQuery &Q) {
620
620
if (RHS->getType ()->isPointerTy ()) {
621
621
// Handle comparison of pointer to null explicitly, as it will not be
622
622
// covered by the m_APInt() logic below.
@@ -720,13 +720,13 @@ void llvm::computeKnownBitsFromContext(const Value *V, KnownBits &Known,
720
720
BasicBlockEdge Edge0 (BI->getParent (), BI->getSuccessor (0 ));
721
721
if (Q.DT ->dominates (Edge0, Q.CxtI ->getParent ()))
722
722
computeKnownBitsFromCmp (V, Cmp->getPredicate (), Cmp->getOperand (0 ),
723
- Cmp->getOperand (1 ), Known, Depth, Q);
723
+ Cmp->getOperand (1 ), Known, Q);
724
724
725
725
BasicBlockEdge Edge1 (BI->getParent (), BI->getSuccessor (1 ));
726
726
if (Q.DT ->dominates (Edge1, Q.CxtI ->getParent ()))
727
727
computeKnownBitsFromCmp (V, Cmp->getInversePredicate (),
728
728
Cmp->getOperand (0 ), Cmp->getOperand (1 ), Known,
729
- Depth, Q);
729
+ Q);
730
730
}
731
731
732
732
if (Known.hasConflict ())
@@ -794,7 +794,7 @@ void llvm::computeKnownBitsFromContext(const Value *V, KnownBits &Known,
794
794
continue ;
795
795
796
796
computeKnownBitsFromCmp (V, Cmp->getPredicate (), Cmp->getOperand (0 ),
797
- Cmp->getOperand (1 ), Known, Depth, Q);
797
+ Cmp->getOperand (1 ), Known, Q);
798
798
}
799
799
800
800
// Conflicting assumption: Undefined behavior will occur on this execution
0 commit comments