reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

lib/Transforms/InstCombine/InstCombineCompares.cpp
 4956     computeSignedMinMaxValuesFromKnownBits(Op0Known, Op0Min, Op0Max);
 4959     computeUnsignedMinMaxValuesFromKnownBits(Op0Known, Op0Min, Op0Max);
 4966   if (!isa<Constant>(Op0) && Op0Min == Op0Max)
 4967     return new ICmpInst(Pred, ConstantExpr::getIntegerValue(Ty, Op0Min), Op1);
 4978     if (Op0Max.ult(Op1Min) || Op0Min.ugt(Op1Max)) {
 5032     if (Op0Min.uge(Op1Max)) // A <u B -> false if min(A) >= max(B)
 5040       if (*CmpC == Op0Min + 1)
 5052     if (Op0Min.ugt(Op1Max)) // A >u B -> true if min(A) > max(B)
 5056     if (Op1Max == Op0Min) // A >u B -> A != B if min(A) == max(B)
 5076     if (Op0Min.sge(Op1Max)) // A <s B -> false if min(A) >= max(C)
 5082       if (*CmpC == Op0Min + 1) // A <s C -> A == C-1 if min(A)+1 == C
 5089     if (Op0Min.sgt(Op1Max)) // A >s B -> true if min(A) > max(B)
 5093     if (Op1Max == Op0Min) // A >s B -> A != B if min(A) == max(B)
 5105     if (Op0Min.sge(Op1Max)) // A >=s B -> true if min(A) >= max(B)
 5116     if (Op0Min.sgt(Op1Max)) // A <=s B -> false if min(A) > max(B)
 5118     if (Op1Max == Op0Min) // A <=s B -> A == B if min(A) == max(B)
 5123     if (Op0Min.uge(Op1Max)) // A >=u B -> true if min(A) >= max(B)
 5134     if (Op0Min.ugt(Op1Max)) // A <=u B -> false if min(A) > max(B)
 5136     if (Op1Max == Op0Min) // A <=u B -> A == B if min(A) == max(B)