Lines Matching refs:RDIV
23 // coupled RDIV subscripts and lacks a multi-subscript MIV test.
92 STATISTIC(ExactRDIVapplications, "Exact RDIV applications");
93 STATISTIC(ExactRDIVindependence, "Exact RDIV independence");
94 STATISTIC(SymbolicRDIVapplications, "Symbolic RDIV applications");
95 STATISTIC(SymbolicRDIVindependence, "Symbolic RDIV independence");
836 // and classifies it as either ZIV, SIV, RDIV, MIV, or Nonlinear.
858 return Subscript::RDIV;
1766 // exactRDIVtest - Tests the RDIV subscript pair for dependence.
1780 DEBUG(dbgs() << "\tExact RDIV test\n");
1878 // Extreme-Value Test) that can handle some of the SIV and RDIV cases,
1886 // backup for the RDIV test. Note that i and j can be the same variable,
1924 DEBUG(dbgs() << "\ttry symbolic RDIV test\n");
2096 // of the Exact SIV test, the Restricted Double Index Variable (RDIV) test.
2141 llvm_unreachable("RDIV reached by surprising SCEVs");
2154 llvm_unreachable("RDIV reached by surprising SCEVs");
2157 llvm_unreachable("RDIV expected at least one AddRec");
3338 // 2 [k] [l] RDIV {3,4} {3,4} {2}
3379 // SIV, RDIV, or MIV, so check for coupled group
3431 case Subscript::RDIV:
3432 DEBUG(dbgs() << ", RDIV\n");
3515 case Subscript::RDIV:
3528 if (Pair[SJ].Classification == Subscript::RDIV) {
3529 DEBUG(dbgs() << "RDIV test\n");
3532 // I don't yet understand how to propagate RDIV results
3732 // SIV, RDIV, or MIV, so check for coupled group
3772 case Subscript::RDIV:
3829 case Subscript::RDIV:
