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 20:32:57 +02:00 committed by r0qs
parent b7ec9d3fdd
commit 88f7073857
No known key found for this signature in database
GPG Key ID: 61503DBA6667276C
1 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
test/libyul/DominatorTest.cpp
View File

@ -133,7 +133,7 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator_1, DominatorFixture)
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,7 +144,7 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator_1, DominatorFixture)
{"E", 4}, {"E", 4},
{"F", 5}, {"F", 5},
{"G", 6}, {"G", 6},
{"H", 7} {"H", 7},
} }
); );
DominatorFinder dominatorFinder(*test->entry, test->numVertices); DominatorFinder dominatorFinder(*test->entry, test->numVertices);
@ -174,7 +174,7 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator_2, DominatorFixture)
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},
{ {
@ -184,7 +184,7 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator_2, DominatorFixture)
{"G", 3}, {"G", 3},
{"D", 4}, {"D", 4},
{"E", 5}, {"E", 5},
{"F", 6} {"F", 6},
} }
); );
DominatorFinder dominatorFinder(*test->entry, test->numVertices); DominatorFinder dominatorFinder(*test->entry, test->numVertices);
@ -234,7 +234,7 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator_3, DominatorFixture)
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},
{ {
@ -246,7 +246,7 @@ BOOST_FIXTURE_TEST_CASE(immediate_dominator_3, DominatorFixture)
{"E", 5}, {"E", 5},
{"H", 6}, {"H", 6},
{"G", 7}, {"G", 7},
{"F", 8} {"F", 8},
} }
); );
DominatorFinder dominatorFinder(*test->entry, test->numVertices); DominatorFinder dominatorFinder(*test->entry, test->numVertices);
@ -297,7 +297,7 @@ BOOST_FIXTURE_TEST_CASE(langauer_tarjan_p122_fig1, DominatorFixture)
{"C", 9}, {"C", 9},
{"F", 10}, {"F", 10},
{"G", 11}, {"G", 11},
{"J", 12} {"J", 12},
} }
); );
DominatorFinder dominatorFinder(*test->entry, test->numVertices); DominatorFinder dominatorFinder(*test->entry, test->numVertices);
@ -328,7 +328,7 @@ BOOST_FIXTURE_TEST_CASE(loukas_georgiadis, DominatorFixture)
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},
{ {
@ -341,7 +341,7 @@ BOOST_FIXTURE_TEST_CASE(loukas_georgiadis, DominatorFixture)
{"X5", 6}, {"X5", 6},
{"X6", 7}, {"X6", 7},
{"X7", 8}, {"X7", 8},
{"Y", 9} {"Y", 9},
} }
); );
DominatorFinder dominatorFinder(*test->entry, test->numVertices); DominatorFinder dominatorFinder(*test->entry, test->numVertices);
@ -380,7 +380,7 @@ BOOST_FIXTURE_TEST_CASE(itworst, DominatorFixture)
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},
{ {
@ -396,7 +396,7 @@ BOOST_FIXTURE_TEST_CASE(itworst, DominatorFixture)
{"Y3", 9}, {"Y3", 9},
{"Z1", 10}, {"Z1", 10},
{"Z2", 11}, {"Z2", 11},
{"Z3", 12} {"Z3", 12},
} }
); );
DominatorFinder dominatorFinder(*test->entry, test->numVertices); DominatorFinder dominatorFinder(*test->entry, test->numVertices);
@ -426,7 +426,7 @@ BOOST_FIXTURE_TEST_CASE(idfsquad, DominatorFixture)
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},
{ {
@ -439,7 +439,7 @@ BOOST_FIXTURE_TEST_CASE(idfsquad, DominatorFixture)
{"Z3", 6}, {"Z3", 6},
{"Y3", 7}, {"Y3", 7},
{"X2", 8}, {"X2", 8},
{"X3", 9} {"X3", 9},
} }
); );
DominatorFinder dominatorFinder(*test->entry, test->numVertices); DominatorFinder dominatorFinder(*test->entry, test->numVertices);
@ -463,7 +463,7 @@ BOOST_FIXTURE_TEST_CASE(ibsfquad, DominatorFixture)
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},
{ {
@ -473,7 +473,7 @@ BOOST_FIXTURE_TEST_CASE(ibsfquad, DominatorFixture)
{"X2", 3}, {"X2", 3},
{"X3", 4}, {"X3", 4},
{"Y", 5}, {"Y", 5},
{"Z", 6} {"Z", 6},
} }
); );
DominatorFinder dominatorFinder(*test->entry, test->numVertices); DominatorFinder dominatorFinder(*test->entry, test->numVertices);
@ -497,7 +497,7 @@ BOOST_FIXTURE_TEST_CASE(sncaworst, DominatorFixture)
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},
{ {