Lines Matching refs:Op0Max
3386 APInt Op0Min(BitWidth, 0), Op0Max(BitWidth, 0);
3390 Op0Min, Op0Max);
3395 Op0Min, Op0Max);
3403 if (!isa<Constant>(Op0) && Op0Min == Op0Max)
3415 if (Op0Max.ult(Op1Min) || Op0Min.ugt(Op1Max))
3459 if (Op0Max.ult(Op1Min) || Op0Min.ugt(Op1Max))
3503 if (Op0Max.ult(Op1Min)) // A <u B -> true if max(A) < min(B)
3507 if (Op1Min == Op0Max) // A <u B -> A != B if max(A) == min(B)
3523 if (Op0Max.ule(Op1Min)) // A >u B -> false if max(A) <= max(B)
3529 if (Op1Min == Op0Max-1) // A >u C -> A == C+1 if max(a)-1 == C
3540 if (Op0Max.slt(Op1Min)) // A <s B -> true if max(A) < min(C)
3544 if (Op1Min == Op0Max) // A <s B -> A != B if max(A) == min(B)
3555 if (Op0Max.sle(Op1Min)) // A >s B -> false if max(A) <= min(B)
3561 if (Op1Min == Op0Max-1) // A >s C -> A == C+1 if max(A)-1 == C
3570 if (Op0Max.slt(Op1Min)) // A >=s B -> false if max(A) < min(B)
3575 if (Op0Max.sle(Op1Min)) // A <=s B -> true if max(A) <= min(B)
3584 if (Op0Max.ult(Op1Min)) // A >=u B -> false if max(A) < min(B)
3589 if (Op0Max.ule(Op1Min)) // A <=u B -> true if max(A) <= min(B)