DataFlowFramework.h File Reference

#include "mlir/IR/Operation.h"
#include "mlir/Support/StorageUniquer.h"
#include "llvm/ADT/Hashing.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/Support/Compiler.h"
#include "llvm/Support/TypeName.h"
#include <queue>
#include <tuple>

Go to the source code of this file.

Classes
struct	mlir::ProgramPoint
	Program point represents a specific location in the execution of a program. More...
class	mlir::GenericLatticeAnchor
	Abstract class for generic lattice anchor. More...
class	mlir::GenericLatticeAnchorBase< ConcreteT, Value >
	Base class for generic lattice anchor based on a concrete lattice anchor type and a content key. More...
struct	mlir::LatticeAnchor
	Fundamental IR components are supported as first-class lattice anchor. More...
class	mlir::DataFlowConfig
	Configuration class for data flow solver and child analyses. More...
class	mlir::DataFlowSolver
	The general data-flow analysis solver. More...
class	mlir::AnalysisState
	Base class for generic analysis states. More...
class	mlir::DataFlowAnalysis
	Base class for all data-flow analyses. More...
struct	llvm::DenseMapInfo< mlir::ProgramPoint >
	Allow hashing of lattice anchors and program points. More...
struct	llvm::DenseMapInfo< mlir::LatticeAnchor >
struct	llvm::CastInfo< To, mlir::LatticeAnchor >
struct	llvm::CastInfo< To, const mlir::LatticeAnchor >

Namespaces
	mlir
	Include the generated interface declarations.
	llvm
	The OpAsmOpInterface, see OpAsmInterface.td for more details.

Enumerations
enum class	mlir::ChangeResult { mlir::NoChange , mlir::Change }
	A result type used to indicate if a change happened. More...

Functions
ChangeResult	mlir::operator| (ChangeResult lhs, ChangeResult rhs)
ChangeResult &	mlir::operator|= (ChangeResult &lhs, ChangeResult rhs)
ChangeResult	mlir::operator& (ChangeResult lhs, ChangeResult rhs)
raw_ostream &	mlir::operator<< (raw_ostream &os, ProgramPoint point)
raw_ostream &	mlir::operator<< (raw_ostream &os, const AnalysisState &state)
raw_ostream &	mlir::operator<< (raw_ostream &os, LatticeAnchor anchor)