Lines Matching refs:Op1Min
2949 APInt Op1Min(BitWidth, 0), Op1Max(BitWidth, 0); in visitICmpInst() local
2954 Op1Min, Op1Max); in visitICmpInst()
2959 Op1Min, Op1Max); in visitICmpInst()
2968 if (!isa<Constant>(Op1) && Op1Min == Op1Max) in visitICmpInst()
2970 ConstantInt::get(Op1->getType(), Op1Min)); in visitICmpInst()
2977 if (Op0Max.ult(Op1Min) || Op0Min.ugt(Op1Max)) in visitICmpInst()
3021 if (Op0Max.ult(Op1Min) || Op0Min.ugt(Op1Max)) in visitICmpInst()
3065 if (Op0Max.ult(Op1Min)) // A <u B -> true if max(A) < min(B) in visitICmpInst()
3069 if (Op1Min == Op0Max) // A <u B -> A != B if max(A) == min(B) in visitICmpInst()
3085 if (Op0Max.ule(Op1Min)) // A >u B -> false if max(A) <= max(B) in visitICmpInst()
3091 if (Op1Min == Op0Max-1) // A >u C -> A == C+1 if max(a)-1 == C in visitICmpInst()
3102 if (Op0Max.slt(Op1Min)) // A <s B -> true if max(A) < min(C) in visitICmpInst()
3106 if (Op1Min == Op0Max) // A <s B -> A != B if max(A) == min(B) in visitICmpInst()
3117 if (Op0Max.sle(Op1Min)) // A >s B -> false if max(A) <= min(B) in visitICmpInst()
3123 if (Op1Min == Op0Max-1) // A >s C -> A == C+1 if max(A)-1 == C in visitICmpInst()
3132 if (Op0Max.slt(Op1Min)) // A >=s B -> false if max(A) < min(B) in visitICmpInst()
3137 if (Op0Max.sle(Op1Min)) // A <=s B -> true if max(A) <= min(B) in visitICmpInst()
3146 if (Op0Max.ult(Op1Min)) // A >=u B -> false if max(A) < min(B) in visitICmpInst()
3151 if (Op0Max.ule(Op1Min)) // A <=u B -> true if max(A) <= min(B) in visitICmpInst()