lib/Analysis/DependenceAnalysis.cpp

441     if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD()))
443     if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) {
470     if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) {
475       if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2))
477       if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {
484     if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {
556     if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC()))
558     if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) {
868 // A wrapper around SCEV::isKnownPredicate.
872 // SCEV::isKnownPredicate. Perhaps, someday, the ScalarEvolution package
875 // If SCEV::isKnownPredicate can't prove the predicate,
878 bool DependenceAnalysis::isKnownPredicate(ICmpInst::Predicate Pred,
897   if (SE->isKnownPredicate(Pred, X, Y))
899   // If SE->isKnownPredicate can't prove the condition,
902   // By testing with SE->isKnownPredicate first, we avoid
919     llvm_unreachable("unexpected predicate in isKnownPredicate");
966   if (isKnownPredicate(CmpInst::ICMP_EQ, Src, Dst)) {
970   if (isKnownPredicate(CmpInst::ICMP_NE, Src, Dst)) {
1039     if (isKnownPredicate(CmpInst::ICMP_SGT, AbsDelta, Product)) {
1221     if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) {
1227     if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) {
1603   if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {
1625     if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) {
1630     if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) {
1713   if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {
1735     if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) {
1740     if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) {
1950         if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1)) {
1959         if (isKnownPredicate(CmpInst::ICMP_SLT, A2N2, C1_C2)) {
1973         if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1_A2N2)) {
1994         if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1_A2N2, C2_C1)) {
2011         if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1, C2_C1)) {
2020         if (isKnownPredicate(CmpInst::ICMP_SLT, C1_C2, A2N2)) {
2621     if (isKnownPredicate(CmpInst::ICMP_SGT, LowerBound, Delta))
2624     if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound))
2661     if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].NegPart, B[K].PosPart))
2664     if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].PosPart, B[K].NegPart))
3074   else if (isKnownPredicate(CmpInst::ICMP_EQ, A, B)) {
3158     if (!isKnownPredicate(CmpInst::ICMP_NE,
3163     if (!isKnownPredicate(CmpInst::ICMP_SLE,
3168     if (!isKnownPredicate(CmpInst::ICMP_SGE,