#include <ModRefSummary.hpp>
Inheritance diagram for jlm::llvm::aa::ModRefSet:
Public Member Functions | |
| const std::unordered_map< PointsToGraph::NodeIndex, ModRefEffect > & | getModRefNodes () const |
Protected Member Functions | |
| ModRefSet ()=default | |
| ModRefSet (const ModRefSet &other)=default | |
| ModRefSet (ModRefSet &&other)=default | |
| ModRefSet & | operator= (const ModRefSet &other)=default |
| ModRefSet & | operator= (ModRefSet &&other)=default |
Protected Attributes | |
| std::unordered_map< PointsToGraph::NodeIndex, ModRefEffect > | modRefNodes_ |
Detailed Description
Class that represents the set of memory nodes that may be referenced and/or modified by some operation.
Memory nodes that are marked constant, or memory that is provably never stored to, can be omitted from all ModRefSets.
Memory nodes can also be compressed into the external node. Let A be a memory node. If the following implications hold in every ModRefSet in a function F:
- A is marked "Ref" -> External is marked "Ref"
- A is marked "Mod" -> External is marked "Mod" Then A can be omitted from all ModRefSets in F. Operations on A will still be sequentialized by the state edge representing the external node. Implementations of ModRefSummarizers should create subclasses of this class.
Definition at line 113 of file ModRefSummary.hpp.
Constructor & Destructor Documentation
◆ ModRefSet() [1/3]
|
protecteddefault |
◆ ModRefSet() [2/3]
|
protecteddefault |
◆ ModRefSet() [3/3]
|
protecteddefault |
Member Function Documentation
◆ getModRefNodes()
|
inline |
Definition at line 117 of file ModRefSummary.hpp.
◆ operator=() [1/2]
◆ operator=() [2/2]
Member Data Documentation
◆ modRefNodes_
|
protected |
The set of memory nodes in the ModRefSet, indexed by their index in a points to graph.
Definition at line 136 of file ModRefSummary.hpp.
The documentation for this class was generated from the following file:
- jlm/llvm/opt/alias-analyses/ModRefSummary.hpp
