Abstract class for generic lattice anchor. More...

#include "mlir/Analysis/DataFlowFramework.h"

Inheritance diagram for mlir::GenericLatticeAnchor:

Public Member Functions
virtual	~GenericLatticeAnchor ()

TypeID	getTypeID () const
	Get the abstract lattice anchor's type identifier. More...

virtual Location	getLoc () const =0
	Get a derived source location for the lattice anchor. More...

virtual void	print (raw_ostream &os) const =0
	Print the lattice anchor. More...

Protected Member Functions
	GenericLatticeAnchor (TypeID typeID)
	Create an abstract lattice anchor with type identifier. More...

Protected Member Functions inherited from mlir::StorageUniquer::BaseStorage
	BaseStorage ()=default

Detailed Description

Abstract class for generic lattice anchor.

In classical data-flow analysis, lattice anchor represent positions in a program to which lattice elements are attached. In sparse data-flow analysis, these can be SSA values, and in dense data-flow analysis, these are the program points before and after every operation.

Lattice anchor are implemented using MLIR's storage uniquer framework and type ID system to provide RTTI.

Definition at line 166 of file DataFlowFramework.h.

Constructor & Destructor Documentation

◆ ~GenericLatticeAnchor()

GenericLatticeAnchor::~GenericLatticeAnchor ( )

virtualdefault

◆ GenericLatticeAnchor()

mlir::GenericLatticeAnchor::GenericLatticeAnchor ( TypeID typeID )

inlineexplicitprotected

Create an abstract lattice anchor with type identifier.

Definition at line 181 of file DataFlowFramework.h.

Member Function Documentation

◆ getLoc()

virtual Location mlir::GenericLatticeAnchor::getLoc ( ) const

pure virtual

Get a derived source location for the lattice anchor.

Implemented in mlir::dataflow::CFGEdge.

◆ getTypeID()

TypeID mlir::GenericLatticeAnchor::getTypeID ( ) const

inline

Get the abstract lattice anchor's type identifier.

Definition at line 171 of file DataFlowFramework.h.

Referenced by mlir::GenericLatticeAnchorBase< ConcreteT, Value >::classof().

◆ print()

virtual void mlir::GenericLatticeAnchor::print ( raw_ostream & os ) const