Searched refs:disproven (Results 1 – 2 of 2) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/llvm/lib/Analysis/ |
| H A D | DependenceAnalysis.cpp | 2157 bool disproven; in testSIV() local
2159 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2162 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2165 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2167 return disproven || in testSIV()
|
| /netbsd-src/share/dict/ |
| H A D | web2 | 55771 disproven
|