Lines Matching refs:exactSIVtest
1354 // exactSIVtest -1369 bool DependenceAnalysis::exactSIVtest(const SCEV *SrcCoeff,2066 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,