Lines Matching refs:Op1Min
6468 APInt Op1Min(BitWidth, 0), Op1Max(BitWidth, 0); in foldICmpUsingKnownBits() local
6472 Op1Min = Op1Known.getSignedMinValue(); in foldICmpUsingKnownBits()
6477 Op1Min = Op1Known.getMinValue(); in foldICmpUsingKnownBits()
6486 if (!isa<Constant>(Op1) && Op1Min == Op1Max) in foldICmpUsingKnownBits()
6487 return new ICmpInst(Pred, Op0, ConstantExpr::getIntegerValue(Ty, Op1Min)); in foldICmpUsingKnownBits()
6508 if (Op1Min == Op0Max) // A <u B -> A != B if max(A) == min(B) in foldICmpUsingKnownBits()
6542 if (Op1Min == Op0Max) // A <s B -> A != B if max(A) == min(B) in foldICmpUsingKnownBits()
6573 if (Op0Max.ult(Op1Min) || Op0Min.ugt(Op1Max)) in foldICmpUsingKnownBits()
6617 if (Op0Max.ult(Op1Min)) // A <u B -> true if max(A) < min(B) in foldICmpUsingKnownBits()
6626 if (Op0Max.ule(Op1Min)) // A >u B -> false if max(A) <= max(B) in foldICmpUsingKnownBits()
6631 if (Op0Max.slt(Op1Min)) // A <s B -> true if max(A) < min(C) in foldICmpUsingKnownBits()
6640 if (Op0Max.sle(Op1Min)) // A >s B -> false if max(A) <= min(B) in foldICmpUsingKnownBits()
6648 if (Op0Max.slt(Op1Min)) // A >=s B -> false if max(A) < min(B) in foldICmpUsingKnownBits()
6650 if (Op1Min == Op0Max) // A >=s B -> A == B if max(A) == min(B) in foldICmpUsingKnownBits()
6655 if (Op0Max.sle(Op1Min)) // A <=s B -> true if max(A) <= min(B) in foldICmpUsingKnownBits()
6666 if (Op0Max.ult(Op1Min)) // A >=u B -> false if max(A) < min(B) in foldICmpUsingKnownBits()
6668 if (Op1Min == Op0Max) // A >=u B -> A == B if max(A) == min(B) in foldICmpUsingKnownBits()
6673 if (Op0Max.ule(Op1Min)) // A <=u B -> true if max(A) <= min(B) in foldICmpUsingKnownBits()