Lines Matching defs:LPred

9031 /// Return true if "icmp1 LPred X, Y" implies "icmp2 RPred X, Y" is true.
9032 /// Return false if "icmp1 LPred X, Y" implies "icmp2 RPred X, Y" is false.
9035 isImpliedCondMatchingOperands(CmpInst::Predicate LPred,
9037   if (CmpInst::isImpliedTrueByMatchingCmp(LPred, RPred))
9039   if (CmpInst::isImpliedFalseByMatchingCmp(LPred, RPred))
9045 /// Return true if "icmp LPred X, LCR" implies "icmp RPred X, RCR" is true.
9046 /// Return false if "icmp LPred X, LCR" implies "icmp RPred X, RCR" is false.
9049     CmpInst::Predicate LPred, const ConstantRange &LCR,
9051   ConstantRange DomCR = ConstantRange::makeAllowedICmpRegion(LPred, LCR);
9075   CmpInst::Predicate LPred =
9086     LPred = ICmpInst::getSwappedPredicate(LPred);
9092       LPred = ICmpInst::getSwappedPredicate(LPred);
9107         L1, ICmpInst::isSigned(LPred), /* UseInstrInfo=*/true, /*AC=*/nullptr,
9114     if (auto R = isImpliedCondCommonOperandWithCR(LPred, LCR, RPred, RCR))
9124     return isImpliedCondMatchingOperands(LPred, RPred);
9128       (LPred == ICmpInst::ICMP_ULT || LPred == ICmpInst::ICMP_UGE) &&
9131     return LPred == RPred;
9133   if (LPred == RPred)
9134     return isImpliedCondOperands(LPred, L0, L1, R0, R1);