Lines Matching refs:FoundRHS
11589 const SCEV *FoundRHS = getSCEV(ICI->getOperand(1)); in isImpliedCond() local
11591 return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS, CtxI); in isImpliedCond()
11597 const SCEV *FoundLHS, const SCEV *FoundRHS, in isImpliedCond() argument
11606 !FoundRHS->getType()->isPointerTy()) { in isImpliedCond()
11614 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, FoundRHS, in isImpliedCond()
11617 const SCEV *TruncFoundRHS = getTruncateExpr(FoundRHS, NarrowType); in isImpliedCond()
11635 if (FoundLHS->getType()->isPointerTy() || FoundRHS->getType()->isPointerTy()) in isImpliedCond()
11639 FoundRHS = getSignExtendExpr(FoundRHS, LHS->getType()); in isImpliedCond()
11642 FoundRHS = getZeroExtendExpr(FoundRHS, LHS->getType()); in isImpliedCond()
11646 FoundRHS, CtxI); in isImpliedCond()
11651 ICmpInst::Predicate FoundPred, const SCEV *FoundLHS, const SCEV *FoundRHS, in isImpliedCondBalancedTypes() argument
11661 if (SimplifyICmpOperands(FoundPred, FoundLHS, FoundRHS)) in isImpliedCondBalancedTypes()
11662 if (FoundLHS == FoundRHS) in isImpliedCondBalancedTypes()
11666 if (LHS == FoundRHS || RHS == FoundLHS) { in isImpliedCondBalancedTypes()
11668 std::swap(FoundLHS, FoundRHS); in isImpliedCondBalancedTypes()
11678 return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, CtxI); in isImpliedCondBalancedTypes()
11693 return isImpliedCondOperands(FoundPred, RHS, LHS, FoundLHS, FoundRHS, in isImpliedCondBalancedTypes()
11695 if (!isa<SCEVConstant>(FoundRHS) && !isa<SCEVAddRecExpr>(FoundLHS)) in isImpliedCondBalancedTypes()
11696 return isImpliedCondOperands(Pred, LHS, RHS, FoundRHS, FoundLHS, CtxI); in isImpliedCondBalancedTypes()
11703 FoundLHS, FoundRHS, CtxI)) in isImpliedCondBalancedTypes()
11707 !FoundRHS->getType()->isPointerTy() && in isImpliedCondBalancedTypes()
11709 getNotSCEV(FoundRHS), CtxI)) in isImpliedCondBalancedTypes()
11724 if ((isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) || in isImpliedCondBalancedTypes()
11725 (isKnownNegative(FoundLHS) && isKnownNegative(FoundRHS))) in isImpliedCondBalancedTypes()
11726 return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, CtxI); in isImpliedCondBalancedTypes()
11731 *CanonicalFoundLHS = FoundLHS, *CanonicalFoundRHS = FoundRHS; in isImpliedCondBalancedTypes()
11761 (isa<SCEVConstant>(FoundLHS) || isa<SCEVConstant>(FoundRHS))) { in isImpliedCondBalancedTypes()
11768 V = FoundRHS; in isImpliedCondBalancedTypes()
11770 C = cast<SCEVConstant>(FoundRHS); in isImpliedCondBalancedTypes()
11839 if (isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, CtxI)) in isImpliedCondBalancedTypes()
11843 if (isImpliedCondOperands(FoundPred, LHS, RHS, FoundLHS, FoundRHS, CtxI)) in isImpliedCondBalancedTypes()
11846 if (isImpliedCondOperandsViaRanges(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS)) in isImpliedCondBalancedTypes()
11927 const SCEV *FoundLHS, const SCEV *FoundRHS, const Instruction *CtxI) { in isImpliedCondOperandsViaAddRecStart() argument
11951 if (!isAvailableAtLoopEntry(FoundRHS, AR->getLoop())) in isImpliedCondOperandsViaAddRecStart()
11953 return isImpliedCondOperands(Pred, LHS, RHS, AR->getStart(), FoundRHS); in isImpliedCondOperandsViaAddRecStart()
11956 if (auto *AR = dyn_cast<SCEVAddRecExpr>(FoundRHS)) { in isImpliedCondOperandsViaAddRecStart()
11972 const SCEV *FoundLHS, const SCEV *FoundRHS) { in isImpliedCondOperandsViaNoOverflow() argument
12025 std::optional<APInt> RDiff = computeConstantDifference(RHS, FoundRHS); in isImpliedCondOperandsViaNoOverflow()
12042 return isAvailableAtLoopEntry(FoundRHS, L) && in isImpliedCondOperandsViaNoOverflow()
12043 isLoopEntryGuardedByCond(L, Pred, FoundRHS, in isImpliedCondOperandsViaNoOverflow()
12050 const SCEV *FoundRHS, unsigned Depth) { in isImpliedViaMerge() argument
12095 std::swap(FoundLHS, FoundRHS); in isImpliedViaMerge()
12106 isImpliedCondOperandsViaRanges(Pred, S1, S2, Pred, FoundLHS, FoundRHS) || in isImpliedViaMerge()
12107 isImpliedViaOperations(Pred, S1, S2, FoundLHS, FoundRHS, Depth); in isImpliedViaMerge()
12165 const SCEV *FoundRHS) { in isImpliedCondOperandsViaShift() argument
12168 if (RHS == FoundRHS) { in isImpliedCondOperandsViaShift()
12170 std::swap(FoundLHS, FoundRHS); in isImpliedCondOperandsViaShift()
12176 auto *SUFoundRHS = dyn_cast<SCEVUnknown>(FoundRHS); in isImpliedCondOperandsViaShift()
12206 const SCEV *FoundRHS, in isImpliedCondOperands() argument
12208 if (isImpliedCondOperandsViaRanges(Pred, LHS, RHS, Pred, FoundLHS, FoundRHS)) in isImpliedCondOperands()
12211 if (isImpliedCondOperandsViaNoOverflow(Pred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCondOperands()
12214 if (isImpliedCondOperandsViaShift(Pred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCondOperands()
12217 if (isImpliedCondOperandsViaAddRecStart(Pred, LHS, RHS, FoundLHS, FoundRHS, in isImpliedCondOperands()
12222 FoundLHS, FoundRHS); in isImpliedCondOperands()
12305 const SCEV *FoundRHS, in isImpliedViaOperations() argument
12311 getTypeSizeInBits(FoundRHS->getType()) && in isImpliedViaOperations()
12321 std::swap(FoundLHS, FoundRHS); in isImpliedViaOperations()
12329 if (isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) { in isImpliedViaOperations()
12335 FoundRHS) && in isImpliedViaOperations()
12337 FoundRHS)) in isImpliedViaOperations()
12362 FoundRHS, Depth + 1); in isImpliedViaOperations()
12423 auto *FRHSTy = FoundRHS->getType(); in isImpliedViaOperations()
12435 auto *FoundRHSExt = getNoopOrSignExtend(FoundRHS, WTy); in isImpliedViaOperations()
12464 if (isImpliedViaMerge(Pred, OrigLHS, RHS, OrigFoundLHS, FoundRHS, Depth + 1)) in isImpliedViaOperations()
12516 const SCEV *FoundRHS) { in isImpliedCondOperandsHelper() argument
12521 if (HasSameValue(LHS, FoundLHS) && HasSameValue(RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12527 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12533 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12539 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12545 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
12551 if (isImpliedViaOperations(Pred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCondOperandsHelper()
12562 const SCEV *FoundRHS) { in isImpliedCondOperandsViaRanges() argument
12563 if (!isa<SCEVConstant>(RHS) || !isa<SCEVConstant>(FoundRHS)) in isImpliedCondOperandsViaRanges()
12572 const APInt &ConstFoundRHS = cast<SCEVConstant>(FoundRHS)->getAPInt(); in isImpliedCondOperandsViaRanges()