Lines Matching defs:FoundPred

11771   CmpPredicate FoundPred;
11773     FoundPred = ICI->getInverseCmpPredicate();
11775     FoundPred = ICI->getCmpPredicate();
11780   return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS, CtxI);
11784                                     const SCEV *RHS, CmpPredicate FoundPred,
11793     if (!CmpInst::isSigned(FoundPred) && !FoundLHS->getType()->isPointerTy() &&
11806         if (isImpliedCondBalancedTypes(Pred, LHS, RHS, FoundPred, TruncFoundLHS,
11825     if (CmpInst::isSigned(FoundPred)) {
11833   return isImpliedCondBalancedTypes(Pred, LHS, RHS, FoundPred, FoundLHS,
11838     CmpPredicate Pred, const SCEV *LHS, const SCEV *RHS, CmpPredicate FoundPred,
11848   if (SimplifyICmpOperands(FoundPred, FoundLHS, FoundRHS))
11850       return CmpInst::isFalseWhenEqual(FoundPred);
11856       FoundPred = ICmpInst::getSwappedCmpPredicate(FoundPred);
11865   if (FoundPred == static_cast<CmpInst::Predicate>(Pred))
11871   if (ICmpInst::getSwappedCmpPredicate(FoundPred) ==
11883       return isImpliedCondOperands(FoundPred, RHS, LHS, FoundLHS, FoundRHS,
11892         isImpliedCondOperands(FoundPred, getNotSCEV(LHS), getNotSCEV(RHS),
11911   if (IsSignFlippedPredicate(Pred, FoundPred)) {
11919     CmpPredicate CanonicalPred = Pred, CanonicalFoundPred = FoundPred;
11950   if (FoundPred == ICmpInst::ICMP_NE &&
12027   if (FoundPred == ICmpInst::ICMP_EQ)
12032     if (!ICmpInst::isTrueWhenEqual(FoundPred))
12033       if (isImpliedCondOperands(FoundPred, LHS, RHS, FoundLHS, FoundRHS, CtxI))
12036   if (isImpliedCondOperandsViaRanges(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS))
12804     CmpPredicate Pred, const SCEV *LHS, const SCEV *RHS, CmpPredicate FoundPred,
12818   // antecedent "`FoundLHS` `FoundPred` `FoundRHS`".
12820       ConstantRange::makeExactICmpRegion(FoundPred, ConstFoundRHS);