Lines Matching refs:weakCrossingSIVtest
1114 // weakCrossingSIVtest -1142 bool DependenceAnalysis::weakCrossingSIVtest(const SCEV *Coeff,2058 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,