DataFlowFramework.h File Reference

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

Go to the source code of this file.

Classes
class	mlir::GenericProgramPoint
	Abstract class for generic program points. More...
class	mlir::GenericProgramPointBase< ConcreteT, Value >
	Base class for generic program points based on a concrete program point type and a content key. More...
struct	mlir::ProgramPoint
	Fundamental IR components are supported as first-class program points. 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 program points. More...
struct	llvm::CastInfo< To, mlir::ProgramPoint >
struct	llvm::CastInfo< To, const mlir::ProgramPoint >

Namespaces
	mlir
	Include the generated interface declarations.
	llvm
	Include the generated interface declarations.

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, const AnalysisState &state)
raw_ostream &	mlir::operator<< (raw_ostream &os, ProgramPoint point)