cerc-io/solidity
16
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 17:22:37 +02:00 committed by r0qs
parent 5170f33f53
commit edd4e1c952
No known key found for this signature in database
GPG Key ID: 61503DBA6667276C
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
test/libyul/DominatorTest.cpp
View File

@ -43,7 +43,7 @@ struct ImmediateDominatorTest
template<typename Callable> template<typename Callable>
void operator()(Vertex _v, Callable&& _callable) const void operator()(Vertex _v, Callable&& _callable) const
{ {
for (auto w: _v.successors) for (auto const& w: _v.successors)
_callable(*w); _callable(*w);
} }
}; };
@ -76,7 +76,7 @@ protected:
soltestAssert(_vertices.size() > 0 && _vertices.size() == graph->vertices.size()); soltestAssert(_vertices.size() > 0 && _vertices.size() == graph->vertices.size());
graph->numVertices = _vertices.size(); graph->numVertices = _vertices.size();
for (auto [from, to]: _edges) for (auto const& [from, to]: _edges)
graph->vertices[from]->successors.push_back(graph->vertices[to]); graph->vertices[from]->successors.push_back(graph->vertices[to]);
graph->expectedIdom = _expectedIdom; graph->expectedIdom = _expectedIdom;
@ -456,7 +456,7 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
ImmediateDominatorTest::ForEachVertexSuccessorTest ImmediateDominatorTest::ForEachVertexSuccessorTest
> dominatorFinder(*test->entry, test->numVertices); > dominatorFinder(*test->entry, test->numVertices);
for (auto [v, idx]: dominatorFinder.vertexIndices()) for (auto const&[v, idx]: dominatorFinder.vertexIndices())
BOOST_CHECK(test->expectedDFSIndices.at(v.data) == idx); BOOST_CHECK(test->expectedDFSIndices.at(v.data) == idx);
BOOST_TEST(dominatorFinder.immediateDominators() == test->expectedIdom); BOOST_TEST(dominatorFinder.immediateDominators() == test->expectedIdom);
} }