Searched refs:Op0Max (Results 1 – 1 of 1) sorted by relevance
2948 APInt Op0Min(BitWidth, 0), Op0Max(BitWidth, 0); in visitICmpInst() local2952 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()[all …]