Lines Matching defs:LPred

9403 /// Return true if "icmp LPred X, LCR" implies "icmp RPred X, RCR" is true.
9404 /// Return false if "icmp LPred X, LCR" implies "icmp RPred X, RCR" is false.
9407 isImpliedCondCommonOperandWithCR(CmpPredicate LPred, const ConstantRange &LCR,
9421   if (auto Res = CRImpliesPred(ConstantRange::makeAllowedICmpRegion(LPred, LCR),
9424   if (LPred.hasSameSign() ^ RPred.hasSameSign()) {
9425     LPred = LPred.hasSameSign() ? ICmpInst::getFlippedSignednessPredicate(LPred)
9426                                 : static_cast<CmpInst::Predicate>(LPred);
9429     return CRImpliesPred(ConstantRange::makeAllowedICmpRegion(LPred, LCR),
9446   CmpPredicate LPred =
9457     LPred = ICmpInst::getSwappedCmpPredicate(LPred);
9463       LPred = ICmpInst::getSwappedCmpPredicate(LPred);
9478         L1, ICmpInst::isSigned(LPred), /* UseInstrInfo=*/true, /*AC=*/nullptr,
9485     if (auto R = isImpliedCondCommonOperandWithCR(LPred, LCR, RPred, RCR))
9495     return ICmpInst::isImpliedByMatchingCmp(LPred, RPred);
9501   CmpInst::Predicate SignedLPred = LPred.getPreferredSignedPredicate();
9522       (LPred == ICmpInst::ICMP_ULT || LPred == ICmpInst::ICMP_UGE) &&
9525     return CmpPredicate::getMatching(LPred, RPred).has_value();
9527   if (auto P = CmpPredicate::getMatching(LPred, RPred))