jlm::llvm::aa::ModRefSummary Class Reference

Mod/Ref Summary. More...

#include <ModRefSummary.hpp>

Inheritance diagram for jlm::llvm::aa::ModRefSummary:

Public Member Functions
virtual	~ModRefSummary () noexcept=default
virtual const PointsToGraph &	GetPointsToGraph () const noexcept=0
virtual const ModRefSet &	GetSimpleNodeModRef (const rvsdg::SimpleNode &node) const =0
virtual const ModRefSet &	GetGammaEntryModRef (const rvsdg::GammaNode &gamma) const =0
virtual const ModRefSet &	GetGammaExitModRef (const rvsdg::GammaNode &gamma) const =0
virtual const ModRefSet &	GetThetaModRef (const rvsdg::ThetaNode &theta) const =0
virtual const ModRefSet &	GetLambdaEntryModRef (const rvsdg::LambdaNode &lambda) const =0
virtual const ModRefSet &	GetLambdaExitModRef (const rvsdg::LambdaNode &lambda) const =0

Detailed Description

Mod/Ref Summary.

Provides sets of memory nodes that may be referenced or modified in nodes and functions.

Definition at line 143 of file ModRefSummary.hpp.

Constructor & Destructor Documentation

~ModRefSummary()

virtual jlm::llvm::aa::ModRefSummary::~ModRefSummary ( )

virtualdefaultnoexcept

Member Function Documentation

GetGammaEntryModRef()

virtual const ModRefSet & jlm::llvm::aa::ModRefSummary::GetGammaEntryModRef ( const rvsdg::GammaNode &  gamma ) const

pure virtual

Provides the set of memory nodes that should be routed into a given gamma node

Parameters

gamma

the gamma node

Returns

the entry Mod/Ref set for the gamma

Implemented in jlm::llvm::aa::AgnosticModRefSummary, and jlm::llvm::aa::RegionAwareModRefSummary.

GetGammaExitModRef()

virtual const ModRefSet & jlm::llvm::aa::ModRefSummary::GetGammaExitModRef ( const rvsdg::GammaNode &  gamma ) const

pure virtual

Provides the set of memory nodes that should be routed out of a given gamma node

Parameters

gamma

the gamma node

Returns

the exit Mod/Ref set for the gamma

Implemented in jlm::llvm::aa::AgnosticModRefSummary, and jlm::llvm::aa::RegionAwareModRefSummary.

GetLambdaEntryModRef()

virtual const ModRefSet & jlm::llvm::aa::ModRefSummary::GetLambdaEntryModRef ( const rvsdg::LambdaNode &  lambda ) const

pure virtual

Provides the set of memory nodes that are routed in to the given lambda's subregion

Parameters

lambda

the lambda node

Returns

the entry Mod/Ref set for the lambda

Implemented in jlm::llvm::aa::AgnosticModRefSummary, and jlm::llvm::aa::RegionAwareModRefSummary.

GetLambdaExitModRef()

virtual const ModRefSet & jlm::llvm::aa::ModRefSummary::GetLambdaExitModRef ( const rvsdg::LambdaNode &  lambda ) const

pure virtual

Provides the set of memory nodes that are routed out of the given lambda's subregion

Parameters

lambda

the lambda node

Returns

the exit Mod/Ref set for the lambda

Implemented in jlm::llvm::aa::AgnosticModRefSummary, and jlm::llvm::aa::RegionAwareModRefSummary.

GetPointsToGraph()

virtual const PointsToGraph & jlm::llvm::aa::ModRefSummary::GetPointsToGraph ( ) const

pure virtualnoexcept

Implemented in jlm::llvm::aa::AgnosticModRefSummary, and jlm::llvm::aa::RegionAwareModRefSummary.

GetSimpleNodeModRef()

virtual const ModRefSet & jlm::llvm::aa::ModRefSummary::GetSimpleNodeModRef ( const rvsdg::SimpleNode &  node ) const

pure virtual

Provides the ModRefSet containing memory nodes that may be modified or referenced by the given simple node.

The simple node can be any operation that reads from memory, or produces value of memory, e.g.:

• LoadOperation and StoreOperation nodes
• MemCpyOperation nodes
• FreeOperation nodes
• CallOperation nodes, i.e., function calls
• AllocaOperation and MallocOperation nodes, which produce memory states

Parameters

node	the node operating on memory

Returns

the Mod/Ref set of the node.

Implemented in jlm::llvm::aa::AgnosticModRefSummary, and jlm::llvm::aa::RegionAwareModRefSummary.

GetThetaModRef()

virtual const ModRefSet & jlm::llvm::aa::ModRefSummary::GetThetaModRef ( const rvsdg::ThetaNode &  theta ) const

pure virtual

Provides the set of memory nodes that should be routed in and out of a theta node

Parameters

theta

the theta node

Returns

the Mod/Ref set for the theta

Implemented in jlm::llvm::aa::AgnosticModRefSummary, and jlm::llvm::aa::RegionAwareModRefSummary.

---

The documentation for this class was generated from the following file:

• jlm/llvm/opt/alias-analyses/ModRefSummary.hpp