Lines Matching defs:RPred

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.
9036                               CmpInst::Predicate RPred) {
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.
9050     CmpInst::Predicate RPred, const ConstantRange &RCR) {
9053   if (DomCR.icmp(RPred, RCR))
9057   if (DomCR.icmp(CmpInst::getInversePredicate(RPred), RCR))
9062 /// Return true if LHS implies RHS (expanded to its components as "R0 RPred R1")
9066                                               CmpInst::Predicate RPred,
9082     RPred = ICmpInst::getSwappedPredicate(RPred);
9094       RPred = ICmpInst::getSwappedPredicate(RPred);
9110         R1, ICmpInst::isSigned(RPred), /* UseInstrInfo=*/true, /*AC=*/nullptr,
9114     if (auto R = isImpliedCondCommonOperandWithCR(LPred, LCR, RPred, RCR))
9124     return isImpliedCondMatchingOperands(LPred, RPred);
9129       (RPred == ICmpInst::ICMP_ULT || RPred == ICmpInst::ICMP_UGE) &&
9131     return LPred == RPred;
9133   if (LPred == RPred)