Home
last modified time | relevance | path

Searched refs:solver (Results 1 – 25 of 29) sorted by relevance

12

/llvm-project-15.0.7/mlir/lib/Dialect/Arithmetic/Transforms/
H A DUnsignedWhenEquivalent.cpp26 auto *result = solver.lookupState<IntegerValueRangeLattice>(v); in staticallyNonNegative()
38 auto nonNegativePred = [&solver](Value v) -> bool { in staticallyNonNegative()
39 return succeeded(staticallyNonNegative(solver, v)); in staticallyNonNegative()
56 return succeeded(staticallyNonNegative(solver, v)); in isCmpIConvertable()
113 DataFlowSolver solver; in runOnOperation() local
114 solver.load<DeadCodeAnalysis>(); in runOnOperation()
115 solver.load<IntegerRangeAnalysis>(); in runOnOperation()
116 if (failed(solver.initializeAndRun(op))) in runOnOperation()
124 [&solver](Operation *op) -> Optional<bool> { in runOnOperation()
128 [&solver](CmpIOp op) -> Optional<bool> { in runOnOperation()
[all …]
/llvm-project-15.0.7/mlir/test/lib/Analysis/DataFlow/
H A DTestDeadCodeAnalysis.cpp19 static void printAnalysisResults(DataFlowSolver &solver, Operation *op, in printAnalysisResults() argument
32 auto *live = solver.lookupState<Executable>(&block); in printAnalysisResults()
42 auto *live = solver.lookupState<Executable>( in printAnalysisResults()
43 solver.getProgramPoint<CFGEdge>(pred, &block)); in printAnalysisResults()
52 auto *preds = solver.lookupState<PredecessorState>(&region.front()); in printAnalysisResults()
57 auto *preds = solver.lookupState<PredecessorState>(op); in printAnalysisResults()
115 DataFlowSolver solver; in runOnOperation() local
116 solver.load<DeadCodeAnalysis>(); in runOnOperation()
117 solver.load<ConstantAnalysis>(); in runOnOperation()
118 if (failed(solver.initializeAndRun(op))) in runOnOperation()
[all …]
H A DTestDenseDataFlowAnalysis.cpp229 DataFlowSolver solver; in runOnOperation() local
230 solver.load<DeadCodeAnalysis>(); in runOnOperation()
231 solver.load<SparseConstantPropagation>(); in runOnOperation()
232 solver.load<LastModifiedAnalysis>(); in runOnOperation()
233 solver.load<UnderlyingValueAnalysis>(); in runOnOperation()
234 if (failed(solver.initializeAndRun(op))) in runOnOperation()
245 solver.lookupState<LastModification>(op); in runOnOperation()
250 return solver.lookupState<UnderlyingValueLattice>(value); in runOnOperation()
/llvm-project-15.0.7/mlir/lib/Transforms/
H A DSCCP.cpp37 static LogicalResult replaceWithConstant(DataFlowSolver &solver, in replaceWithConstant() argument
40 auto *lattice = solver.lookupState<Lattice<ConstantValue>>(value); in replaceWithConstant()
62 static void rewrite(DataFlowSolver &solver, MLIRContext *context, in rewrite() argument
86 succeeded(replaceWithConstant(solver, builder, folder, res)); in rewrite()
103 (void)replaceWithConstant(solver, builder, folder, arg); in rewrite()
120 DataFlowSolver solver; in runOnOperation() local
121 solver.load<DeadCodeAnalysis>(); in runOnOperation()
122 solver.load<SparseConstantPropagation>(); in runOnOperation()
123 if (failed(solver.initializeAndRun(op))) in runOnOperation()
125 rewrite(solver, op->getContext(), op->getRegions()); in runOnOperation()
/llvm-project-15.0.7/mlir/test/lib/Transforms/
H A DTestIntRangeInference.cpp24 static LogicalResult replaceWithConstant(DataFlowSolver &solver, OpBuilder &b, in replaceWithConstant() argument
27 solver.lookupState<IntegerValueRangeLattice>(value); in replaceWithConstant()
50 static void rewrite(DataFlowSolver &solver, MLIRContext *context, in rewrite() argument
73 succeeded(replaceWithConstant(solver, builder, folder, res)); in rewrite()
90 (void)replaceWithConstant(solver, builder, folder, arg); in rewrite()
106 DataFlowSolver solver; in runOnOperation() local
107 solver.load<DeadCodeAnalysis>(); in runOnOperation()
108 solver.load<IntegerRangeAnalysis>(); in runOnOperation()
109 if (failed(solver.initializeAndRun(op))) in runOnOperation()
111 rewrite(solver, op->getContext(), op->getRegions()); in runOnOperation()
/llvm-project-15.0.7/mlir/lib/Analysis/
H A DDataFlowFramework.cpp129 DataFlowAnalysis::DataFlowAnalysis(DataFlowSolver &solver) : solver(solver) {} in DataFlowAnalysis() argument
132 solver.addDependency(state, this, point); in addDependency()
137 solver.propagateIfChanged(state, changed); in propagateIfChanged()
/llvm-project-15.0.7/llvm/test/Transforms/FunctionSpecialization/
H A Dfunction-specialization-nothing-todo.ll4 ; The purpose of this test is to check that we don't run the solver as there's
7 ; intrinsics that are introduced by the solver are cleaned up if we bail
15 ; Then, make sure the solver didn't run:
17 ; CHECK-NOT: Running solver
/llvm-project-15.0.7/mlir/include/mlir/Analysis/
H A DDataFlowFramework.h306 virtual void onUpdate(DataFlowSolver *solver) const {} in onUpdate() argument
356 explicit DataFlowAnalysis(DataFlowSolver &solver);
398 solver.uniquer.registerParametricStorageType<PointT>(); in registerPointKind()
404 return solver.getProgramPoint<PointT>(std::forward<Args>(args)...); in getProgramPoint()
412 return solver.getOrCreateState<StateT>(point); in getOrCreate()
432 DataFlowSolver &solver;
/llvm-project-15.0.7/mlir/test/lib/Analysis/
H A DTestDataFlowFramework.cpp166 DataFlowSolver solver; in runOnOperation() local
167 solver.load<FooAnalysis>(); in runOnOperation()
168 if (failed(solver.initializeAndRun(func))) in runOnOperation()
178 const FooState *state = solver.lookupState<FooState>(op); in runOnOperation()
/llvm-project-15.0.7/mlir/lib/Analysis/DataFlow/
H A DIntegerRangeAnalysis.cpp35 void IntegerValueRangeLattice::onUpdate(DataFlowSolver *solver) const { in onUpdate()
36 Lattice::onUpdate(solver); in onUpdate()
42 auto *cv = solver->getOrCreateState<Lattice<ConstantValue>>(value); in onUpdate()
44 return solver->propagateIfChanged(cv, cv->markPessimisticFixpoint()); in onUpdate()
51 solver->propagateIfChanged( in onUpdate()
H A DDeadCodeAnalysis.cpp32 void Executable::onUpdate(DataFlowSolver *solver) const { in onUpdate()
36 solver->enqueue({block, analysis}); in onUpdate()
40 solver->enqueue({&op, analysis}); in onUpdate()
45 solver->enqueue({edge->getTo(), analysis}); in onUpdate()
99 DeadCodeAnalysis::DeadCodeAnalysis(DataFlowSolver &solver) in DeadCodeAnalysis() argument
100 : DataFlowAnalysis(solver) { in DeadCodeAnalysis()
H A DSparseAnalysis.cpp20 void AbstractSparseLattice::onUpdate(DataFlowSolver *solver) const { in onUpdate()
24 solver->enqueue({user, analysis}); in onUpdate()
32 DataFlowSolver &solver) in AbstractSparseDataFlowAnalysis() argument
33 : DataFlowAnalysis(solver) { in AbstractSparseDataFlowAnalysis()
/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() argument
278 : AbstractSparseDataFlowAnalysis(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/libc/benchmarks/automemcpy/include/automemcpy/
H A DRandomFunctionGenerator.h47 z3::solver Solver;
/llvm-project-15.0.7/mlir/lib/Conversion/PDLToPDLInterp/
H A DPredicateTree.cpp622 OptimalBranching solver(graph, root); in buildPredicateList() local
623 unsigned cost = solver.solve(); in buildPredicateList()
628 bestEdges = solver.preOrderTraversal(roots); in buildPredicateList()
632 OptimalBranching solver(graph, bestRoot); in buildPredicateList() local
633 solver.solve(); in buildPredicateList()
634 bestEdges = solver.preOrderTraversal(roots); in buildPredicateList()
/llvm-project-15.0.7/clang/test/Analysis/
H A Dsolver-sym-simplification-ptr-bool.cl6 // solver where pointer sizes were assumed. Pointer sizes may vary on other
H A DCFContainers.mm162 // TODO: The solver is probably not strong enough here.
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/
H A DAnalyses.def21 ANALYSIS_CONSTRAINTS(Z3Constraints, "z3", "Use Z3 contraint solver",
/llvm-project-15.0.7/clang/docs/analyzer/developer-docs/
H A Dnullability.rst54 …overage with the analyzer. (This can be implemented either in constraint solver or in the checker …
/llvm-project-15.0.7/clang/docs/
H A DDataFlowAnalysisIntro.md374 analysis terminates. For example, it can use a constraint solver to prune
856 One way to check this implication is to use a SAT solver. Without a SAT solver,
/llvm-project-15.0.7/mlir/docs/
H A DQuantization.md219 unique key and made available to future passes of the solver.
H A DShapeInference.md174 performed statically may or may not be supported by an arbitrary solver,
/llvm-project-15.0.7/llvm/
H A DCMakeLists.txt455 set(LLVM_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the Z3 solver.")
458 "Enable Support for the Z3 constraint solver in LLVM."

12