reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2170 if (SrcCoeff == DstCoeff) 2171 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, 2173 else if (SrcCoeff == SE->getNegativeSCEV(DstCoeff)) 2174 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, 2177 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, 2181 symbolicRDIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, CurLoop);