cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fixup! Implementation of Lengauer-Tarjan algorithm to find dominators

Browse Source
This commit is contained in:
Kamil Śliwak 2023-08-11 19:10:19 +02:00 committed by r0qs
parent 1e2069bdfc
commit f804e8bc00
No known key found for this signature in database
GPG Key ID: 61503DBA6667276C
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
libyul/backends/evm/Dominator.h
View File

@ -40,7 +40,7 @@ class Dominator
{ {
public: public:
Dominator(Vertex _entry, size_t _numVertices): Dominator(Vertex const& _entry, size_t _numVertices):
m_vertex(_numVertices), m_vertex(_numVertices),
m_immediateDominator(lengauerTarjanDominator(_entry, _numVertices)) m_immediateDominator(lengauerTarjanDominator(_entry, _numVertices))
{ {
@ -71,7 +71,7 @@ public:
// through the path from ``_b`` to the entry node. // through the path from ``_b`` to the entry node.
// If ``_a`` is found, then it dominates ``_b`` // If ``_a`` is found, then it dominates ``_b``
// otherwise it doesn't. // otherwise it doesn't.
bool dominates(Vertex _a, Vertex _b) bool dominates(Vertex const& _a, Vertex const& _b)
{ {
size_t aIdx = m_vertexIndex[_a]; size_t aIdx = m_vertexIndex[_a];
size_t bIdx = m_vertexIndex[_b]; size_t bIdx = m_vertexIndex[_b];
@ -93,7 +93,7 @@ public:
// Find all dominators of a node _v // Find all dominators of a node _v
// @note for a vertex ``_v``, the _v’s inclusion in the set of dominators of ``_v`` is implicit. // @note for a vertex ``_v``, the _v’s inclusion in the set of dominators of ``_v`` is implicit.
std::vector<Vertex> dominatorsOf(Vertex _v) std::vector<Vertex> dominatorsOf(Vertex const& _v)
{ {
solAssert(!m_vertex.empty()); solAssert(!m_vertex.empty());
// The entry node always dominates all other nodes // The entry node always dominates all other nodes
@ -141,7 +141,7 @@ public:
} }
} }
std::vector<size_t> lengauerTarjanDominator(Vertex _entry, size_t numVertices) std::vector<size_t> lengauerTarjanDominator(Vertex const& _entry, size_t numVertices)
{ {
solAssert(numVertices > 0); solAssert(numVertices > 0);
// semi(w): The dfs index of the semidominator of ``w``. // semi(w): The dfs index of the semidominator of ``w``.
@ -189,7 +189,7 @@ public:
// The number of vertices reached during the dfs. // The number of vertices reached during the dfs.
// The vertices are indexed based on this number. // The vertices are indexed based on this number.
size_t dfIdx = 0; size_t dfIdx = 0;
auto dfs = [&](Vertex _v, auto _dfs) -> void { auto dfs = [&](Vertex const& _v, auto _dfs) -> void {
if (visited.count(_v)) if (visited.count(_v))
return; return;
visited.insert(_v); visited.insert(_v);
@ -198,7 +198,7 @@ public:
semi[dfIdx] = dfIdx; semi[dfIdx] = dfIdx;
label[dfIdx] = dfIdx; label[dfIdx] = dfIdx;
dfIdx++; dfIdx++;
ForEachSuccessor{}(_v, [&](Vertex w) { ForEachSuccessor{}(_v, [&](Vertex const& w) {
if (semi[dfIdx] == std::numeric_limits<size_t>::max()) if (semi[dfIdx] == std::numeric_limits<size_t>::max())
{ {
parent[dfIdx] = m_vertexIndex[_v]; parent[dfIdx] = m_vertexIndex[_v];