Collaboration diagram for jlm::llvm::CommonNodeElimination::Context::CongruenceSet:
Public Member Functions | |
| CongruenceSet (const rvsdg::Output &leader) | |
Public Attributes | |
| const rvsdg::Output * | leader |
| util::HashSet< const rvsdg::Output * > | followers |
Detailed Description
Represents a set of outputs where all outputs in the set are considered identical. One output is the leader, and will eventually become the single source of truth.
When making congruence sets, the following invariants must be satisfied:
- In a congruence set consisting of region arguments, all arguments belong to the same region, and the leader is the argument with the lowest index.
- In a congruence set consisting of node outputs, all nodes belong to the same region. The leader must be the output of the node that comes earliest in the top-down traversal of this region.
Maintaining these invariants ensures that any search for a suitable leader only needs to consider arguments / nodes that have already been visited in the current traversal.
Definition at line 93 of file CommonNodeElimination.cpp.
Constructor & Destructor Documentation
◆ CongruenceSet()
|
inlineexplicit |
Definition at line 95 of file CommonNodeElimination.cpp.
Member Data Documentation
◆ followers
| util::HashSet<const rvsdg::Output *> jlm::llvm::CommonNodeElimination::Context::CongruenceSet::followers |
Definition at line 104 of file CommonNodeElimination.cpp.
◆ leader
| const rvsdg::Output* jlm::llvm::CommonNodeElimination::Context::CongruenceSet::leader |
Definition at line 101 of file CommonNodeElimination.cpp.
The documentation for this struct was generated from the following file:
- jlm/llvm/opt/CommonNodeElimination.cpp
