Lines Matching refs:Op1Max
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()
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()