lib/Analysis/DependenceAnalysis.cpp

23 // coupled RDIV subscripts and lacks a multi-subscript MIV test.
93 STATISTIC(ExactRDIVapplications, "Exact RDIV applications");
94 STATISTIC(ExactRDIVindependence, "Exact RDIV independence");
95 STATISTIC(SymbolicRDIVapplications, "Symbolic RDIV applications");
96 STATISTIC(SymbolicRDIVindependence, "Symbolic RDIV independence");
841 // and classifies it as either ZIV, SIV, RDIV, MIV, or Nonlinear.
863     return Subscript::RDIV;
1771 // exactRDIVtest - Tests the RDIV subscript pair for dependence.
1785   DEBUG(dbgs() << "\tExact RDIV test\n");
1883 // Extreme-Value Test) that can handle some of the SIV and RDIV cases,
1891 // backup for the RDIV test. Note that i and j can be the same variable,
1929   DEBUG(dbgs() << "\ttry symbolic RDIV test\n");
2101 // of the Exact SIV test, the Restricted Double Index Variable (RDIV) test.
2146       llvm_unreachable("RDIV reached by surprising SCEVs");
2159       llvm_unreachable("RDIV reached by surprising SCEVs");
2162     llvm_unreachable("RDIV expected at least one AddRec");
3398   //    2 [k] [l]         RDIV      {3,4}    {3,4}      {2}
3439       // SIV, RDIV, or MIV, so check for coupled group
3491     case Subscript::RDIV:
3492       DEBUG(dbgs() << ", RDIV\n");
3575               case Subscript::RDIV:
3588         if (Pair[SJ].Classification == Subscript::RDIV) {
3589           DEBUG(dbgs() << "RDIV test\n");
3592           // I don't yet understand how to propagate RDIV results
3798       // SIV, RDIV, or MIV, so check for coupled group
3838     case Subscript::RDIV:
3895               case Subscript::RDIV: