Home
last modified time | relevance | path

Searched refs:disproven (Results 1 – 1 of 1) sorted by relevance

/external/llvm/lib/Analysis/
DDependenceAnalysis.cpp2089 bool disproven; in testSIV() local
2091 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2094 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2097 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2099 return disproven || in testSIV()