MLIR 22.0.0git
Utils.h
Go to the documentation of this file.
1//===-Utils.h - DataFlow utility functions ----------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file defines utility functions for dataflow analyses.
10//
11//===----------------------------------------------------------------------===//
12
13#ifndef MLIR_ANALYSIS_DATAFLOW_UTILS_H
14#define MLIR_ANALYSIS_DATAFLOW_UTILS_H
15
19
20namespace mlir {
21namespace dataflow {
22
23/// Populates a DataFlowSolver with analyses that are required to ensure
24/// user-defined analyses are run properly.
25///
26/// This helper is intended to be an interim fix until a more robust solution
27/// can be implemented in the DataFlow framework directly. Cf.
28/// https://discourse.llvm.org/t/mlir-dead-code-analysis/67568
33
34} // end namespace dataflow
35} // end namespace mlir
36
37#endif // MLIR_ANALYSIS_DATAFLOW_INTEGERANGEANALYSIS_H
The general data-flow analysis solver.
AnalysisT * load(Args &&...args)
Load an analysis into the solver. Return the analysis instance.
Dead code analysis analyzes control-flow, as understood by RegionBranchOpInterface and BranchOpInterf...
This analysis implements sparse constant propagation, which attempts to determine constant-valued res...
void loadBaselineAnalyses(DataFlowSolver &solver)
Populates a DataFlowSolver with analyses that are required to ensure user-defined analyses are run pr...
Definition Utils.h:29
Include the generated interface declarations.