lib/Analysis/ValueTracking.cpp

5369 /// Return true if "icmp Pred BLHS BRHS" is true whenever "icmp Pred
5373                       const Value *ARHS, const Value *BLHS, const Value *BRHS,
5382         isTruePredicate(CmpInst::ICMP_SLE, ARHS, BRHS, DL, Depth))
5389         isTruePredicate(CmpInst::ICMP_ULE, ARHS, BRHS, DL, Depth))
5398                           const Value *BLHS, const Value *BRHS,
5401   bool IsMatchingOps = (ALHS == BLHS && ARHS == BRHS);
5402   IsSwappedOps = (ALHS == BRHS && ARHS == BLHS);
5459   Value *BRHS = RHS->getOperand(1);
5464   if (isMatchingOps(ALHS, ARHS, BLHS, BRHS, AreSwappedOps)) {
5475   if (ALHS == BLHS && isa<ConstantInt>(ARHS) && isa<ConstantInt>(BRHS)) {
5477             APred, cast<ConstantInt>(ARHS), BPred, cast<ConstantInt>(BRHS)))
5485     return isImpliedCondOperands(APred, ALHS, ARHS, BLHS, BRHS, DL, Depth);