Lines Matching defs:FoundPred

11660   ICmpInst::Predicate FoundPred;
11662     FoundPred = ICI->getInversePredicate();
11664     FoundPred = ICI->getPredicate();
11669   return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS, CtxI);
11674                                     ICmpInst::Predicate FoundPred,
11683     if (!CmpInst::isSigned(FoundPred) && !FoundLHS->getType()->isPointerTy() &&
11696         if (isImpliedCondBalancedTypes(Pred, LHS, RHS, FoundPred, TruncFoundLHS,
11715     if (CmpInst::isSigned(FoundPred)) {
11723   return isImpliedCondBalancedTypes(Pred, LHS, RHS, FoundPred, FoundLHS,
11729     ICmpInst::Predicate FoundPred, const SCEV *FoundLHS, const SCEV *FoundRHS,
11739   if (SimplifyICmpOperands(FoundPred, FoundLHS, FoundRHS))
11741       return CmpInst::isFalseWhenEqual(FoundPred);
11747       FoundPred = ICmpInst::getSwappedPredicate(FoundPred);
11755   if (FoundPred == Pred)
11760   if (ICmpInst::getSwappedPredicate(FoundPred) == Pred) {
11771       return isImpliedCondOperands(FoundPred, RHS, LHS, FoundLHS, FoundRHS,
11780         isImpliedCondOperands(FoundPred, getNotSCEV(LHS), getNotSCEV(RHS),
11799   if (IsSignFlippedPredicate(Pred, FoundPred)) {
11807     ICmpInst::Predicate CanonicalPred = Pred, CanonicalFoundPred = FoundPred;
11838   if (FoundPred == ICmpInst::ICMP_NE &&
11915   if (FoundPred == ICmpInst::ICMP_EQ)
11920     if (!ICmpInst::isTrueWhenEqual(FoundPred))
11921       if (isImpliedCondOperands(FoundPred, LHS, RHS, FoundLHS, FoundRHS, CtxI))
11924   if (isImpliedCondOperandsViaRanges(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS))
12638                                                      ICmpInst::Predicate FoundPred,
12653   // antecedent "`FoundLHS` `FoundPred` `FoundRHS`".
12655       ConstantRange::makeExactICmpRegion(FoundPred, ConstFoundRHS);