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

Disambiguator tests.

Browse Source
This commit is contained in:
chriseth 2018-10-10 15:15:38 +02:00
parent 4607118d2e
commit 6e32a1becb
9 changed files with 159 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
test/libjulia/yulOptimizerTests/disambiguator/for_statement.yul Normal file
View File

@ -0,0 +1,28 @@
// yul
{
{ let a:u256, b:u256 }
{
for { let a:u256 } a { a := a } {
let b:u256 := a
}
}
}
// ----
// disambiguator
// {
// {
// let a:u256, b:u256
// }
// {
// for {
// let a_1:u256
// }
// a_1
// {
// a_1 := a_1
// }
// {
// let b_1:u256 := a_1
// }
// }
// }

22
test/libjulia/yulOptimizerTests/disambiguator/funtion_call.yul Normal file
View File

@ -0,0 +1,22 @@
// yul
{
{ let a:u256, b:u256, c:u256, d:u256, f:u256 }
{
function f(a:u256) -> c:u256, d:u256 {
let b:u256, c_1:u256 := f(a)
}
}
}
// ----
// disambiguator
// {
// {
// let a:u256, b:u256, c:u256, d:u256, f:u256
// }
// {
// function f_1(a_1:u256) -> c_1:u256, d_1:u256
// {
// let b_1:u256, c_1_1:u256 := f_1(a_1)
// }
// }
// }

22
test/libjulia/yulOptimizerTests/disambiguator/if_statement.yul Normal file
View File

@ -0,0 +1,22 @@
// yul
{
{ let a:u256, b:u256, c:u256 }
{
let a:bool
if a { let b:bool := a }
}
}
// ----
// disambiguator
// {
// {
// let a:u256, b:u256, c:u256
// }
// {
// let a_1:bool
// if a_1
// {
// let b_1:bool := a_1
// }
// }
// }

5
test/libjulia/yulOptimizerTests/disambiguator/smoke.yul Normal file
View File

@ -0,0 +1,5 @@
{ }
// ----
// disambiguator
// {
// }

6
test/libjulia/yulOptimizerTests/disambiguator/smoke_yul.yul Normal file
View File

@ -0,0 +1,6 @@
// yul
{ }
// ----
// disambiguator
// {
// }

27
test/libjulia/yulOptimizerTests/disambiguator/switch_statement.yul Normal file
View File

@ -0,0 +1,27 @@
// yul
{
{ let a:u256, b:u256, c:u256 }
{
let a:u256
switch a
case 0:u256 { let b:u256 := a }
default { let c:u256 := a }
}
}
// ----
// disambiguator
// {
// {
// let a:u256, b:u256, c:u256
// }
// {
// let a_1:u256
// switch a_1
// case 0:u256 {
// let b_1:u256 := a_1
// }
// default {
// let c_1:u256 := a_1
// }
// }
// }

12
test/libjulia/yulOptimizerTests/disambiguator/variables.yul Normal file
View File

@ -0,0 +1,12 @@
// yul
{ { let a:u256 } { let a:u256 } }
// ----
// disambiguator
// {
// {
// let a:u256
// }
// {
// let a_1:u256
// }
// }

13
test/libjulia/yulOptimizerTests/disambiguator/variables_clash.yul Normal file
View File

@ -0,0 +1,13 @@
// yul
{ { let a:u256 let a_1:u256 } { let a:u256 } }
// ----
// disambiguator
// {
// {
// let a:u256
// let a_1:u256
// }
// {
// let a_2:u256
// }
// }

24
test/libjulia/yulOptimizerTests/disambiguator/variables_inside_functions.yul Normal file
View File

@ -0,0 +1,24 @@
// yul
{
{ let c:u256 let b:u256 }
function f(a:u256, c:u256) -> b:u256 { let x:u256 }
{
let a:u256 let x:u256
}
}
// ----
// disambiguator
// {
// {
// let c:u256
// let b:u256
// }
// function f(a:u256, c_1:u256) -> b_1:u256
// {
// let x:u256
// }
// {
// let a_1:u256
// let x_1:u256
// }
// }