Searched refs:disproven (Results 1 - 1 of 1) sorted by relevance
| /freebsd-9.3-release/contrib/llvm/lib/Analysis/ |
| H A D | DependenceAnalysis.cpp | 2058 bool disproven; local
2060 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2063 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop,
2066 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop,
2068 return disproven ||
|
Completed in 96 milliseconds