DependenceAnalysis.cpp - OpenGrok cross reference for /llvm-project/llvm/lib/Analysis/DependenceAnalysis.cpp

Lines Matching defs:isKnownPredicate
523     if (isKnownPredicate(CmpInst::ICMP_EQ, X->getD(), Y->getD()))
525     if (isKnownPredicate(CmpInst::ICMP_NE, X->getD(), Y->getD())) {
552     if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2)) {
557       if (isKnownPredicate(CmpInst::ICMP_EQ, Prod1, Prod2))
559       if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {
566     if (isKnownPredicate(CmpInst::ICMP_NE, Prod1, Prod2)) {
638     if (isKnownPredicate(CmpInst::ICMP_EQ, Sum, Y->getC()))
640     if (isKnownPredicate(CmpInst::ICMP_NE, Sum, Y->getC())) {
1042 // A wrapper around SCEV::isKnownPredicate.
1046 // SCEV::isKnownPredicate. Perhaps, someday, the ScalarEvolution package
1049 // If SCEV::isKnownPredicate can't prove the predicate,
1052 bool DependenceInfo::isKnownPredicate(ICmpInst::Predicate Pred, const SCEV *X,
1070   if (SE->isKnownPredicate(Pred, X, Y))
1072   // If SE->isKnownPredicate can't prove the condition,
1075   // By testing with SE->isKnownPredicate first, we avoid
1092     llvm_unreachable("unexpected predicate in isKnownPredicate");
1189   if (isKnownPredicate(CmpInst::ICMP_EQ, Src, Dst)) {
1193   if (isKnownPredicate(CmpInst::ICMP_NE, Src, Dst)) {
1259     if (isKnownPredicate(CmpInst::ICMP_SGT, AbsDelta, Product)) {
1435     if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, ML)) {
1441     if (isKnownPredicate(CmpInst::ICMP_EQ, Delta, ML)) {
1781   if (isKnownPredicate(CmpInst::ICMP_EQ, SrcConst, DstConst)) {
1803     if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) {
1808     if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) {
1890   if (isKnownPredicate(CmpInst::ICMP_EQ, DstConst, SrcConst)) {
1912     if (isKnownPredicate(CmpInst::ICMP_SGT, NewDelta, Product)) {
1917     if (isKnownPredicate(CmpInst::ICMP_EQ, NewDelta, Product)) {
2138         if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1)) {
2147         if (isKnownPredicate(CmpInst::ICMP_SLT, A2N2, C1_C2)) {
2161         if (isKnownPredicate(CmpInst::ICMP_SGT, C2_C1, A1N1_A2N2)) {
2182         if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1_A2N2, C2_C1)) {
2199         if (isKnownPredicate(CmpInst::ICMP_SGT, A1N1, C2_C1)) {
2208         if (isKnownPredicate(CmpInst::ICMP_SLT, C1_C2, A2N2)) {
2807     if (isKnownPredicate(CmpInst::ICMP_SGT, LowerBound, Delta))
2810     if (isKnownPredicate(CmpInst::ICMP_SGT, Delta, UpperBound))
2845     if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].NegPart, B[K].PosPart))
2848     if (isKnownPredicate(CmpInst::ICMP_EQ, A[K].PosPart, B[K].NegPart))
3243   else if (isKnownPredicate(CmpInst::ICMP_EQ, A, B)) {
3325     if (!isKnownPredicate(CmpInst::ICMP_NE,
3330     if (!isKnownPredicate(CmpInst::ICMP_SLE,
3335     if (!isKnownPredicate(CmpInst::ICMP_SGE,