Home
last modified time | relevance | path

Searched refs:DataFlowSolver (Results 1 – 14 of 14) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir/Analysis/
H A DDataFlowFramework.h195 class DataFlowSolver {
306 virtual void onUpdate(DataFlowSolver *solver) const {} in onUpdate()
317 SetVector<DataFlowSolver::WorkItem> dependents;
328 friend class DataFlowSolver; variable
356 explicit DataFlowAnalysis(DataFlowSolver &solver);
432 DataFlowSolver &solver;
435 friend class DataFlowSolver; variable
439 AnalysisT *DataFlowSolver::load(Args &&...args) { in load()
448 StateT *DataFlowSolver::getOrCreateState(PointT point) { in getOrCreateState()
/llvm-project-15.0.7/mlir/lib/Analysis/
H A DDataFlowFramework.cpp65 LogicalResult DataFlowSolver::initializeAndRun(Operation *top) { in initializeAndRun()
97 void DataFlowSolver::propagateIfChanged(AnalysisState *state, in propagateIfChanged()
109 void DataFlowSolver::addDependency(AnalysisState *state, in addDependency()
129 DataFlowAnalysis::DataFlowAnalysis(DataFlowSolver &solver) : solver(solver) {} in DataFlowAnalysis()
/llvm-project-15.0.7/mlir/lib/Dialect/Arithmetic/Transforms/
H A DUnsignedWhenEquivalent.cpp25 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()
/llvm-project-15.0.7/mlir/lib/Transforms/
H A DSCCP.cpp37 static LogicalResult replaceWithConstant(DataFlowSolver &solver, in replaceWithConstant()
62 static void rewrite(DataFlowSolver &solver, MLIRContext *context, in rewrite()
120 DataFlowSolver solver; in runOnOperation()
/llvm-project-15.0.7/mlir/test/lib/Transforms/
H A DTestIntRangeInference.cpp24 static LogicalResult replaceWithConstant(DataFlowSolver &solver, OpBuilder &b, in replaceWithConstant()
50 static void rewrite(DataFlowSolver &solver, MLIRContext *context, in rewrite()
106 DataFlowSolver solver; in runOnOperation()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/DataFlow/
H A DSparseAnalysis.h52 void onUpdate(DataFlowSolver *solver) const override;
205 explicit AbstractSparseDataFlowAnalysis(DataFlowSolver &solver);
277 explicit SparseDataFlowAnalysis(DataFlowSolver &solver) in SparseDataFlowAnalysis()
H A DDeadCodeAnalysis.h59 void onUpdate(DataFlowSolver *solver) const override;
187 explicit DeadCodeAnalysis(DataFlowSolver &solver);
H A DIntegerRangeAnalysis.h66 void onUpdate(DataFlowSolver *solver) const override;
/llvm-project-15.0.7/mlir/test/lib/Analysis/DataFlow/
H A DTestDeadCodeAnalysis.cpp19 static void printAnalysisResults(DataFlowSolver &solver, Operation *op, in printAnalysisResults()
115 DataFlowSolver solver; in runOnOperation()
H A DTestDenseDataFlowAnalysis.cpp229 DataFlowSolver solver; in runOnOperation()
/llvm-project-15.0.7/mlir/lib/Analysis/DataFlow/
H A DSparseAnalysis.cpp20 void AbstractSparseLattice::onUpdate(DataFlowSolver *solver) const { in onUpdate()
32 DataFlowSolver &solver) in AbstractSparseDataFlowAnalysis()
H A DDeadCodeAnalysis.cpp32 void Executable::onUpdate(DataFlowSolver *solver) const { in onUpdate()
99 DeadCodeAnalysis::DeadCodeAnalysis(DataFlowSolver &solver) in DeadCodeAnalysis()
H A DIntegerRangeAnalysis.cpp35 void IntegerValueRangeLattice::onUpdate(DataFlowSolver *solver) const { in onUpdate()
/llvm-project-15.0.7/mlir/test/lib/Analysis/
H A DTestDataFlowFramework.cpp166 DataFlowSolver solver; in runOnOperation()