cerc-io/solidity
11
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

Fix variable decl scope issue in DeadCodeEliminator

Browse Source 
FoorLoopInitRewriter needs to be run before DeadCodeEliminator.
This commit is contained in:
mingchuan
2019-04-10 19:00:29 +08:00
parent ef3a18999c
commit d49733dfc3
10 changed files with 24 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/libyul/YulOptimizerTest.cpp
+1
View File
@@ -207,6 +207,7 @@ bool YulOptimizerTest::run(ostream& _stream, string const& _linePrefix, bool con
else if (m_optimizerStep == "deadCodeEliminator")
{
disambiguate();
ForLoopInitRewriter{}(*m_ast);
DeadCodeEliminator{}(*m_ast);
}
else if (m_optimizerStep == "ssaTransform")
test/libyul/yulOptimizerTests/deadCodeEliminator/conditional_break.yul
+1 -1
View File
@@ -17,8 +17,8 @@
// step: deadCodeEliminator
// ----
// {
// let a := 20
// for {
// let a := 20
// }
// lt(a, 40)
// {
test/libyul/yulOptimizerTests/deadCodeEliminator/early_break.yul
+1 -1
View File
@@ -18,8 +18,8 @@
// step: deadCodeEliminator
// ----
// {
// let a := 20
// for {
// let a := 20
// }
// lt(a, 40)
// {
test/libyul/yulOptimizerTests/deadCodeEliminator/early_continue.yul
+1 -1
View File
@@ -18,8 +18,8 @@
// step: deadCodeEliminator
// ----
// {
// let a := 20
// for {
// let a := 20
// }
// lt(a, 40)
// {
test/libyul/yulOptimizerTests/deadCodeEliminator/for_loop_init_decl.yul
+12
View File
@@ -0,0 +1,12 @@
{
for { stop() let i_0 := 0 } lt(i_0,2) { i_0 := add(i_0,1) }
{
let i_1 := i_0
}
}
// ====
// step: deadCodeEliminator
// ----
// {
// stop()
// }
test/libyul/yulOptimizerTests/deadCodeEliminator/normal_break.yul
+1 -1
View File
@@ -16,8 +16,8 @@
// step: deadCodeEliminator
// ----
// {
// let a := 20
// for {
// let a := 20
// }
// lt(a, 40)
// {
test/libyul/yulOptimizerTests/deadCodeEliminator/normal_continue.yul
+1 -1
View File
@@ -16,8 +16,8 @@
// step: deadCodeEliminator
// ----
// {
// let a := 20
// for {
// let a := 20
// }
// lt(a, 40)
// {
test/libyul/yulOptimizerTests/deadCodeEliminator/normal_stop.yul
+1 -1
View File
@@ -20,8 +20,8 @@
// ----
// {
// let b := 20
// let a := 20
// for {
// let a := 20
// }
// lt(a, 40)
// {