Lines Matching refs:MIV
23 // coupled RDIV subscripts and lacks a multi-subscript MIV test.
29 // for most arrays, we give up some precision (though the existing MIV tests
836 // and classifies it as either ZIV, SIV, RDIV, MIV, or Nonlinear.
859 return Subscript::MIV;
2169 // Tests the single-subscript MIV pair (Src and Dst) for dependence.
2198 // Tests an MIV subscript pair for dependence.
2397 // Use Banerjee's Inequalities to test an MIV subscript pair.
3334 // 3 [m] [i + j] MIV {1,2,5} {1,2,5} {3}
3374 // SIV, RDIV, or MIV, so check for coupled group
3431 case Subscript::MIV:
3432 DEBUG(dbgs() << ", MIV\n");
3489 // SJ is an MIV subscript that's part of the current coupled group
3511 case Subscript::MIV:
3536 if (Pair[SJ].Classification == Subscript::MIV) {
3537 DEBUG(dbgs() << "MIV test\n");
3542 llvm_unreachable("expected only MIV subscripts at this point");
3727 // SIV, RDIV, or MIV, so check for coupled group
3768 case Subscript::MIV:
3809 // SJ is an MIV subscript that's part of the current coupled group
3825 case Subscript::MIV:
