Home
last modified time | relevance | path

Searched defs:solver (Results 1 – 17 of 17) sorted by relevance

/llvm-project/mlir/lib/Dialect/Arith/Transforms/
H A DIntRangeOptimizations.cpp33 getMaybeConstantValue(DataFlowSolver & solver,Value value) getMaybeConstantValue() argument
45 maybeReplaceWithConstant(DataFlowSolver & solver,PatternRewriter & rewriter,Value value) maybeReplaceWithConstant() argument
143 DataFlowSolver &solver; global() member
184 DataFlowSolver &solver; global() member
193 DataFlowSolver solver; runOnOperation() local
214 populateIntRangeOptimizationsPatterns(RewritePatternSet & patterns,DataFlowSolver & solver) populateIntRangeOptimizationsPatterns() argument
[all...]
H A DUnsignedWhenEquivalent.cpp32 staticallyNonNegative(DataFlowSolver & solver,Value v) staticallyNonNegative() argument
43 staticallyNonNegative(DataFlowSolver & solver,Operation * op) staticallyNonNegative() argument
55 isCmpIConvertable(DataFlowSolver & solver,CmpIOp op) isCmpIConvertable() argument
120 DataFlowSolver solver; runOnOperation() local
[all...]
/llvm-project/mlir/lib/Transforms/
H A DSCCP.cpp42 static LogicalResult replaceWithConstant(DataFlowSolver &solver, in replaceWithConstant()
67 static void rewrite(DataFlowSolver &solver, MLIRContext *context, in rewrite()
125 DataFlowSolver solver; in runOnOperation() local
/llvm-project/mlir/test/lib/Analysis/DataFlow/
H A DTestDeadCodeAnalysis.cpp19 static void printAnalysisResults(DataFlowSolver &solver, Operation *op, in printAnalysisResults() argument
114 DataFlowSolver solver; runOnOperation() local
[all...]
H A DTestSparseBackwardDataFlowAnalysis.cpp74 WrittenToAnalysis(DataFlowSolver &solver, SymbolTableCollection &symbolTable, in WrittenToAnalysis() argument
183 DataFlowSolver solver(DataFlowConfig().setInterprocedural(interprocedural)); runOnOperation() local
H A DTestDenseForwardDataFlowAnalysis.cpp53 explicit LastModifiedAnalysis(DataFlowSolver &solver, bool assumeFuncWrites) in LastModifiedAnalysis() argument
221 DataFlowSolver solver(DataFlowConfig().setInterprocedural(interprocedural)); runOnOperation() local
[all...]
H A DTestDenseBackwardDataFlowAnalysis.cpp53 NextAccessAnalysis(DataFlowSolver &solver, SymbolTableCollection &symbolTable, in NextAccessAnalysis() argument
264 DataFlowSolver solver(config); runOnOperation() local
[all...]
/llvm-project/mlir/include/mlir/Analysis/DataFlow/
H A DSparseAnalysis.h275 SparseForwardDataFlowAnalysis(DataFlowSolver & solver) SparseForwardDataFlowAnalysis() argument
471 SparseBackwardDataFlowAnalysis(DataFlowSolver & solver,SymbolTableCollection & symbolTable) SparseBackwardDataFlowAnalysis() argument
H A DDenseAnalysis.h308 AbstractDenseBackwardDataFlowAnalysis(DataFlowSolver & solver,SymbolTableCollection & symbolTable) AbstractDenseBackwardDataFlowAnalysis() argument
/llvm-project/mlir/lib/Analysis/
H A DDataFlowFramework.cpp132 DataFlowAnalysis(DataFlowSolver & solver) DataFlowAnalysis() argument
/llvm-project/mlir/test/lib/Analysis/
H A DTestDataFlowFramework.cpp167 DataFlowSolver solver; runOnOperation() local
/llvm-project/mlir/lib/Analysis/DataFlow/
H A DSparseAnalysis.cpp47 DataFlowSolver &solver) in AbstractSparseForwardDataFlowAnalysis() argument
317 AbstractSparseBackwardDataFlowAnalysis(DataFlowSolver & solver,SymbolTableCollection & symbolTable) AbstractSparseBackwardDataFlowAnalysis() argument
H A DDeadCodeAnalysis.cpp115 DeadCodeAnalysis(DataFlowSolver & solver) DeadCodeAnalysis() argument
/llvm-project/mlir/include/mlir/Analysis/
H A DDataFlowFramework.h349 onUpdate(DataFlowSolver * solver) onUpdate() argument
[all...]
/llvm-project/clang/unittests/Analysis/FlowSensitive/
H A DSolverTest.h337 TypeParam solver = this->createSolverWithLowTimeout(); in TYPED_TEST_P() local
348 TypeParam solver = this->createSolverWithLowTimeout(); in TYPED_TEST_P() local
/llvm-project/mlir/lib/Conversion/PDLToPDLInterp/
H A DPredicateTree.cpp646 OptimalBranching solver(graph, root); in buildPredicateList() local
656 OptimalBranching solver(graph, bestRoot); in buildPredicateList() local
/llvm-project/flang/lib/Optimizer/Transforms/
H A DStackArrays.cpp431 mlir::DataFlowSolver solver; analyseFunction() local