Transforms/InstCombine/InstCombineCompares.cpp

813                                             ICmpInst::Predicate Pred) {
821   if (Pred == ICmpInst::ICMP_ULT || Pred == ICmpInst::ICMP_ULE) {
830   if (Pred == ICmpInst::ICMP_UGT || Pred == ICmpInst::ICMP_UGE)
843   if (Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_SLE)
853   assert(Pred == ICmpInst::ICMP_SGT || Pred == ICmpInst::ICMP_SGE);
899   ICmpInst::Predicate Pred = ICI.getPredicate();
968     Pred = ICmpInst::getSwappedPredicate(Pred);
972   switch (Pred) {
1002     return new ICmpInst(Pred, X, LoBound);
1009     if (Pred == ICmpInst::ICMP_UGT)
1115   auto getICmp = [&I](CmpInst::Predicate Pred, Value *LHS, Value *RHS) {
1117       Pred = CmpInst::getInversePredicate(Pred);
1118     return new ICmpInst(Pred, LHS, RHS);
1179   auto getICmp = [&I](CmpInst::Predicate Pred, Value *LHS, Value *RHS) {
1181       Pred = CmpInst::getInversePredicate(Pred);
1182     return new ICmpInst(Pred, LHS, RHS);
1281           ICmpInst::Predicate Pred = ICI.isSigned()
1284           return new ICmpInst(Pred, LHSI->getOperand(0),
1291           ICmpInst::Predicate Pred = ICI.isSigned()
1294           Pred = ICI.getSwappedPredicate(Pred);
1295           return new ICmpInst(Pred, LHSI->getOperand(0),
1604         ICmpInst::Predicate Pred = ICI.getPredicate();
1611             if (Pred == ICmpInst::ICMP_ULT)
1612               Pred = ICmpInst::ICMP_ULE;
1613             else if (Pred == ICmpInst::ICMP_UGE)
1614               Pred = ICmpInst::ICMP_UGT;
1621             if (Pred == ICmpInst::ICMP_UGE)
1622               Pred = ICmpInst::ICMP_EQ;
1623             else if (Pred == ICmpInst::ICMP_ULT)
1624               Pred = ICmpInst::ICMP_NE;
1627           return new ICmpInst(Pred, X,
1632             if (Pred == ICmpInst::ICMP_SLE)
1637             if (Pred == ICmpInst::ICMP_SGT)
1643             if (Pred == ICmpInst::ICMP_SLT || Pred == ICmpInst::ICMP_SLE)
1649             if (Pred == ICmpInst::ICMP_SGT || Pred == ICmpInst::ICMP_SGE)
1656                 Pred, X, ConstantInt::get(RHS->getType(), RHSV.logBase2()));
3343     CmpInst::Predicate Pred = I.getPredicate();
3346       NoOp0WrapProblem = ICmpInst::isEquality(Pred) ||
3347         (CmpInst::isUnsigned(Pred) && BO0->hasNoUnsignedWrap()) ||
3348         (CmpInst::isSigned(Pred) && BO0->hasNoSignedWrap());
3350       NoOp1WrapProblem = ICmpInst::isEquality(Pred) ||
3351         (CmpInst::isUnsigned(Pred) && BO1->hasNoUnsignedWrap()) ||
3352         (CmpInst::isSigned(Pred) && BO1->hasNoSignedWrap());
3363     if (NoOp0WrapProblem && ICmpInst::isSigned(Pred) && match(Op1, m_Zero()))
3366           return new ICmpInst(Pred, A, ConstantExpr::getNeg(RHSC));
3370       return new ICmpInst(Pred, A == Op1 ? B : A,
3375       return new ICmpInst(Pred, Constant::getNullValue(Op0->getType()),
3403       return new ICmpInst(Pred, Y, Z);
3407     if (A && NoOp0WrapProblem && Pred == CmpInst::ICMP_SLT &&
3412     if (A && NoOp0WrapProblem && Pred == CmpInst::ICMP_SGE &&
3417     if (A && NoOp0WrapProblem && Pred == CmpInst::ICMP_SLE &&
3422     if (A && NoOp0WrapProblem && Pred == CmpInst::ICMP_SGT &&
3427     if (C && NoOp1WrapProblem && Pred == CmpInst::ICMP_SGT &&
3432     if (C && NoOp1WrapProblem && Pred == CmpInst::ICMP_SLE &&
3437     if (C && NoOp1WrapProblem && Pred == CmpInst::ICMP_SGE &&
3442     if (C && NoOp1WrapProblem && Pred == CmpInst::ICMP_SLT &&
3465               return new ICmpInst(Pred, NewAdd, C);
3469               return new ICmpInst(Pred, A, NewAdd);
3485       return new ICmpInst(Pred, Constant::getNullValue(Op1->getType()), B);
3489       return new ICmpInst(Pred, D, Constant::getNullValue(Op0->getType()));
3495       return new ICmpInst(Pred, A, C);
3501       return new ICmpInst(Pred, D, B);
3504     if (NoOp0WrapProblem && ICmpInst::isSigned(Pred)) {
3525       switch (SRem == BO0 ? ICmpInst::getSwappedPredicate(Pred) : Pred) {
3556             ICmpInst::Predicate Pred = I.isSigned()
3559             return new ICmpInst(Pred, BO0->getOperand(0),
3564             ICmpInst::Predicate Pred = I.isSigned()
3567             Pred = I.getSwappedPredicate(Pred);
3568             return new ICmpInst(Pred, BO0->getOperand(0),
3758         ICmpInst::Predicate Pred = I.getPredicate() == ICmpInst::ICMP_NE
3763         return new ICmpInst(Pred, Xor, Builder->getInt(CmpVal));
3908   ICmpInst::Predicate Pred;
3913     Pred = ICmpInst::ICMP_EQ;
3917     Pred = LHSUnsigned ? ICmpInst::ICMP_UGT : ICmpInst::ICMP_SGT;
3921     Pred = LHSUnsigned ? ICmpInst::ICMP_UGE : ICmpInst::ICMP_SGE;
3925     Pred = LHSUnsigned ? ICmpInst::ICMP_ULT : ICmpInst::ICMP_SLT;
3929     Pred = LHSUnsigned ? ICmpInst::ICMP_ULE : ICmpInst::ICMP_SLE;
3933     Pred = ICmpInst::ICMP_NE;
3954       if (Pred == ICmpInst::ICMP_NE  || Pred == ICmpInst::ICMP_SLT ||
3955           Pred == ICmpInst::ICMP_SLE)
3966       if (Pred == ICmpInst::ICMP_NE  || Pred == ICmpInst::ICMP_ULT ||
3967           Pred == ICmpInst::ICMP_ULE)
3979       if (Pred == ICmpInst::ICMP_NE || Pred == ICmpInst::ICMP_SGT ||
3980           Pred == ICmpInst::ICMP_SGE)
3990       if (Pred == ICmpInst::ICMP_NE || Pred == ICmpInst::ICMP_UGT ||
3991           Pred == ICmpInst::ICMP_UGE)
4012       switch (Pred) {
4028           Pred = ICmpInst::ICMP_SLT;
4035         Pred = ICmpInst::ICMP_ULE;
4041           Pred = ICmpInst::ICMP_SLE;
4053           Pred = ICmpInst::ICMP_SGE;
4060         Pred = ICmpInst::ICMP_UGT;
4066           Pred = ICmpInst::ICMP_SGT;
4074   return new ICmpInst(Pred, LHSI->getOperand(0), RHSInt);