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