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

Update Yul optimizer tests.

Browse Source
This commit is contained in:
chriseth 2020-01-16 20:27:33 +01:00
parent e7b95de315
commit 23667ce12d
22 changed files with 87 additions and 91 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
test/libyul/yulOptimizerTests/disambiguator/for_statement.yul
View File

@ -7,13 +7,13 @@
}
}
// ====
// step: disambiguator
// dialect: yul
// step: disambiguator
// ----
// {
// { let a:u256, b:u256 }
// { let a, b }
// {
// for { let a_1:u256 } a_1 { a_1 := a_1 }
// { let b_2:u256 := a_1 }
// for { let a_1 } a_1 { a_1 := a_1 }
// { let b_2 := a_1 }
// }
// }

12
test/libyul/yulOptimizerTests/disambiguator/funtion_call.yul
View File

@ -7,17 +7,13 @@
}
}
// ====
// step: disambiguator
// dialect: yul
// step: disambiguator
// ----
// {
// { let a, b, c, d, f }
// {
// let a:u256, b:u256, c:u256, d:u256, f:u256
// }
// {
// function f_1(a_2:u256) -> c_3:u256, d_4:u256
// {
// let b_5:u256, c_1:u256 := f_1(a_2)
// }
// function f_1(a_2) -> c_3, d_4
// { let b_5, c_1 := f_1(a_2) }
// }
// }

4
test/libyul/yulOptimizerTests/disambiguator/if_statement.yul
View File

@ -6,11 +6,11 @@
}
}
// ====
// step: disambiguator
// dialect: yul
// step: disambiguator
// ----
// {
// { let a:u256, b:u256, c:u256 }
// { let a, b, c }
// {
// let a_1:bool
// if a_1 { let b_2:bool := a_1 }

6
test/libyul/yulOptimizerTests/disambiguator/long_names.yul
View File

@ -1,13 +1,13 @@
{ { let aanteuhdaoneudbrgkjiuaothduiathudaoeuh:u256 } { let aanteuhdaoneudbrgkjiuaothduiathudaoeuh:u256 } }
// ====
// step: disambiguator
// dialect: yul
// step: disambiguator
// ----
// {
// {
// let aanteuhdaoneudbrgkjiuaothduiathudaoeuh:u256
// let aanteuhdaoneudbrgkjiuaothduiathudaoeuh
// }
// {
// let aanteuhdaoneudbrgkjiuaothduiathudaoeuh_1:u256
// let aanteuhdaoneudbrgkjiuaothduiathudaoeuh_1
// }
// }

10
test/libyul/yulOptimizerTests/disambiguator/switch_statement.yul
View File

@ -8,15 +8,15 @@
}
}
// ====
// step: disambiguator
// dialect: yul
// step: disambiguator
// ----
// {
// { let a:u256, b:u256, c:u256 }
// { let a, b, c }
// {
// let a_1:u256
// let a_1
// switch a_1
// case 0:u256 { let b_2:u256 := a_1 }
// default { let c_3:u256 := a_1 }
// case 0 { let b_2 := a_1 }
// default { let c_3 := a_1 }
// }
// }

6
test/libyul/yulOptimizerTests/disambiguator/variables.yul
View File

@ -1,9 +1,9 @@
{ { let a:u256 } { let a:u256 } }
// ====
// step: disambiguator
// dialect: yul
// step: disambiguator
// ----
// {
// { let a:u256 }
// { let a_1:u256 }
// { let a }
// { let a_1 }
// }

8
test/libyul/yulOptimizerTests/disambiguator/variables_clash.yul
View File

@ -1,12 +1,12 @@
{ { let a:u256 let a_1:u256 } { let a:u256 } }
// ====
// step: disambiguator
// dialect: yul
// step: disambiguator
// ----
// {
// {
// let a:u256
// let a_1:u256
// let a
// let a_1
// }
// { let a_2:u256 }
// { let a_2 }
// }

14
test/libyul/yulOptimizerTests/disambiguator/variables_inside_functions.yul
View File

@ -6,18 +6,18 @@
}
}
// ====
// step: disambiguator
// dialect: yul
// step: disambiguator
// ----
// {
// {
// let c:u256
// let b:u256
// let c
// let b
// }
// function f(a:u256, c_1:u256) -> b_2:u256
// { let x:u256 }
// function f(a, c_1) -> b_2
// { let x }
// {
// let a_3:u256
// let x_4:u256
// let a_3
// let x_4
// }
// }

8
test/libyul/yulOptimizerTests/expressionInliner/simple.yul
View File

@ -3,11 +3,11 @@
let y:u256 := f()
}
// ====
// step: expressionInliner
// dialect: yul
// step: expressionInliner
// ----
// {
// function f() -> x:u256
// { x := 2:u256 }
// let y:u256 := 2:u256
// function f() -> x
// { x := 2 }
// let y := 2
// }

6
test/libyul/yulOptimizerTests/expressionInliner/with_args.yul
View File

@ -3,11 +3,11 @@
let y:u256 := f(7:u256)
}
// ====
// step: expressionInliner
// dialect: yul
// step: expressionInliner
// ----
// {
// function f(a:u256) -> x:u256
// function f(a) -> x
// { x := a }
// let y:u256 := 7:u256
// let y := 7
// }

6
test/libyul/yulOptimizerTests/functionGrouper/empty_block.yul
View File

@ -1,16 +1,16 @@
{ let a:u256 { } function f() -> x:bool { let b:u256 := 4:u256 {} for {} f() {} {} } }
// ====
// step: functionGrouper
// dialect: yul
// step: functionGrouper
// ----
// {
// {
// let a:u256
// let a
// { }
// }
// function f() -> x:bool
// {
// let b:u256 := 4:u256
// let b := 4
// { }
// for { } f() { }
// { }

12
test/libyul/yulOptimizerTests/functionGrouper/multi_fun_mixed.yul
View File

@ -5,17 +5,17 @@
let e:u256
}
// ====
// step: functionGrouper
// dialect: yul
// step: functionGrouper
// ----
// {
// {
// let a:u256
// let c:u256
// let e:u256
// let a
// let c
// let e
// }
// function f()
// { let b:u256 }
// { let b }
// function g()
// { let d:u256 }
// { let d }
// }

10
test/libyul/yulOptimizerTests/functionGrouper/nested_fun.yul
View File

@ -9,16 +9,16 @@
}
}
// ====
// step: functionGrouper
// dialect: yul
// step: functionGrouper
// ----
// {
// { let a:u256 }
// { let a }
// function f()
// {
// let b:u256
// let b
// function g()
// { let c:u256 }
// let d:u256
// { let c }
// let d
// }
// }

4
test/libyul/yulOptimizerTests/functionGrouper/single_fun.yul
View File

@ -2,11 +2,11 @@
let a:u256 function f() {}
}
// ====
// step: functionGrouper
// dialect: yul
// step: functionGrouper
// ----
// {
// { let a:u256 }
// { let a }
// function f()
// { }
// }

6
test/libyul/yulOptimizerTests/functionHoister/empty_block.yul
View File

@ -8,14 +8,14 @@
}
}
// ====
// step: functionHoister
// dialect: yul
// step: functionHoister
// ----
// {
// let a:u256
// let a
// function f() -> x:bool
// {
// let b:u256 := 4:u256
// let b := 4
// for { } f() { }
// { }
// }

12
test/libyul/yulOptimizerTests/functionHoister/multi_mixed.yul
View File

@ -6,15 +6,15 @@
let e:u256
}
// ====
// step: functionHoister
// dialect: yul
// step: functionHoister
// ----
// {
// let a:u256
// let c:u256
// let e:u256
// let a
// let c
// let e
// function f()
// { let b:u256 }
// { let b }
// function g()
// { let d:u256 }
// { let d }
// }

10
test/libyul/yulOptimizerTests/functionHoister/nested.yul
View File

@ -7,16 +7,16 @@
}
}
// ====
// step: functionHoister
// dialect: yul
// step: functionHoister
// ----
// {
// let a:u256
// let a
// function g()
// { let c:u256 }
// { let c }
// function f()
// {
// let b:u256
// let d:u256
// let b
// let d
// }
// }

4
test/libyul/yulOptimizerTests/functionHoister/single.yul
View File

@ -3,11 +3,11 @@
function f() {}
}
// ====
// step: functionHoister
// dialect: yul
// step: functionHoister
// ----
// {
// let a:u256
// let a
// function f()
// { }
// }

6
test/libyul/yulOptimizerTests/mainFunction/empty_block.yul
View File

@ -8,18 +8,18 @@
}
}
// ====
// step: mainFunction
// dialect: yul
// step: mainFunction
// ----
// {
// function main()
// {
// let a:u256
// let a
// { }
// }
// function f() -> x:bool
// {
// let b:u256 := 4:u256
// let b := 4
// { }
// for { } f() { }
// { }

12
test/libyul/yulOptimizerTests/mainFunction/multi_fun_mixed.yul
View File

@ -6,18 +6,18 @@
let e:u256
}
// ====
// step: mainFunction
// dialect: yul
// step: mainFunction
// ----
// {
// function main()
// {
// let a:u256
// let c:u256
// let e:u256
// let a
// let c
// let e
// }
// function f()
// { let b:u256 }
// { let b }
// function g()
// { let d:u256 }
// { let d }
// }

10
test/libyul/yulOptimizerTests/mainFunction/nested_fun.yul
View File

@ -7,17 +7,17 @@
}
}
// ====
// step: mainFunction
// dialect: yul
// step: mainFunction
// ----
// {
// function main()
// { let a:u256 }
// { let a }
// function f()
// {
// let b:u256
// let b
// function g()
// { let c:u256 }
// let d:u256
// { let c }
// let d
// }
// }

4
test/libyul/yulOptimizerTests/mainFunction/sigle_fun.yul → test/libyul/yulOptimizerTests/mainFunction/single_fun.yul
View File

@ -3,12 +3,12 @@
function f() {}
}
// ====
// step: mainFunction
// dialect: yul
// step: mainFunction
// ----
// {
// function main()
// { let a:u256 }
// { let a }
// function f()
// { }
// }