Lines Matching refs:FoundRHS
10113 const SCEV *FoundRHS = getSCEV(ICI->getOperand(1)); in isImpliedCond() local
10115 return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS, Context); in isImpliedCond()
10121 const SCEV *FoundLHS, const SCEV *FoundRHS, in isImpliedCond() argument
10136 isKnownPredicate(ICmpInst::ICMP_ULE, FoundRHS, MaxValue)) { in isImpliedCond()
10138 const SCEV *TruncFoundRHS = getTruncateExpr(FoundRHS, NarrowType); in isImpliedCond()
10156 FoundRHS = getSignExtendExpr(FoundRHS, LHS->getType()); in isImpliedCond()
10159 FoundRHS = getZeroExtendExpr(FoundRHS, LHS->getType()); in isImpliedCond()
10163 FoundRHS, Context); in isImpliedCond()
10168 ICmpInst::Predicate FoundPred, const SCEV *FoundLHS, const SCEV *FoundRHS, in isImpliedCondBalancedTypes() argument
10178 if (SimplifyICmpOperands(FoundPred, FoundLHS, FoundRHS)) in isImpliedCondBalancedTypes()
10179 if (FoundLHS == FoundRHS) in isImpliedCondBalancedTypes()
10183 if (LHS == FoundRHS || RHS == FoundLHS) { in isImpliedCondBalancedTypes()
10185 std::swap(FoundLHS, FoundRHS); in isImpliedCondBalancedTypes()
10195 return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, Context); in isImpliedCondBalancedTypes()
10201 return isImpliedCondOperands(Pred, LHS, RHS, FoundRHS, FoundLHS, Context); in isImpliedCondBalancedTypes()
10204 LHS, FoundLHS, FoundRHS, Context); in isImpliedCondBalancedTypes()
10211 isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) in isImpliedCondBalancedTypes()
10212 return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, Context); in isImpliedCondBalancedTypes()
10216 (isa<SCEVConstant>(FoundLHS) || isa<SCEVConstant>(FoundRHS))) { in isImpliedCondBalancedTypes()
10223 V = FoundRHS; in isImpliedCondBalancedTypes()
10225 C = cast<SCEVConstant>(FoundRHS); in isImpliedCondBalancedTypes()
10295 if (isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, Context)) in isImpliedCondBalancedTypes()
10299 if (isImpliedCondOperands(FoundPred, LHS, RHS, FoundLHS, FoundRHS, in isImpliedCondBalancedTypes()
10381 const SCEV *FoundLHS, const SCEV *FoundRHS, const Instruction *Context) { in isImpliedCondOperandsViaAddRecStart() argument
10405 if (!isAvailableAtLoopEntry(FoundRHS, AR->getLoop())) in isImpliedCondOperandsViaAddRecStart()
10407 return isImpliedCondOperands(Pred, LHS, RHS, AR->getStart(), FoundRHS); in isImpliedCondOperandsViaAddRecStart()
10410 if (auto *AR = dyn_cast<SCEVAddRecExpr>(FoundRHS)) { in isImpliedCondOperandsViaAddRecStart()
10426 const SCEV *FoundLHS, const SCEV *FoundRHS) { in isImpliedCondOperandsViaNoOverflow() argument
10479 Optional<APInt> RDiff = computeConstantDifference(RHS, FoundRHS); in isImpliedCondOperandsViaNoOverflow()
10496 return isAvailableAtLoopEntry(FoundRHS, L) && in isImpliedCondOperandsViaNoOverflow()
10497 isLoopEntryGuardedByCond(L, Pred, FoundRHS, in isImpliedCondOperandsViaNoOverflow()
10504 const SCEV *FoundRHS, unsigned Depth) { in isImpliedViaMerge() argument
10549 std::swap(FoundLHS, FoundRHS); in isImpliedViaMerge()
10560 isImpliedCondOperandsViaRanges(Pred, S1, S2, FoundLHS, FoundRHS) || in isImpliedViaMerge()
10561 isImpliedViaOperations(Pred, S1, S2, FoundLHS, FoundRHS, Depth); in isImpliedViaMerge()
10614 const SCEV *FoundRHS, in isImpliedCondOperands() argument
10616 if (isImpliedCondOperandsViaRanges(Pred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCondOperands()
10619 if (isImpliedCondOperandsViaNoOverflow(Pred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCondOperands()
10622 if (isImpliedCondOperandsViaAddRecStart(Pred, LHS, RHS, FoundLHS, FoundRHS, in isImpliedCondOperands()
10627 FoundLHS, FoundRHS) || in isImpliedCondOperands()
10630 getNotSCEV(FoundRHS), in isImpliedCondOperands()
10713 const SCEV *FoundRHS, in isImpliedViaOperations() argument
10719 getTypeSizeInBits(FoundRHS->getType()) && in isImpliedViaOperations()
10729 std::swap(FoundLHS, FoundRHS); in isImpliedViaOperations()
10737 if (isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) { in isImpliedViaOperations()
10743 FoundRHS) && in isImpliedViaOperations()
10745 FoundRHS)) in isImpliedViaOperations()
10770 FoundRHS, Depth + 1); in isImpliedViaOperations()
10831 auto *FRHSTy = FoundRHS->getType(); in isImpliedViaOperations()
10843 auto *FoundRHSExt = getNoopOrSignExtend(FoundRHS, WTy); in isImpliedViaOperations()
10872 if (isImpliedViaMerge(Pred, OrigLHS, RHS, OrigFoundLHS, FoundRHS, Depth + 1)) in isImpliedViaOperations()
10924 const SCEV *FoundRHS) { in isImpliedCondOperandsHelper() argument
10929 if (HasSameValue(LHS, FoundLHS) && HasSameValue(RHS, FoundRHS)) in isImpliedCondOperandsHelper()
10935 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
10941 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
10947 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
10953 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
10959 if (isImpliedViaOperations(Pred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCondOperandsHelper()
10969 const SCEV *FoundRHS) { in isImpliedCondOperandsViaRanges() argument
10970 if (!isa<SCEVConstant>(RHS) || !isa<SCEVConstant>(FoundRHS)) in isImpliedCondOperandsViaRanges()
10979 const APInt &ConstFoundRHS = cast<SCEVConstant>(FoundRHS)->getAPInt(); in isImpliedCondOperandsViaRanges()