Lines Matching refs:Op0Min
2948 APInt Op0Min(BitWidth, 0), Op0Max(BitWidth, 0); in visitICmpInst() local
2952 Op0Min, Op0Max); in visitICmpInst()
2957 Op0Min, Op0Max); in visitICmpInst()
2965 if (!isa<Constant>(Op0) && Op0Min == Op0Max) in visitICmpInst()
2967 ConstantInt::get(Op0->getType(), Op0Min), Op1); in visitICmpInst()
2977 if (Op0Max.ult(Op1Min) || Op0Min.ugt(Op1Max)) in visitICmpInst()
3021 if (Op0Max.ult(Op1Min) || Op0Min.ugt(Op1Max)) in visitICmpInst()
3067 if (Op0Min.uge(Op1Max)) // A <u B -> false if min(A) >= max(B) in visitICmpInst()
3072 if (Op1Max == Op0Min+1) // A <u C -> A == C-1 if min(A)+1 == C in visitICmpInst()
3083 if (Op0Min.ugt(Op1Max)) // A >u B -> true if min(A) > max(B) in visitICmpInst()
3088 if (Op1Max == Op0Min) // A >u B -> A != B if min(A) == max(B) in visitICmpInst()
3104 if (Op0Min.sge(Op1Max)) // A <s B -> false if min(A) >= max(C) in visitICmpInst()
3109 if (Op1Max == Op0Min+1) // A <s C -> A == C-1 if min(A)+1 == C in visitICmpInst()
3115 if (Op0Min.sgt(Op1Max)) // A >s B -> true if min(A) > max(B) in visitICmpInst()
3120 if (Op1Max == Op0Min) // A >s B -> A != B if min(A) == max(B) in visitICmpInst()
3130 if (Op0Min.sge(Op1Max)) // A >=s B -> true if min(A) >= max(B) in visitICmpInst()
3139 if (Op0Min.sgt(Op1Max)) // A <=s B -> false if min(A) > max(B) in visitICmpInst()
3144 if (Op0Min.uge(Op1Max)) // A >=u B -> true if min(A) >= max(B) in visitICmpInst()
3153 if (Op0Min.ugt(Op1Max)) // A <=u B -> false if min(A) > max(B) in visitICmpInst()