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 18:00:38 +02:00 committed by r0qs
parent db5b657bd2
commit 0bf0d1943a
No known key found for this signature in database
GPG Key ID: 61503DBA6667276C
1 changed files with 133 additions and 133 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

266
test/libyul/DominatorTest.cpp
View File

@ -37,7 +37,7 @@ struct ImmediateDominatorTest
} }
}; };
typedef std::pair<std::string, std::string> edge; typedef std::pair<std::string, std::string> Edge;
struct ForEachVertexSuccessorTest { struct ForEachVertexSuccessorTest {
template<typename Callable> template<typename Callable>
@ -61,7 +61,7 @@ class DominatorFixture
protected: protected:
static ImmediateDominatorTest const* generateGraph( static ImmediateDominatorTest const* generateGraph(
std::vector<std::string> _vertices, std::vector<std::string> _vertices,
std::vector<ImmediateDominatorTest::edge> _edges, std::vector<ImmediateDominatorTest::Edge> _edges,
std::vector<size_t> _expectedIdom, std::vector<size_t> _expectedIdom,
std::map<std::string, size_t> _expectedDFSIndices std::map<std::string, size_t> _expectedDFSIndices
) )
@ -89,7 +89,7 @@ BOOST_AUTO_TEST_SUITE(Dominators)
BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture) BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
{ {
typedef ImmediateDominatorTest::edge edge; typedef ImmediateDominatorTest::Edge Edge;
std::vector<ImmediateDominatorTest const*> inputGraph(9); std::vector<ImmediateDominatorTest const*> inputGraph(9);
// A // A
@ -110,15 +110,15 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
inputGraph[0] = generateGraph( inputGraph[0] = generateGraph(
{"A", "B", "C", "D", "E", "F", "G", "H"}, {"A", "B", "C", "D", "E", "F", "G", "H"},
{ {
edge("A", "B"), Edge("A", "B"),
edge("B", "C"), Edge("B", "C"),
edge("B", "D"), Edge("B", "D"),
edge("C", "D"), Edge("C", "D"),
edge("C", "G"), Edge("C", "G"),
edge("D", "E"), Edge("D", "E"),
edge("E", "F"), Edge("E", "F"),
edge("G", "H"), Edge("G", "H"),
edge("H", "F") Edge("H", "F")
}, },
{0, 0, 1, 1, 3, 1, 2, 6}, {0, 0, 1, 1, 3, 1, 2, 6},
{ {
@ -144,16 +144,16 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
inputGraph[1] = generateGraph( inputGraph[1] = generateGraph(
{"A", "B", "C", "D", "E", "F", "G"}, {"A", "B", "C", "D", "E", "F", "G"},
{ {
edge("A", "B"), Edge("A", "B"),
edge("B", "C"), Edge("B", "C"),
edge("C", "G"), Edge("C", "G"),
edge("C", "A"), Edge("C", "A"),
edge("A", "D"), Edge("A", "D"),
edge("D", "E"), Edge("D", "E"),
edge("D", "F"), Edge("D", "F"),
edge("E", "G"), Edge("E", "G"),
edge("F", "G"), Edge("F", "G"),
edge("G", "C") Edge("G", "C")
}, },
{0, 0, 0, 0, 0, 4, 4}, {0, 0, 0, 0, 0, 4, 4},
{ {
@ -191,23 +191,23 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
inputGraph[2] = generateGraph( inputGraph[2] = generateGraph(
{"A", "B", "C", "D", "E", "F", "G", "H", "I"}, {"A", "B", "C", "D", "E", "F", "G", "H", "I"},
{ {
edge("A", "B"), Edge("A", "B"),
edge("A", "C"), Edge("A", "C"),
edge("B", "C"), Edge("B", "C"),
edge("B", "I"), Edge("B", "I"),
edge("B", "E"), Edge("B", "E"),
edge("C", "D"), Edge("C", "D"),
edge("D", "B"), Edge("D", "B"),
edge("E", "H"), Edge("E", "H"),
edge("E", "F"), Edge("E", "F"),
edge("F", "G"), Edge("F", "G"),
edge("F", "C"), Edge("F", "C"),
edge("G", "E"), Edge("G", "E"),
edge("G", "A"), Edge("G", "A"),
edge("G", "D"), Edge("G", "D"),
edge("H", "G"), Edge("H", "G"),
edge("I", "E"), Edge("I", "E"),
edge("I", "H") Edge("I", "H")
}, },
{0, 0, 0, 0, 1, 1, 1, 1, 5}, {0, 0, 0, 0, 1, 1, 1, 1, 5},
{ {
@ -228,27 +228,27 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
inputGraph[3] = generateGraph( inputGraph[3] = generateGraph(
{"R", "A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "L", "K"}, {"R", "A", "B", "C", "D", "E", "F", "G", "H", "I", "J", "L", "K"},
{ {
edge("R", "B"), Edge("R", "B"),
edge("R", "A"), Edge("R", "A"),
edge("R", "C"), Edge("R", "C"),
edge("B", "A"), Edge("B", "A"),
edge("B", "D"), Edge("B", "D"),
edge("B", "E"), Edge("B", "E"),
edge("A", "D"), Edge("A", "D"),
edge("D", "L"), Edge("D", "L"),
edge("L", "H"), Edge("L", "H"),
edge("E", "H"), Edge("E", "H"),
edge("H", "E"), Edge("H", "E"),
edge("H", "K"), Edge("H", "K"),
edge("K", "I"), Edge("K", "I"),
edge("K", "R"), Edge("K", "R"),
edge("C", "F"), Edge("C", "F"),
edge("C", "G"), Edge("C", "G"),
edge("F", "I"), Edge("F", "I"),
edge("G", "I"), Edge("G", "I"),
edge("G", "J"), Edge("G", "J"),
edge("J", "I"), Edge("J", "I"),
edge("I", "K"), Edge("I", "K"),
}, },
{0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 9, 9, 11}, {0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 9, 9, 11},
{ {
@ -274,22 +274,22 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
inputGraph[4] = generateGraph( inputGraph[4] = generateGraph(
{"R", "W", "X1", "X2", "X3", "X4", "X5", "X6", "X7", "Y"}, {"R", "W", "X1", "X2", "X3", "X4", "X5", "X6", "X7", "Y"},
{ {
edge("R", "W"), Edge("R", "W"),
edge("R", "Y"), Edge("R", "Y"),
edge("W", "X1"), Edge("W", "X1"),
edge("Y", "X7"), Edge("Y", "X7"),
edge("X1", "X2"), Edge("X1", "X2"),
edge("X2", "X1"), Edge("X2", "X1"),
edge("X2", "X3"), Edge("X2", "X3"),
edge("X3", "X2"), Edge("X3", "X2"),
edge("X3", "X4"), Edge("X3", "X4"),
edge("X4", "X3"), Edge("X4", "X3"),
edge("X4", "X5"), Edge("X4", "X5"),
edge("X5", "X4"), Edge("X5", "X4"),
edge("X5", "X6"), Edge("X5", "X6"),
edge("X6", "X5"), Edge("X6", "X5"),
edge("X6", "X7"), Edge("X6", "X7"),
edge("X7", "X6") Edge("X7", "X6")
}, },
{0, 0, 0, 0, 0, 0, 0, 0, 0, 0}, {0, 0, 0, 0, 0, 0, 0, 0, 0, 0},
{ {
@ -312,30 +312,30 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
inputGraph[5] = generateGraph( inputGraph[5] = generateGraph(
{"R", "W1", "W2", "W3", "X1", "X2", "X3", "Y1", "Y2", "Y3", "Z1", "Z2", "Z3"}, {"R", "W1", "W2", "W3", "X1", "X2", "X3", "Y1", "Y2", "Y3", "Z1", "Z2", "Z3"},
{ {
edge("R", "W1"), Edge("R", "W1"),
edge("R", "X1"), Edge("R", "X1"),
edge("R", "Z3"), Edge("R", "Z3"),
edge("W1", "W2"), Edge("W1", "W2"),
edge("W2", "W3"), Edge("W2", "W3"),
edge("X1", "X2"), Edge("X1", "X2"),
edge("X2", "X3"), Edge("X2", "X3"),
edge("X3", "Y1"), Edge("X3", "Y1"),
edge("Y1", "W1"), Edge("Y1", "W1"),
edge("Y1", "W2"), Edge("Y1", "W2"),
edge("Y1", "W3"), Edge("Y1", "W3"),
edge("Y1", "Y2"), Edge("Y1", "Y2"),
edge("Y2", "W1"), Edge("Y2", "W1"),
edge("Y2", "W2"), Edge("Y2", "W2"),
edge("Y2", "W3"), Edge("Y2", "W3"),
edge("Y2", "Y3"), Edge("Y2", "Y3"),
edge("Y3", "W1"), Edge("Y3", "W1"),
edge("Y3", "W2"), Edge("Y3", "W2"),
edge("Y3", "W3"), Edge("Y3", "W3"),
edge("Y3", "Z1"), Edge("Y3", "Z1"),
edge("Z1", "Z2"), Edge("Z1", "Z2"),
edge("Z2", "Z1"), Edge("Z2", "Z1"),
edge("Z2", "Z3"), Edge("Z2", "Z3"),
edge("Z3", "Z2") Edge("Z3", "Z2")
}, },
{0, 0, 0, 0, 0, 4, 5, 6, 7, 8, 0, 0, 0}, {0, 0, 0, 0, 0, 4, 5, 6, 7, 8, 0, 0, 0},
{ {
@ -362,21 +362,21 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
inputGraph[6] = generateGraph( inputGraph[6] = generateGraph(
{"R", "X1", "X2", "X3", "Y1", "Y2", "Y3", "Z1", "Z2", "Z3"}, {"R", "X1", "X2", "X3", "Y1", "Y2", "Y3", "Z1", "Z2", "Z3"},
{ {
edge("R", "X1"), Edge("R", "X1"),
edge("R", "Z1"), Edge("R", "Z1"),
edge("X1", "Y1"), Edge("X1", "Y1"),
edge("X1", "X2"), Edge("X1", "X2"),
edge("X2", "X3"), Edge("X2", "X3"),
edge("X2", "Y2"), Edge("X2", "Y2"),
edge("X3", "Y3"), Edge("X3", "Y3"),
edge("Y1", "Z1"), Edge("Y1", "Z1"),
edge("Y1", "Z2"), Edge("Y1", "Z2"),
edge("Z1", "Y1"), Edge("Z1", "Y1"),
edge("Y2", "Z2"), Edge("Y2", "Z2"),
edge("Y2", "Z3"), Edge("Y2", "Z3"),
edge("Z2", "Y2"), Edge("Z2", "Y2"),
edge("Y3", "Z3"), Edge("Y3", "Z3"),
edge("Z3", "Y3") Edge("Z3", "Y3")
}, },
{0, 0, 0, 0, 0, 0, 0, 0, 1, 8}, {0, 0, 0, 0, 0, 0, 0, 0, 1, 8},
{ {
@ -399,15 +399,15 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
inputGraph[7] = generateGraph( inputGraph[7] = generateGraph(
{"R", "W", "X1", "X2", "X3", "Y", "Z"}, {"R", "W", "X1", "X2", "X3", "Y", "Z"},
{ {
edge("R", "W"), Edge("R", "W"),
edge("R", "Y"), Edge("R", "Y"),
edge("W", "X1"), Edge("W", "X1"),
edge("W", "X2"), Edge("W", "X2"),
edge("W", "X3"), Edge("W", "X3"),
edge("Y", "Z"), Edge("Y", "Z"),
edge("Z", "X3"), Edge("Z", "X3"),
edge("X3", "X2"), Edge("X3", "X2"),
edge("X2", "X1") Edge("X2", "X1")
}, },
{0, 0, 0, 0, 0, 0, 5}, {0, 0, 0, 0, 0, 0, 5},
{ {
@ -427,15 +427,15 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator, DominatorFixture)
inputGraph[8] = generateGraph( inputGraph[8] = generateGraph(
{"R", "X1", "X2", "X3", "Y1", "Y2", "Y3"}, {"R", "X1", "X2", "X3", "Y1", "Y2", "Y3"},
{ {
edge("R", "X1"), Edge("R", "X1"),
edge("R", "Y1"), Edge("R", "Y1"),
edge("R", "Y2"), Edge("R", "Y2"),
edge("R", "Y3"), Edge("R", "Y3"),
edge("X1", "X2"), Edge("X1", "X2"),
edge("X2", "X3"), Edge("X2", "X3"),
edge("X3", "Y1"), Edge("X3", "Y1"),
edge("X3", "Y2"), Edge("X3", "Y2"),
edge("X3", "Y3") Edge("X3", "Y3")
}, },
{0, 0, 1, 2, 0, 0, 0}, {0, 0, 1, 2, 0, 0, 0},
{ {