Lines Matching refs:SIV
83 STATISTIC(StrongSIVapplications, "Strong SIV applications");
84 STATISTIC(StrongSIVsuccesses, "Strong SIV successes");
85 STATISTIC(StrongSIVindependence, "Strong SIV independence");
86 STATISTIC(WeakCrossingSIVapplications, "Weak-Crossing SIV applications");
87 STATISTIC(WeakCrossingSIVsuccesses, "Weak-Crossing SIV successes");
88 STATISTIC(WeakCrossingSIVindependence, "Weak-Crossing SIV independence");
89 STATISTIC(ExactSIVapplications, "Exact SIV applications");
90 STATISTIC(ExactSIVsuccesses, "Exact SIV successes");
91 STATISTIC(ExactSIVindependence, "Exact SIV independence");
92 STATISTIC(WeakZeroSIVapplications, "Weak-Zero SIV applications");
93 STATISTIC(WeakZeroSIVsuccesses, "Weak-Zero SIV successes");
94 STATISTIC(WeakZeroSIVindependence, "Weak-Zero SIV independence");
908 // and classifies it as either ZIV, SIV, RDIV, MIV, or Nonlinear.
926 return Subscript::SIV;
1055 // and a is a constant, we can solve it exactly using the Strong SIV test.
1084 DEBUG(dbgs() << "\tStrong SIV test\n");
1194 // Weak-Crossing SIV test.
1224 DEBUG(dbgs() << "\tWeak-Crossing SIV test\n");
1431 // It's slower than the specialized tests (strong SIV, weak-zero SIV, etc),
1433 // in the case of the strong SIV test, can compute Distances.
1444 DEBUG(dbgs() << "\tExact SIV test\n");
1623 // Weak-Zero SIV test.
1658 DEBUG(dbgs() << "\tWeak-Zero (src) SIV test\n");
1734 // Weak-Zero SIV test.
1768 DEBUG(dbgs() << "\tWeak-Zero (dst) SIV test\n");
1950 // Extreme-Value Test) that can handle some of the SIV and RDIV cases,
1959 // letting this test serve as a backup for the various SIV tests.
2101 // a2 are constant, we attack it with an SIV test. While they can all be
2102 // solved with the Exact SIV test, it's worthwhile to use simpler tests when
2123 "both loops in SIV should be same");
2159 llvm_unreachable("SIV test expected at least one AddRec");
2168 // of the Exact SIV test, the Restricted Double Index Variable (RDIV) test.
2170 // so there's no point in making special versions of the Strong SIV test or
2171 // the Weak-crossing SIV test.
2281 // also makes this test a useful backup to the various SIV tests.
3311 // a multi-subscript SIV dependence test that is easier to compute. So we
3494 // We've already classified each subscript pair as ZIV, SIV, etc.,
3500 // 0 [i] [0] SIV {1} {1} {0}
3501 // 1 [j] [j] SIV {2} {2} {1}
3542 // SIV, RDIV, or MIV, so check for coupled group
3585 case Subscript::SIV: {
3586 DEBUG(dbgs() << ", SIV\n");
3625 if (Pair[SJ].Classification == Subscript::SIV)
3636 DEBUG(dbgs() << "testing subscript " << SJ << ", SIV\n");
3637 // SJ is an SIV subscript that's part of the current coupled group
3640 DEBUG(dbgs() << "SIV\n");
3677 case Subscript::SIV:
3770 // during the Weak-Crossing SIV test, we re-compute it on demand.
3800 // found by the weak-crossing SIV test. The dependence will have a flag,
3904 // SIV, RDIV, or MIV, so check for coupled group
3932 case Subscript::SIV: {
3963 if (Pair[SJ].Classification == Subscript::SIV)
3971 // SJ is an SIV subscript that's part of the current coupled group
3997 case Subscript::SIV:
