Lines Matching defs:RPred

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.
9408                                  CmpPredicate RPred, const ConstantRange &RCR) {
9422                                RPred))
9424   if (LPred.hasSameSign() ^ RPred.hasSameSign()) {
9427     RPred = RPred.hasSameSign() ? ICmpInst::getFlippedSignednessPredicate(RPred)
9428                                 : static_cast<CmpInst::Predicate>(RPred);
9430                          RPred);
9435 /// Return true if LHS implies RHS (expanded to its components as "R0 RPred R1")
9439 isImpliedCondICmps(const ICmpInst *LHS, CmpPredicate RPred, const Value *R0,
9453     RPred = ICmpInst::getSwappedCmpPredicate(RPred);
9465       RPred = ICmpInst::getSwappedCmpPredicate(RPred);
9481         R1, ICmpInst::isSigned(RPred), /* UseInstrInfo=*/true, /*AC=*/nullptr,
9485     if (auto R = isImpliedCondCommonOperandWithCR(LPred, LCR, RPred, RCR))
9495     return ICmpInst::isImpliedByMatchingCmp(LPred, RPred);
9506         ICmpInst::isImpliedByMatchingCmp(SignedLPred, RPred) == false)
9516         ICmpInst::isImpliedByMatchingCmp(SignedLPred, RPred) == true)
9523       (RPred == ICmpInst::ICMP_ULT || RPred == ICmpInst::ICMP_UGE) &&
9525     return CmpPredicate::getMatching(LPred, RPred).has_value();
9527   if (auto P = CmpPredicate::getMatching(LPred, RPred))