Searched refs:disproven (Results 1 – 1 of 1) sorted by relevance
| /external/llvm/lib/Analysis/ |
| D | DependenceAnalysis.cpp | 2076 bool disproven; in testSIV() local
2078 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2081 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2084 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2086 return disproven || in testSIV()
|