Program point represents a specific location in the execution of a program. More...

#include "mlir/Analysis/DataFlowFramework.h"

Inheritance diagram for mlir::ProgramPoint:

Public Types
using	KeyTy = std::tuple<Block , Block::iterator, Operation >
	The concrete key type used by the storage uniquer.

Public Member Functions
	ProgramPoint (Block *parentBlock, Block::iterator pp)
	Creates a new program point at the given location.
	ProgramPoint (Operation *op)
	Creates a new program point at the given operation.
	ProgramPoint ()
	Create a empty program point.
	ProgramPoint (const ProgramPoint &point)
	Create a new program point from the given program point.
bool	isNull () const
	Returns true if this program point is set.
bool	operator== (const KeyTy &key) const
	Two program points are equal if their block and iterator are equal.
bool	operator== (const ProgramPoint &pp) const
Block *	getBlock () const
	Get the block contains this program point.
Block::iterator	getPoint () const
	Get the the iterator this program point refers to.
Operation *	getOperation () const
	Get the the iterator this program point refers to.
Operation *	getNextOp () const
	Get the next operation of this program point.
Operation *	getPrevOp () const
	Get the previous operation of this program point.
bool	isBlockStart () const
bool	isBlockEnd () const
void	print (raw_ostream &os) const
	Print the program point.

Static Public Member Functions
static ProgramPoint *	construct (StorageUniquer::StorageAllocator &alloc, KeyTy &&key)

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

Detailed Description

Program point represents a specific location in the execution of a program.

A sequence of program points can be combined into a control flow graph.

Definition at line 57 of file DataFlowFramework.h.

Member Typedef Documentation

◆ KeyTy

using mlir::ProgramPoint::KeyTy = std::tuple<Block *, Block::iterator, Operation *>

The concrete key type used by the storage uniquer.

This class is uniqued by its contents.

Definition at line 67 of file DataFlowFramework.h.

Constructor & Destructor Documentation

◆ ProgramPoint() [1/4]

mlir::ProgramPoint::ProgramPoint	(	Block *	parentBlock,
		Block::iterator	pp )

inline

Creates a new program point at the given location.

Definition at line 59 of file DataFlowFramework.h.

Referenced by construct(), operator==(), and ProgramPoint().

◆ ProgramPoint() [2/4]

mlir::ProgramPoint::ProgramPoint ( Operation * op )

inline

Creates a new program point at the given operation.

Definition at line 63 of file DataFlowFramework.h.

◆ ProgramPoint() [3/4]

mlir::ProgramPoint::ProgramPoint ( )

inline

Create a empty program point.

Definition at line 70 of file DataFlowFramework.h.

Referenced by construct().

◆ ProgramPoint() [4/4]

mlir::ProgramPoint::ProgramPoint ( const ProgramPoint & point )

inline

Create a new program point from the given program point.

Definition at line 73 of file DataFlowFramework.h.

References getBlock(), getOperation(), getPoint(), and ProgramPoint().

Member Function Documentation

◆ construct()

ProgramPoint * mlir::ProgramPoint::construct	(	StorageUniquer::StorageAllocator &	alloc,
		KeyTy &&	key )

inlinestatic

Definition at line 77 of file DataFlowFramework.h.

References mlir::StorageUniquer::StorageAllocator::allocate(), ProgramPoint(), and ProgramPoint().

◆ getBlock()

Block * mlir::ProgramPoint::getBlock ( ) const

inline

Get the block contains this program point.

Definition at line 100 of file DataFlowFramework.h.

Referenced by llvm::DenseMapInfo< mlir::ProgramPoint >::getHashValue(), mlir::LatticeAnchor::getLoc(), ProgramPoint(), mlir::dataflow::AbstractDenseBackwardDataFlowAnalysis::visit(), mlir::dataflow::AbstractDenseForwardDataFlowAnalysis::visit(), mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::visit(), and mlir::dataflow::AbstractDenseForwardDataFlowAnalysis::visitRegionBranchOperation().

◆ getNextOp()

Operation * mlir::ProgramPoint::getNextOp ( ) const

inline

Get the next operation of this program point.

Definition at line 109 of file DataFlowFramework.h.

References isBlockEnd().

Referenced by print(), and mlir::dataflow::AbstractDenseBackwardDataFlowAnalysis::visit().

◆ getOperation()

Operation * mlir::ProgramPoint::getOperation ( ) const

inline

Get the the iterator this program point refers to.

Definition at line 106 of file DataFlowFramework.h.

Referenced by ProgramPoint().

◆ getPoint()

Block::iterator mlir::ProgramPoint::getPoint ( ) const

inline

Get the the iterator this program point refers to.

Definition at line 103 of file DataFlowFramework.h.

Referenced by llvm::DenseMapInfo< mlir::ProgramPoint >::getHashValue(), and ProgramPoint().

◆ getPrevOp()

Operation * mlir::ProgramPoint::getPrevOp ( ) const

inline

Get the previous operation of this program point.

Definition at line 121 of file DataFlowFramework.h.

References isBlockStart().

Referenced by mlir::LatticeAnchor::getLoc(), print(), mlir::dataflow::AbstractDenseForwardDataFlowAnalysis::visit(), mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis::visit(), mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::visit(), mlir::dataflow::DeadCodeAnalysis::visit(), and mlir::dataflow::AbstractDenseForwardDataFlowAnalysis::visitRegionBranchOperation().

◆ isBlockEnd()

bool mlir::ProgramPoint::isBlockEnd ( ) const

inline

Definition at line 134 of file DataFlowFramework.h.

Referenced by getNextOp(), print(), and mlir::dataflow::AbstractDenseBackwardDataFlowAnalysis::visit().

◆ isBlockStart()

bool mlir::ProgramPoint::isBlockStart ( ) const

inline

Definition at line 132 of file DataFlowFramework.h.

Referenced by mlir::LatticeAnchor::getLoc(), getPrevOp(), print(), mlir::dataflow::AbstractDenseForwardDataFlowAnalysis::visit(), mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis::visit(), mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::visit(), mlir::dataflow::DeadCodeAnalysis::visit(), and mlir::dataflow::AbstractDenseForwardDataFlowAnalysis::visitRegionBranchOperation().

◆ isNull()

bool mlir::ProgramPoint::isNull ( ) const

inline

Returns true if this program point is set.

Definition at line 87 of file DataFlowFramework.h.

Referenced by print().

◆ operator==() [1/2]

bool mlir::ProgramPoint::operator== ( const KeyTy & key ) const

inline

Two program points are equal if their block and iterator are equal.

Definition at line 90 of file DataFlowFramework.h.

◆ operator==() [2/2]

bool mlir::ProgramPoint::operator== ( const ProgramPoint & pp ) const

inline

Definition at line 95 of file DataFlowFramework.h.

References ProgramPoint().

◆ print()

void ProgramPoint::print ( raw_ostream & os ) const

Print the program point.

Definition at line 60 of file DataFlowFramework.cpp.

References getNextOp(), getPrevOp(), isBlockEnd(), isBlockStart(), and isNull().

Referenced by mlir::operator<<().

The documentation for this struct was generated from the following files:

include/mlir/Analysis/DataFlowFramework.h
lib/Analysis/DataFlowFramework.cpp

Public Types

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ KeyTy

Constructor & Destructor Documentation

◆ ProgramPoint() [1/4]

◆ ProgramPoint() [2/4]

◆ ProgramPoint() [3/4]

◆ ProgramPoint() [4/4]

Member Function Documentation

◆ construct()

◆ getBlock()

◆ getNextOp()

◆ getOperation()

◆ getPoint()

◆ getPrevOp()

◆ isBlockEnd()

◆ isBlockStart()

◆ isNull()

◆ operator==() [1/2]

◆ operator==() [2/2]

◆ print()