#include "mlir/Analysis/DataFlowFramework.h"
#include "mlir/IR/SymbolTable.h"
#include "llvm/ADT/SmallPtrSet.h"
#include <optional>
Go to the source code of this file.
|
| class | mlir::dataflow::Executable |
| | This is a simple analysis state that represents whether the associated lattice anchor (either a block or a control-flow edge) is live. More...
|
| |
| class | mlir::dataflow::PredecessorState |
| | This analysis state represents a set of live control-flow "predecessors" of a program point (either an operation or a block), which are the last operations along all execution paths that pass through this point. More...
|
| |
| class | mlir::dataflow::CFGEdge |
| | This lattice anchor represents a control-flow edge between a block and one of its successors. More...
|
| |
| class | mlir::dataflow::DeadCodeAnalysis |
| | Dead code analysis analyzes control-flow, as understood by RegionBranchOpInterface and BranchOpInterface, and the callgraph, as understood by CallableOpInterface and CallOpInterface. More...
|
| |
