Lines Matching refs:Op1Max
3387 APInt Op1Min(BitWidth, 0), Op1Max(BitWidth, 0);
3392 Op1Min, Op1Max);
3397 Op1Min, Op1Max);
3406 if (!isa<Constant>(Op1) && Op1Min == Op1Max)
3415 if (Op0Max.ult(Op1Min) || Op0Min.ugt(Op1Max))
3459 if (Op0Max.ult(Op1Min) || Op0Min.ugt(Op1Max))
3505 if (Op0Min.uge(Op1Max)) // A <u B -> false if min(A) >= max(B)
3510 if (Op1Max == Op0Min+1) // A <u C -> A == C-1 if min(A)+1 == C
3521 if (Op0Min.ugt(Op1Max)) // A >u B -> true if min(A) > max(B)
3526 if (Op1Max == Op0Min) // A >u B -> A != B if min(A) == max(B)
3542 if (Op0Min.sge(Op1Max)) // A <s B -> false if min(A) >= max(C)
3547 if (Op1Max == Op0Min+1) // A <s C -> A == C-1 if min(A)+1 == C
3553 if (Op0Min.sgt(Op1Max)) // A >s B -> true if min(A) > max(B)
3558 if (Op1Max == Op0Min) // A >s B -> A != B if min(A) == max(B)
3568 if (Op0Min.sge(Op1Max)) // A >=s B -> true if min(A) >= max(B)
3577 if (Op0Min.sgt(Op1Max)) // A <=s B -> false if min(A) > max(B)
3582 if (Op0Min.uge(Op1Max)) // A >=u B -> true if min(A) >= max(B)
3591 if (Op0Min.ugt(Op1Max)) // A <=u B -> false if min(A) > max(B)