Searched refs:disproven (Results 1 – 2 of 2) sorted by relevance
| /freebsd-13-stable/contrib/llvm-project/llvm/lib/Analysis/ |
| HD | DependenceAnalysis.cpp | 2242 bool disproven; in testSIV() local
2244 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2247 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2250 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, in testSIV()
2252 return disproven || in testSIV()
|
| /freebsd-13-stable/share/dict/ |
| HD | web2 | 55671 disproven
|