Searched defs:solver (Results 1 – 12 of 12) sorted by relevance
| /llvm-project-15.0.7/mlir/lib/Dialect/Arithmetic/Transforms/ |
| H A D | UnsignedWhenEquivalent.cpp | 25 static LogicalResult staticallyNonNegative(DataFlowSolver &solver, Value v) { in staticallyNonNegative()
36 static LogicalResult staticallyNonNegative(DataFlowSolver &solver, in staticallyNonNegative()
48 static LogicalResult isCmpIConvertable(DataFlowSolver &solver, CmpIOp op) { in isCmpIConvertable()
113 DataFlowSolver solver; in runOnOperation() local
|
| /llvm-project-15.0.7/mlir/lib/Transforms/ |
| H A D | SCCP.cpp | 37 static LogicalResult replaceWithConstant(DataFlowSolver &solver, in replaceWithConstant()
62 static void rewrite(DataFlowSolver &solver, MLIRContext *context, in rewrite()
120 DataFlowSolver solver; in runOnOperation() local
|
| /llvm-project-15.0.7/mlir/test/lib/Transforms/ |
| H A D | TestIntRangeInference.cpp | 24 static LogicalResult replaceWithConstant(DataFlowSolver &solver, OpBuilder &b, in replaceWithConstant()
50 static void rewrite(DataFlowSolver &solver, MLIRContext *context, in rewrite()
106 DataFlowSolver solver; in runOnOperation() local
|
| /llvm-project-15.0.7/mlir/test/lib/Analysis/DataFlow/ |
| H A D | TestDeadCodeAnalysis.cpp | 19 static void printAnalysisResults(DataFlowSolver &solver, Operation *op, in printAnalysisResults()
115 DataFlowSolver solver; in runOnOperation() local
|
| H A D | TestDenseDataFlowAnalysis.cpp | 229 DataFlowSolver solver; in runOnOperation() local
|
| /llvm-project-15.0.7/mlir/lib/Analysis/ |
| H A D | DataFlowFramework.cpp | 129 DataFlowAnalysis::DataFlowAnalysis(DataFlowSolver &solver) : solver(solver) {} in DataFlowAnalysis()
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/DataFlow/ |
| H A D | SparseAnalysis.h | 277 explicit SparseDataFlowAnalysis(DataFlowSolver &solver) in SparseDataFlowAnalysis()
|
| /llvm-project-15.0.7/mlir/test/lib/Analysis/ |
| H A D | TestDataFlowFramework.cpp | 166 DataFlowSolver solver; in runOnOperation() local
|
| /llvm-project-15.0.7/mlir/lib/Analysis/DataFlow/ |
| H A D | SparseAnalysis.cpp | 32 DataFlowSolver &solver) in AbstractSparseDataFlowAnalysis()
|
| H A D | DeadCodeAnalysis.cpp | 99 DeadCodeAnalysis::DeadCodeAnalysis(DataFlowSolver &solver) in DeadCodeAnalysis()
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/ |
| H A D | DataFlowFramework.h | 306 virtual void onUpdate(DataFlowSolver *solver) const {} in onUpdate()
|
| /llvm-project-15.0.7/mlir/lib/Conversion/PDLToPDLInterp/ |
| H A D | PredicateTree.cpp | 622 OptimalBranching solver(graph, root); in buildPredicateList() local
632 OptimalBranching solver(graph, bestRoot); in buildPredicateList() local
|