Lines Matching refs:FoundRHS
9627 const SCEV *FoundRHS = getSCEV(ICI->getOperand(1)); in isImpliedCond() local
9629 return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS); in isImpliedCond()
9636 const SCEV *FoundRHS) { in isImpliedCond() argument
9651 FoundRHS = getSignExtendExpr(FoundRHS, LHS->getType()); in isImpliedCond()
9654 FoundRHS = getZeroExtendExpr(FoundRHS, LHS->getType()); in isImpliedCond()
9663 if (SimplifyICmpOperands(FoundPred, FoundLHS, FoundRHS)) in isImpliedCond()
9664 if (FoundLHS == FoundRHS) in isImpliedCond()
9668 if (LHS == FoundRHS || RHS == FoundLHS) { in isImpliedCond()
9670 std::swap(FoundLHS, FoundRHS); in isImpliedCond()
9680 return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS); in isImpliedCond()
9686 return isImpliedCondOperands(Pred, LHS, RHS, FoundRHS, FoundLHS); in isImpliedCond()
9689 RHS, LHS, FoundLHS, FoundRHS); in isImpliedCond()
9696 isKnownNonNegative(FoundLHS) && isKnownNonNegative(FoundRHS)) in isImpliedCond()
9697 return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS); in isImpliedCond()
9701 (isa<SCEVConstant>(FoundLHS) || isa<SCEVConstant>(FoundRHS))) { in isImpliedCond()
9708 V = FoundRHS; in isImpliedCond()
9710 C = cast<SCEVConstant>(FoundRHS); in isImpliedCond()
9764 if (isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCond()
9768 if (isImpliedCondOperands(FoundPred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCond()
9845 const SCEV *FoundLHS, const SCEV *FoundRHS) { in isImpliedCondOperandsViaNoOverflow() argument
9898 Optional<APInt> RDiff = computeConstantDifference(RHS, FoundRHS); in isImpliedCondOperandsViaNoOverflow()
9915 return isAvailableAtLoopEntry(FoundRHS, L) && in isImpliedCondOperandsViaNoOverflow()
9916 isLoopEntryGuardedByCond(L, Pred, FoundRHS, in isImpliedCondOperandsViaNoOverflow()
9923 const SCEV *FoundRHS, unsigned Depth) { in isImpliedViaMerge() argument
9968 std::swap(FoundLHS, FoundRHS); in isImpliedViaMerge()
9979 isImpliedCondOperandsViaRanges(Pred, S1, S2, FoundLHS, FoundRHS) || in isImpliedViaMerge()
9980 isImpliedViaOperations(Pred, S1, S2, FoundLHS, FoundRHS, Depth); in isImpliedViaMerge()
10033 const SCEV *FoundRHS) { in isImpliedCondOperands() argument
10034 if (isImpliedCondOperandsViaRanges(Pred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCondOperands()
10037 if (isImpliedCondOperandsViaNoOverflow(Pred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCondOperands()
10041 FoundLHS, FoundRHS) || in isImpliedCondOperands()
10044 getNotSCEV(FoundRHS), in isImpliedCondOperands()
10153 const SCEV *FoundRHS, in isImpliedViaOperations() argument
10159 getTypeSizeInBits(FoundRHS->getType()) && in isImpliedViaOperations()
10169 std::swap(FoundLHS, FoundRHS); in isImpliedViaOperations()
10192 FoundRHS, Depth + 1); in isImpliedViaOperations()
10253 auto *FRHSTy = FoundRHS->getType(); in isImpliedViaOperations()
10265 auto *FoundRHSExt = getNoopOrSignExtend(FoundRHS, WTy); in isImpliedViaOperations()
10294 if (isImpliedViaMerge(Pred, OrigLHS, RHS, OrigFoundLHS, FoundRHS, Depth + 1)) in isImpliedViaOperations()
10313 const SCEV *FoundRHS) { in isImpliedCondOperandsHelper() argument
10318 if (HasSameValue(LHS, FoundLHS) && HasSameValue(RHS, FoundRHS)) in isImpliedCondOperandsHelper()
10324 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
10330 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_SLE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
10336 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_UGE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
10342 isKnownViaNonRecursiveReasoning(ICmpInst::ICMP_ULE, RHS, FoundRHS)) in isImpliedCondOperandsHelper()
10348 if (isImpliedViaOperations(Pred, LHS, RHS, FoundLHS, FoundRHS)) in isImpliedCondOperandsHelper()
10358 const SCEV *FoundRHS) { in isImpliedCondOperandsViaRanges() argument
10359 if (!isa<SCEVConstant>(RHS) || !isa<SCEVConstant>(FoundRHS)) in isImpliedCondOperandsViaRanges()
10368 const APInt &ConstFoundRHS = cast<SCEVConstant>(FoundRHS)->getAPInt(); in isImpliedCondOperandsViaRanges()