NetBSD Cross-Reference & Source Code Search Engine

Home	Sort by: relevance \| last modified time \| path

Full Search

in project(s):

Definition

Symbol

File Path

History

| | Help

Searched defs:disproven (Results 1 - 3 of 3) sorted by relevancy

/src/external/apache2/llvm/dist/llvm/lib/Analysis/
DependenceAnalysis.cpp	`2157 bool disproven; local 2159 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, 2162 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, 2165 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, 2167 return disproven \|\|`
DependenceAnalysis.cpp	`2157 bool disproven; local 2159 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, 2162 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, 2165 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, 2167 return disproven \|\|`
DependenceAnalysis.cpp	`2157 bool disproven; local 2159 disproven = strongSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, 2162 disproven = weakCrossingSIVtest(SrcCoeff, SrcConst, DstConst, CurLoop, 2165 disproven = exactSIVtest(SrcCoeff, DstCoeff, SrcConst, DstConst, CurLoop, 2167 return disproven \|\|`

Completed in 48 milliseconds