Home | History | Annotate | Download | only in Analysis

Lines Matching refs:weakCrossingSIVtest

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