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 tests.

Browse Source
This commit is contained in:
Daniel Kirchner 2021-11-09 13:25:25 +01:00
parent f2d9a806e0
commit 10618188dd
159 changed files with 893 additions and 638 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
test/libyul/yulOptimizerTests/blockFlattener/basic.yul
View File

@ -1,21 +1,25 @@
{
let _1 := mload(0)
let f_a := mload(1)
let f_r
{
f_a := mload(f_a)
f_r := add(f_a, calldatasize())
let _1 := mload(0)
let f_a := mload(1)
let f_r
{
f_a := mload(f_a)
f_r := add(f_a, calldatasize())
}
let z := mload(2)
}
let z := mload(2)
}
// ----
// step: blockFlattener
//
// {
// let _1 := mload(0)
// let f_a := mload(1)
// let f_r
// f_a := mload(f_a)
// f_r := add(f_a, calldatasize())
// let z := mload(2)
// {
// let _1 := mload(0)
// let f_a := mload(1)
// let f_r
// f_a := mload(f_a)
// f_r := add(f_a, calldatasize())
// let z := mload(2)
// }
// }

12
test/libyul/yulOptimizerTests/blockFlattener/for_stmt.yul
View File

@ -1,12 +1,16 @@
{
for { let a := 1 } iszero(eq(a, 10)) { a := add(a, 1) } {
a := add(a, 1)
{
for { let a := 1 } iszero(eq(a, 10)) { a := add(a, 1) } {
a := add(a, 1)
}
}
}
// ----
// step: blockFlattener
//
// {
// for { let a := 1 } iszero(eq(a, 10)) { a := add(a, 1) }
// { a := add(a, 1) }
// {
// for { let a := 1 } iszero(eq(a, 10)) { a := add(a, 1) }
// { a := add(a, 1) }
// }
// }

24
test/libyul/yulOptimizerTests/blockFlattener/if_stmt.yul
View File

@ -1,21 +1,25 @@
{
if add(mload(7), sload(mload(3)))
{
let y := add(mload(3), 3)
{
y := add(y, 7)
}
if add(mload(7), sload(mload(3)))
{
let y := add(mload(3), 3)
{
y := add(y, 7)
}
}
let t := add(3, 9)
}
let t := add(3, 9)
}
// ----
// step: blockFlattener
//
// {
// if add(mload(7), sload(mload(3)))
// {
// let y := add(mload(3), 3)
// y := add(y, 7)
// if add(mload(7), sload(mload(3)))
// {
// let y := add(mload(3), 3)
// y := add(y, 7)
// }
// let t := add(3, 9)
// }
// let t := add(3, 9)
// }

38
test/libyul/yulOptimizerTests/blockFlattener/many_nested_blocks.yul
View File

@ -1,29 +1,33 @@
{
let a := 3
let b := 4
{
a := add(b, 3)
let c := 5
let a := 3
let b := 4
{
b := add(b, 4)
a := add(b, 3)
let c := 5
{
c := add(a, 5)
}
b := add(a, b)
b := add(b, 4)
{
c := add(a, 5)
}
b := add(a, b)
}
a := add(a, c)
}
a := add(a, c)
}
}
// ----
// step: blockFlattener
//
// {
// let a := 3
// let b := 4
// a := add(b, 3)
// let c := 5
// b := add(b, 4)
// c := add(a, 5)
// b := add(a, b)
// a := add(a, c)
// {
// let a := 3
// let b := 4
// a := add(b, 3)
// let c := 5
// b := add(b, 4)
// c := add(a, 5)
// b := add(a, b)
// a := add(a, c)
// }
// }

24
test/libyul/yulOptimizerTests/blockFlattener/switch_stmt.yul
View File

@ -1,23 +1,27 @@
{
{
let a := 1
switch calldataload(0)
case 0 { { { mstore(0, 1) } } a := 8 }
default { a := 3 { a := 4 } }
a := 5
}
}
// ----
// step: blockFlattener
//
// {
// let a := 1
// switch calldataload(0)
// case 0 {
// mstore(0, 1)
// a := 8
// {
// let a := 1
// switch calldataload(0)
// case 0 {
// mstore(0, 1)
// a := 8
// }
// default {
// a := 3
// a := 4
// }
// a := 5
// }
// default {
// a := 3
// a := 4
// }
// a := 5
// }

6
test/libyul/yulOptimizerTests/circularReferencesPruner/called_from_non_function.yul
View File

@ -9,8 +9,10 @@
// step: circularReferencesPruner
//
// {
// let a
// a := h()
// {
// let a
// a := h()
// }
// function f() -> x
// { x := g() }
// function g() -> y

2
test/libyul/yulOptimizerTests/circularReferencesPruner/nested_different_names.yul
View File

@ -11,4 +11,4 @@
// ----
// step: circularReferencesPruner
//
// { }
// { { } }

2
test/libyul/yulOptimizerTests/circularReferencesPruner/nested_same_name.yul
View File

@ -11,4 +11,4 @@
// ----
// step: circularReferencesPruner
//
// { }
// { { } }

2
test/libyul/yulOptimizerTests/circularReferencesPruner/trivial.yul
View File

@ -5,4 +5,4 @@
// ----
// step: circularReferencesPruner
//
// { }
// { { } }

6
test/libyul/yulOptimizerTests/expressionJoiner/if_condition.yul
View File

@ -14,6 +14,8 @@
// step: expressionJoiner
//
// {
// if add(mload(7), sload(mload(3))) { let y := add(mload(3), 3) }
// let t := add(3, 9)
// {
// if add(mload(7), sload(mload(3))) { let y := add(mload(3), 3) }
// let t := add(3, 9)
// }
// }

8
test/libyul/yulOptimizerTests/expressionJoiner/muli_wrong_order3.yul
View File

@ -8,7 +8,9 @@
// step: expressionJoiner
//
// {
// let a := mload(3)
// let b := mload(6)
// sstore(mul(add(b, a), mload(2)), 3)
// {
// let a := mload(3)
// let b := mload(6)
// sstore(mul(add(b, a), mload(2)), 3)
// }
// }

4
test/libyul/yulOptimizerTests/expressionJoiner/multi.yul
View File

@ -8,5 +8,7 @@
// step: expressionJoiner
//
// {
// sstore(mul(add(mload(6), mload(2)), 2), 3)
// {
// sstore(mul(add(mload(6), mload(2)), 2), 3)
// }
// }

6
test/libyul/yulOptimizerTests/expressionJoiner/multi_reference.yul
View File

@ -7,6 +7,8 @@
// step: expressionJoiner
//
// {
// let a := mload(2)
// let b := add(a, a)
// {
// let a := mload(2)
// let b := add(a, a)
// }
// }

6
test/libyul/yulOptimizerTests/expressionJoiner/multi_wrong_order.yul
View File

@ -11,6 +11,8 @@
// step: expressionJoiner
//
// {
// let a := mload(2)
// sstore(mul(a, add(2, mload(6))), 3)
// {
// let a := mload(2)
// sstore(mul(a, add(2, mload(6))), 3)
// }
// }

6
test/libyul/yulOptimizerTests/expressionJoiner/multi_wrong_order2.yul
View File

@ -8,6 +8,8 @@
// step: expressionJoiner
//
// {
// let a := mload(2)
// sstore(mul(add(a, mload(6)), 2), 3)
// {
// let a := mload(2)
// sstore(mul(add(a, mload(6)), 2), 3)
// }
// }

6
test/libyul/yulOptimizerTests/expressionJoiner/no_replacement_across_blocks.yul
View File

@ -15,6 +15,8 @@
// step: expressionJoiner
//
// {
// let x := calldataload(mload(2))
// sstore(x, 3)
// {
// let x := calldataload(mload(2))
// sstore(x, 3)
// }
// }

6
test/libyul/yulOptimizerTests/expressionJoiner/no_replacement_in_loop_condition1.yul
View File

@ -5,6 +5,8 @@
// step: expressionJoiner
//
// {
// for { let b := mload(1) } b { }
// { }
// {
// for { let b := mload(1) } b { }
// { }
// }
// }

8
test/libyul/yulOptimizerTests/expressionJoiner/no_replacement_in_loop_condition2.yul
View File

@ -6,7 +6,9 @@
// step: expressionJoiner
//
// {
// let a := mload(0)
// for { } a { }
// { }
// {
// let a := mload(0)
// for { } a { }
// { }
// }
// }

1
test/libyul/yulOptimizerTests/expressionJoiner/only_assignment.yul
View File

@ -9,6 +9,7 @@
// step: expressionJoiner
//
// {
// { }
// function f(a) -> x
// {
// a := mload(2)

8
test/libyul/yulOptimizerTests/expressionJoiner/reassignment.yul
View File

@ -8,7 +8,9 @@
// step: expressionJoiner
//
// {
// let a := mload(2)
// let b := mload(a)
// a := 4
// {
// let a := mload(2)
// let b := mload(a)
// a := 4
// }
// }

4
test/libyul/yulOptimizerTests/expressionJoiner/simple.yul
View File

@ -7,5 +7,7 @@
// step: expressionJoiner
//
// {
// sstore(calldataload(mload(2)), 3)
// {
// sstore(calldataload(mload(2)), 3)
// }
// }

6
test/libyul/yulOptimizerTests/expressionJoiner/single_wrong_order.yul
View File

@ -9,6 +9,8 @@
// step: expressionJoiner
//
// {
// let b := sload(mload(3))
// sstore(add(b, mload(7)), 0)
// {
// let b := sload(mload(3))
// sstore(add(b, mload(7)), 0)
// }
// }

2
test/libyul/yulOptimizerTests/expressionJoiner/smoke.yul
View File

@ -2,4 +2,4 @@
// ----
// step: expressionJoiner
//
// { }
// { { } }

10
test/libyul/yulOptimizerTests/expressionJoiner/switch_expression.yul
View File

@ -18,8 +18,10 @@
// step: expressionJoiner
//
// {
// switch add(mload(7), sload(mload(3)))
// case 3 { let y := add(mload(3), 3) }
// default { sstore(1, 0) }
// let t := add(3, 9)
// {
// switch add(mload(7), sload(mload(3)))
// case 3 { let y := add(mload(3), 3) }
// default { sstore(1, 0) }
// let t := add(3, 9)
// }
// }

4
test/libyul/yulOptimizerTests/expressionJoiner/triple.yul
View File

@ -9,5 +9,7 @@
// step: expressionJoiner
//
// {
// sstore(mul(add(mload(7), mload(6)), mload(2)), 3)
// {
// sstore(mul(add(mload(7), mload(6)), mload(2)), 3)
// }
// }

6
test/libyul/yulOptimizerTests/expressionSimplifier/assigned_vars_multi.yul
View File

@ -8,8 +8,10 @@
// step: expressionSimplifier
//
// {
// let c, d := f()
// sstore(add(add(d, c), 7), 20)
// {
// let c, d := f()
// sstore(add(add(d, c), 7), 20)
// }
// function f() -> x, z
// { }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/byte_after_shr_non_mul_of_8.yul
View File

@ -6,4 +6,4 @@
// ----
// step: expressionSimplifier
//
// { sstore(0, 0) }
// { { sstore(0, 0) } }

8
test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and.yul
View File

@ -13,7 +13,9 @@
// step: expressionSimplifier
//
// {
// let x := calldataload(0)
// let a := and(0xff, and(shr(248, x), 255))
// sstore(a, shr(12, and(shl(8, x), 15790080)))
// {
// let x := calldataload(0)
// let a := and(0xff, and(shr(248, x), 255))
// sstore(a, shr(12, and(shl(8, x), 15790080)))
// }
// }

44
test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and_2.yul
View File

@ -24,25 +24,27 @@
// step: expressionSimplifier
//
// {
// let x := calldataload(0)
// let _2 := 0xf
// let _5 := and(shr(248, x), 0)
// let _10 := 0xff
// let a := and(_5, 255)
// let _14 := and(shr(4, x), 3855)
// let _15 := 12
// let b := shl(_15, _14)
// let _19 := and(shr(4, x), 3855)
// let c := shl(_15, _19)
// let d := shl(_15, and(shr(255, x), 0))
// let e := shl(_10, _19)
// let f := 0
// let g := 0
// sstore(10, a)
// sstore(11, b)
// sstore(_15, c)
// sstore(13, d)
// sstore(14, e)
// sstore(_2, f)
// sstore(16, g)
// {
// let x := calldataload(0)
// let _2 := 0xf
// let _5 := and(shr(248, x), 0)
// let _10 := 0xff
// let a := and(_5, 255)
// let _14 := and(shr(4, x), 3855)
// let _15 := 12
// let b := shl(_15, _14)
// let _19 := and(shr(4, x), 3855)
// let c := shl(_15, _19)
// let d := shl(_15, and(shr(255, x), 0))
// let e := shl(_10, _19)
// let f := 0
// let g := 0
// sstore(10, a)
// sstore(11, b)
// sstore(_15, c)
// sstore(13, d)
// sstore(14, e)
// sstore(_2, f)
// sstore(16, g)
// }
// }

28
test/libyul/yulOptimizerTests/expressionSimplifier/combine_shift_and_and_3.yul
View File

@ -21,17 +21,19 @@
// step: expressionSimplifier
//
// {
// let x := calldataload(0)
// let a := and(shl(8, x), 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff000)
// let b := and(shr(8, x), 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0)
// let c := and(shr(8, x), 0x0fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
// let d := and(shl(8, x), 0x0fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00)
// let _14 := 150
// let e := shl(_14, and(shl(148, x), 0x3ffffffffffffffffffffffffff0000000000000000000000000000000000000))
// sstore(15, x)
// sstore(16, a)
// sstore(17, b)
// sstore(18, c)
// sstore(19, d)
// sstore(20, e)
// {
// let x := calldataload(0)
// let a := and(shl(8, x), 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff000)
// let b := and(shr(8, x), 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff0)
// let c := and(shr(8, x), 0x0fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
// let d := and(shl(8, x), 0x0fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00)
// let _14 := 150
// let e := shl(_14, and(shl(148, x), 0x3ffffffffffffffffffffffffff0000000000000000000000000000000000000))
// sstore(15, x)
// sstore(16, a)
// sstore(17, b)
// sstore(18, c)
// sstore(19, d)
// sstore(20, e)
// }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/constant_propagation.yul
View File

@ -5,4 +5,4 @@
// ----
// step: expressionSimplifier
//
// { mstore(20, mload(0)) }
// { { mstore(20, mload(0)) } }

2
test/libyul/yulOptimizerTests/expressionSimplifier/constants.yul
View File

@ -5,4 +5,4 @@
// ----
// step: expressionSimplifier
//
// { sstore(7, 13) }
// { { sstore(7, 13) } }

12
test/libyul/yulOptimizerTests/expressionSimplifier/create2_and_mask.yul
View File

@ -12,9 +12,11 @@
// step: expressionSimplifier
//
// {
// let _1 := 0xffffffffffffffffffffffffffffffffffffffff
// let _2 := 0
// let _3 := 0x20
// let a := and(create2(_2, _2, _3, _2), _1)
// sstore(a, and(_1, create2(_2, _2, _3, _2)))
// {
// let _1 := 0xffffffffffffffffffffffffffffffffffffffff
// let _2 := 0
// let _3 := 0x20
// let a := and(create2(_2, _2, _3, _2), _1)
// sstore(a, and(_1, create2(_2, _2, _3, _2)))
// }
// }

14
test/libyul/yulOptimizerTests/expressionSimplifier/create_and_mask.yul
View File

@ -11,10 +11,12 @@
// step: expressionSimplifier
//
// {
// let _1 := 0x20
// let _2 := 0
// let c := create(_2, _2, _1)
// let _4 := 0xffffffffffffffffffffffffffffffffffffffff
// let a := and(c, _4)
// sstore(a, and(_4, create(_2, _2, _1)))
// {
// let _1 := 0x20
// let _2 := 0
// let c := create(_2, _2, _1)
// let _4 := 0xffffffffffffffffffffffffffffffffffffffff
// let a := and(c, _4)
// sstore(a, and(_4, create(_2, _2, _1)))
// }
// }

18
test/libyul/yulOptimizerTests/expressionSimplifier/exp_simplifications.yul
View File

@ -13,12 +13,14 @@
// step: expressionSimplifier
//
// {
// let _1 := 0
// let t := calldataload(_1)
// sstore(_1, iszero(t))
// sstore(1, 1)
// let _8 := 2
// sstore(_8, shl(t, 1))
// sstore(3, exp(8, t))
// sstore(4, sub(iszero(and(t, 1)), and(t, 1)))
// {
// let _1 := 0
// let t := calldataload(_1)
// sstore(_1, iszero(t))
// sstore(1, 1)
// let _8 := 2
// sstore(_8, shl(t, 1))
// sstore(3, exp(8, t))
// sstore(4, sub(iszero(and(t, 1)), and(t, 1)))
// }
// }

10
test/libyul/yulOptimizerTests/expressionSimplifier/idempotency.yul
View File

@ -9,8 +9,10 @@
// step: expressionSimplifier
//
// {
// let x := calldataload(0)
// let z := calldataload(1)
// let t := and(x, z)
// sstore(t, or(x, z))
// {
// let x := calldataload(0)
// let z := calldataload(1)
// let t := and(x, z)
// sstore(t, or(x, z))
// }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/identity_rules_complex.yul
View File

@ -5,4 +5,4 @@
// ----
// step: expressionSimplifier
//
// { sstore(0, 0) }
// { { sstore(0, 0) } }

6
test/libyul/yulOptimizerTests/expressionSimplifier/identity_rules_negative.yul
View File

@ -6,6 +6,8 @@
// step: expressionSimplifier
//
// {
// let _1 := 0
// sstore(_1, sub(calldataload(1), calldataload(_1)))
// {
// let _1 := 0
// sstore(_1, sub(calldataload(1), calldataload(_1)))
// }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/identity_rules_simple.yul
View File

@ -6,4 +6,4 @@
// ----
// step: expressionSimplifier
//
// { sstore(0, 0) }
// { { sstore(0, 0) } }

2
test/libyul/yulOptimizerTests/expressionSimplifier/including_function_calls.yul
View File

@ -7,7 +7,7 @@
// step: expressionSimplifier
//
// {
// sstore(0, f())
// { sstore(0, f()) }
// function f() -> a
// { }
// }

8
test/libyul/yulOptimizerTests/expressionSimplifier/inside_for.yul
View File

@ -6,7 +6,9 @@
// step: expressionSimplifier
//
// {
// let a := 10
// for { } iszero(iszero(a)) { a := add(a, 1) }
// { }
// {
// let a := 10
// for { } iszero(iszero(a)) { a := add(a, 1) }
// { }
// }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/invariant.yul
View File

@ -6,4 +6,4 @@
// ----
// step: expressionSimplifier
//
// { sstore(0, mload(0)) }
// { { sstore(0, mload(0)) } }

8
test/libyul/yulOptimizerTests/expressionSimplifier/iszero_sub_to_eq.yul
View File

@ -10,7 +10,9 @@
// step: expressionSimplifier
//
// {
// let _1 := 0
// let a := calldataload(_1)
// if eq(a, calldataload(0x20)) { sstore(_1, 1) }
// {
// let _1 := 0
// let a := calldataload(_1)
// if eq(a, calldataload(0x20)) { sstore(_1, 1) }
// }
// }

22
test/libyul/yulOptimizerTests/expressionSimplifier/large_byte_access.yul
View File

@ -13,14 +13,16 @@
// step: expressionSimplifier
//
// {
// let _1 := 0
// let a := calldataload(_1)
// let b := 0
// let c := byte(20, a)
// pop(create(_1, _1, 0x20))
// let d := 0
// sstore(7, a)
// sstore(8, b)
// sstore(9, c)
// sstore(10, d)
// {
// let _1 := 0
// let a := calldataload(_1)
// let b := 0
// let c := byte(20, a)
// pop(create(_1, _1, 0x20))
// let d := 0
// sstore(7, a)
// sstore(8, b)
// sstore(9, c)
// sstore(10, d)
// }
// }

6
test/libyul/yulOptimizerTests/expressionSimplifier/mod_and_1.yul
View File

@ -5,6 +5,8 @@
// step: expressionSimplifier
//
// {
// let _4 := 0
// mstore(_4, and(calldataload(_4), 255))
// {
// let _4 := 0
// mstore(_4, and(calldataload(_4), 255))
// }
// }

6
test/libyul/yulOptimizerTests/expressionSimplifier/mod_and_2.yul
View File

@ -5,6 +5,8 @@
// step: expressionSimplifier
//
// {
// let _4 := 0
// mstore(_4, and(calldataload(_4), 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff))
// {
// let _4 := 0
// mstore(_4, and(calldataload(_4), 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff))
// }
// }

8
test/libyul/yulOptimizerTests/expressionSimplifier/not_applied_function_call_different_arguments.yul
View File

@ -7,9 +7,11 @@
// step: expressionSimplifier
//
// {
// let _2 := f(1)
// let _3 := 0
// sstore(_3, sub(f(_3), _2))
// {
// let _2 := f(1)
// let _3 := 0
// sstore(_3, sub(f(_3), _2))
// }
// function f(a) -> b
// { }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/not_applied_function_call_different_names.yul
View File

@ -8,7 +8,7 @@
// step: expressionSimplifier
//
// {
// sstore(0, sub(f1(), f2()))
// { sstore(0, sub(f1(), f2())) }
// function f1() -> a
// { }
// function f2() -> b

2
test/libyul/yulOptimizerTests/expressionSimplifier/not_applied_function_call_equality_not_movable.yul
View File

@ -8,7 +8,7 @@
// step: expressionSimplifier
//
// {
// sstore(sub(f(), f()), 8)
// { sstore(sub(f(), f()), 8) }
// function f() -> a
// { mstore(0, 1) }
// }

12
test/libyul/yulOptimizerTests/expressionSimplifier/not_applied_removes_non_constant_and_not_movable.yul
View File

@ -9,9 +9,11 @@
// step: expressionSimplifier
//
// {
// let _1 := msize()
// let _2 := 0
// sstore(_2, _1)
// pop(keccak256(_2, _2))
// sstore(20, 0)
// {
// let _1 := msize()
// let _2 := 0
// sstore(_2, _1)
// pop(keccak256(_2, _2))
// sstore(20, 0)
// }
// }

8
test/libyul/yulOptimizerTests/expressionSimplifier/pop_byte_shr_call.yul
View File

@ -7,7 +7,9 @@
// step: expressionSimplifier
//
// {
// let _1 := 0
// pop(call(_1, _1, _1, _1, _1, _1, _1))
// sstore(_1, 0)
// {
// let _1 := 0
// pop(call(_1, _1, _1, _1, _1, _1, _1))
// sstore(_1, 0)
// }
// }

6
test/libyul/yulOptimizerTests/expressionSimplifier/pop_byte_shr_func.yul
View File

@ -8,8 +8,10 @@
// step: expressionSimplifier
//
// {
// pop(f())
// mstore(0, 0)
// {
// pop(f())
// mstore(0, 0)
// }
// function f() -> x
// { mstore(0, 1337) }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/pop_byte_shr_func_trivial.yul
View File

@ -7,4 +7,4 @@
// ----
// step: expressionSimplifier
//
// { sstore(0, 0) }
// { { sstore(0, 0) } }

10
test/libyul/yulOptimizerTests/expressionSimplifier/reassign.yul
View File

@ -7,8 +7,10 @@
// step: expressionSimplifier
//
// {
// let _1 := 0
// let x := mload(_1)
// x := _1
// mstore(_1, 7)
// {
// let _1 := 0
// let x := mload(_1)
// x := _1
// mstore(_1, 7)
// }
// }

18
test/libyul/yulOptimizerTests/expressionSimplifier/remove_redundant_shift_masking.yul
View File

@ -12,12 +12,14 @@
// step: expressionSimplifier
//
// {
// let _2 := calldataload(0)
// let _5 := 0xff
// let a := shr(248, _2)
// let b := shr(248, _2)
// let c := and(shr(249, _2), 0xfa)
// let d := and(shr(247, _2), _5)
// sstore(a, b)
// sstore(c, d)
// {
// let _2 := calldataload(0)
// let _5 := 0xff
// let a := shr(248, _2)
// let b := shr(248, _2)
// let c := and(shr(249, _2), 0xfa)
// let d := and(shr(247, _2), _5)
// sstore(a, b)
// sstore(c, d)
// }
// }

18
test/libyul/yulOptimizerTests/expressionSimplifier/replace_too_large_shift.yul
View File

@ -12,12 +12,14 @@
// step: expressionSimplifier
//
// {
// let a := 0
// let b := 0
// let _8 := calldataload(2)
// let _9 := 255
// let c := shl(_9, _8)
// let d := shr(_9, calldataload(3))
// sstore(a, b)
// sstore(c, d)
// {
// let a := 0
// let b := 0
// let _8 := calldataload(2)
// let _9 := 255
// let c := shl(_9, _8)
// let d := shr(_9, calldataload(3))
// sstore(a, b)
// sstore(c, d)
// }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/return_vars_zero.yul
View File

@ -10,7 +10,7 @@
// step: expressionSimplifier
//
// {
// let t, v := f()
// { let t, v := f() }
// function f() -> c, d
// { sstore(0, 7) }
// }

6
test/libyul/yulOptimizerTests/expressionSimplifier/reversed.yul
View File

@ -6,6 +6,8 @@
// step: expressionSimplifier
//
// {
// let _1 := 0
// sstore(_1, mload(_1))
// {
// let _1 := 0
// sstore(_1, mload(_1))
// }
// }

4
test/libyul/yulOptimizerTests/expressionSimplifier/selfbalance_not_supported.yul
View File

@ -6,4 +6,6 @@
// ----
// step: expressionSimplifier
//
// { sstore(0, balance(address())) }
// {
// { sstore(0, balance(address())) }
// }

6
test/libyul/yulOptimizerTests/expressionSimplifier/selfbalance_split.yul
View File

@ -9,6 +9,8 @@
// step: expressionSimplifier
//
// {
// let a := address()
// sstore(a, selfbalance())
// {
// let a := address()
// sstore(a, selfbalance())
// }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/selfbalance_supported.yul
View File

@ -6,4 +6,4 @@
// ----
// step: expressionSimplifier
//
// { sstore(0, selfbalance()) }
// { { sstore(0, selfbalance()) } }

6
test/libyul/yulOptimizerTests/expressionSimplifier/side_effects_in_for_condition.yul
View File

@ -9,6 +9,8 @@
// step: expressionSimplifier
//
// {
// for { } div(create(0, 1, 0), shl(msize(), 1)) { }
// { }
// {
// for { } div(create(0, 1, 0), shl(msize(), 1)) { }
// { }
// }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/smoke.yul
View File

@ -2,4 +2,4 @@
// ----
// step: expressionSimplifier
//
// { }
// { { } }

6
test/libyul/yulOptimizerTests/expressionSimplifier/unassigend_vars_multi.yul
View File

@ -8,6 +8,8 @@
// step: expressionSimplifier
//
// {
// let c, d
// sstore(d, 7)
// {
// let c, d
// sstore(d, 7)
// }
// }

2
test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul
View File

@ -8,4 +8,4 @@
// ----
// step: expressionSimplifier
//
// { sstore(8, 7) }
// { { sstore(8, 7) } }

1
test/libyul/yulOptimizerTests/fullInliner/no_inline_into_big_function.yul
View File

@ -13,6 +13,7 @@
// step: fullInliner
//
// {
// { }
// function f(a) -> b
// { b := sload(mload(a)) }
// function g() -> x_1

6
test/libyul/yulOptimizerTests/fullSimplify/constant_propagation.yul
View File

@ -6,6 +6,8 @@
// step: fullSimplify
//
// {
// let _2 := 0
// mstore(mload(_2), _2)
// {
// let _2 := 0
// mstore(mload(_2), _2)
// }
// }

2
test/libyul/yulOptimizerTests/fullSimplify/constants.yul
View File

@ -5,4 +5,4 @@
// ----
// step: fullSimplify
//
// { mstore(0, 13) }
// { { mstore(0, 13) } }

2
test/libyul/yulOptimizerTests/fullSimplify/identity_rules_complex.yul
View File

@ -5,4 +5,4 @@
// ----
// step: fullSimplify
//
// { mstore(0, 0) }
// { { mstore(0, 0) } }

6
test/libyul/yulOptimizerTests/fullSimplify/identity_rules_negative.yul
View File

@ -6,6 +6,8 @@
// step: fullSimplify
//
// {
// let _1 := 0
// mstore(_1, sub(calldataload(1), calldataload(_1)))
// {
// let _1 := 0
// mstore(_1, sub(calldataload(1), calldataload(_1)))
// }
// }

2
test/libyul/yulOptimizerTests/fullSimplify/identity_rules_simple.yul
View File

@ -5,4 +5,4 @@
// ----
// step: fullSimplify
//
// { mstore(0, 0) }
// { { mstore(0, 0) } }

2
test/libyul/yulOptimizerTests/fullSimplify/including_function_calls.yul
View File

@ -7,7 +7,7 @@
// step: fullSimplify
//
// {
// mstore(f(), 0)
// { mstore(f(), 0) }
// function f() -> a
// { }
// }

8
test/libyul/yulOptimizerTests/fullSimplify/inside_for.yul
View File

@ -7,7 +7,9 @@
// step: fullSimplify
//
// {
// let a := 10
// for { } iszero(iszero(a)) { a := add(a, 1) }
// { }
// {
// let a := 10
// for { } iszero(iszero(a)) { a := add(a, 1) }
// { }
// }
// }

10
test/libyul/yulOptimizerTests/fullSimplify/invariant.yul
View File

@ -11,8 +11,10 @@
// step: fullSimplify
//
// {
// let a := calldataload(0)
// let _4 := 0
// let b := a
// mstore(b, eq(calldataload(_4), a))
// {
// let a := calldataload(0)
// let _4 := 0
// let b := a
// mstore(b, eq(calldataload(_4), a))
// }
// }

6
test/libyul/yulOptimizerTests/fullSimplify/mod_and_1.yul
View File

@ -5,6 +5,8 @@
// step: fullSimplify
//
// {
// let _4 := 0
// mstore(_4, and(calldataload(_4), 255))
// {
// let _4 := 0
// mstore(_4, and(calldataload(_4), 255))
// }
// }

6
test/libyul/yulOptimizerTests/fullSimplify/mod_and_2.yul
View File

@ -5,6 +5,8 @@
// step: fullSimplify
//
// {
// let _4 := 0
// mstore(_4, and(calldataload(_4), 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff))
// {
// let _4 := 0
// mstore(_4, and(calldataload(_4), 0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff))
// }
// }

8
test/libyul/yulOptimizerTests/fullSimplify/not_applied_function_call_different_arguments.yul
View File

@ -6,9 +6,11 @@
// step: fullSimplify
//
// {
// let _2 := f(1)
// let _3 := 0
// mstore(_3, sub(f(_3), _2))
// {
// let _2 := f(1)
// let _3 := 0
// mstore(_3, sub(f(_3), _2))
// }
// function f(a) -> b
// { }
// }

2
test/libyul/yulOptimizerTests/fullSimplify/not_applied_function_call_different_names.yul
View File

@ -8,7 +8,7 @@
// step: fullSimplify
//
// {
// mstore(0, sub(f1(), f2()))
// { mstore(0, sub(f1(), f2())) }
// function f1() -> a
// { }
// function f2() -> b

2
test/libyul/yulOptimizerTests/fullSimplify/not_applied_function_call_equality_not_movable.yul
View File

@ -8,7 +8,7 @@
// step: fullSimplify
//
// {
// mstore(0, sub(f(), f()))
// { mstore(0, sub(f(), f())) }
// function f() -> a
// { mstore(1, 2) }
// }

8
test/libyul/yulOptimizerTests/fullSimplify/not_applied_removes_non_constant_and_not_movable.yul
View File

@ -7,7 +7,9 @@
// step: fullSimplify
//
// {
// let _1 := 0
// pop(create(_1, _1, _1))
// mstore(_1, 0)
// {
// let _1 := 0
// pop(create(_1, _1, _1))
// mstore(_1, 0)
// }
// }

38
test/libyul/yulOptimizerTests/fullSimplify/operations.yul
View File

@ -23,22 +23,24 @@
// step: fullSimplify
//
// {
// mstore(1, 0)
// mstore(2, 0)
// mstore(3, 0)
// mstore(4, 0)
// mstore(5, 0)
// mstore(6, 0)
// mstore(7, 0)
// mstore(8, 0)
// mstore(9, 0)
// mstore(10, 0)
// mstore(11, 0)
// mstore(12, 0)
// mstore(13, 0)
// mstore(14, 0)
// mstore(15, 0)
// mstore(16, 0)
// mstore(17, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
// mstore(18, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
// {
// mstore(1, 0)
// mstore(2, 0)
// mstore(3, 0)
// mstore(4, 0)
// mstore(5, 0)
// mstore(6, 0)
// mstore(7, 0)
// mstore(8, 0)
// mstore(9, 0)
// mstore(10, 0)
// mstore(11, 0)
// mstore(12, 0)
// mstore(13, 0)
// mstore(14, 0)
// mstore(15, 0)
// mstore(16, 0)
// mstore(17, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
// mstore(18, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
// }
// }

6
test/libyul/yulOptimizerTests/fullSimplify/reversed.yul
View File

@ -6,6 +6,8 @@
// step: fullSimplify
//
// {
// let _1 := 0
// mstore(_1, mload(_1))
// {
// let _1 := 0
// mstore(_1, mload(_1))
// }
// }

6
test/libyul/yulOptimizerTests/fullSimplify/signextend.yul
View File

@ -8,6 +8,8 @@
// step: fullSimplify
//
// {
// mstore(0, 7)
// mstore(1, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
// {
// mstore(0, 7)
// mstore(1, 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff)
// }
// }

2
test/libyul/yulOptimizerTests/fullSimplify/smoke.yul
View File

@ -2,4 +2,4 @@
// ----
// step: fullSimplify
//
// { }
// { { } }

6
test/libyul/yulOptimizerTests/loadResolver/double_mload.yul
View File

@ -8,6 +8,8 @@
// step: loadResolver
//
// {
// let a := mload(calldataload(0))
// sstore(a, a)
// {
// let a := mload(calldataload(0))
// sstore(a, a)
// }
// }

10
test/libyul/yulOptimizerTests/loadResolver/double_mload_with_other_reassignment.yul
View File

@ -9,8 +9,10 @@
// step: loadResolver
//
// {
// let x := calldataload(0)
// let a := mload(x)
// x := 7
// sstore(a, mload(x))
// {
// let x := calldataload(0)
// let a := mload(x)
// x := 7
// sstore(a, mload(x))
// }
// }

10
test/libyul/yulOptimizerTests/loadResolver/double_mload_with_reassignment.yul
View File

@ -9,8 +9,10 @@
// step: loadResolver
//
// {
// let x := calldataload(0)
// let a := mload(x)
// a := 7
// sstore(a, mload(x))
// {
// let x := calldataload(0)
// let a := mload(x)
// a := 7
// sstore(a, mload(x))
// }
// }

10
test/libyul/yulOptimizerTests/loadResolver/keccak.yul
View File

@ -9,8 +9,10 @@
// step: loadResolver
//
// {
// let _1 := 10
// let _2 := 0
// mstore(_2, _1)
// sstore(_2, 89717814153306320011181716697424560163256864414616650038987186496166826726056)
// {
// let _1 := 10
// let _2 := 0
// mstore(_2, _1)
// sstore(_2, 89717814153306320011181716697424560163256864414616650038987186496166826726056)
// }
// }

10
test/libyul/yulOptimizerTests/loadResolver/keccak_crash.yul
View File

@ -6,8 +6,10 @@
// step: loadResolver
//
// {
// for { }
// addmod(keccak256(0x0, create(0x0, 0x0, 0x0)), 0x0, 0x0)
// { }
// { }
// {
// for { }
// addmod(keccak256(0x0, create(0x0, 0x0, 0x0)), 0x0, 0x0)
// { }
// { }
// }
// }

12
test/libyul/yulOptimizerTests/loadResolver/keccak_fail1.yul
View File

@ -10,9 +10,11 @@
// step: loadResolver
//
// {
// let _1 := 30
// let _2 := 0
// mstore(_2, _1)
// if calldataload(_2) { mstore(_2, 20) }
// sstore(_2, keccak256(_2, 32))
// {
// let _1 := 30
// let _2 := 0
// mstore(_2, _1)
// if calldataload(_2) { mstore(_2, 20) }
// sstore(_2, keccak256(_2, 32))
// }
// }

10
test/libyul/yulOptimizerTests/loadResolver/keccak_fail2.yul
View File

@ -9,8 +9,10 @@
// step: loadResolver
//
// {
// let _1 := 10
// mstore(100, _1)
// mstore(132, 5)
// sstore(0, keccak256(_1, 33))
// {
// let _1 := 10
// mstore(100, _1)
// mstore(132, 5)
// sstore(0, keccak256(_1, 33))
// }
// }

20
test/libyul/yulOptimizerTests/loadResolver/keccak_short.yul
View File

@ -19,13 +19,15 @@
// step: loadResolver
//
// {
// let _1 := 10
// let _2 := 0
// mstore(_2, _1)
// sstore(_2, 9948786400348073077032572701554570401043517428989726124163377057770909578447)
// sstore(1, 110945455955148346822663466543669633859020391897956790847617069135813044810108)
// let _13 := 85131057757245807317576516368191972321038229705283732634690444270750521936266
// let _14 := 2
// sstore(_14, _13)
// sstore(_14, 89477152217924674838424037953991966239322087453347756267410168184682657981552)
// {
// let _1 := 10
// let _2 := 0
// mstore(_2, _1)
// sstore(_2, 9948786400348073077032572701554570401043517428989726124163377057770909578447)
// sstore(1, 110945455955148346822663466543669633859020391897956790847617069135813044810108)
// let _13 := 85131057757245807317576516368191972321038229705283732634690444270750521936266
// let _14 := 2
// sstore(_14, _13)
// sstore(_14, 89477152217924674838424037953991966239322087453347756267410168184682657981552)
// }
// }

16
test/libyul/yulOptimizerTests/loadResolver/keccak_string_literal.yul
View File

@ -12,11 +12,13 @@
// step: loadResolver
//
// {
// let _1 := 50
// let _2 := "abcdefghijklmn"
// mstore(_1, _2)
// let _3 := 51246744213555520563123611275127692828770413530219146609532820042079541949502
// let _4 := 0
// sstore(_4, _3)
// sstore(_4, add(_2, 1))
// {
// let _1 := 50
// let _2 := "abcdefghijklmn"
// mstore(_1, _2)
// let _3 := 51246744213555520563123611275127692828770413530219146609532820042079541949502
// let _4 := 0
// sstore(_4, _3)
// sstore(_4, add(_2, 1))
// }
// }

10
test/libyul/yulOptimizerTests/loadResolver/keccak_symbolic_memory.yul
View File

@ -15,8 +15,10 @@
// step: loadResolver
//
// {
// let _1 := 0
// mstore(calldataload(_1), 500)
// sstore(_1, 92647596584187651892918913434663110448935397770592030057655219009846081465370)
// sstore(1, 110620294328144418057589324861608220015688365608948720310623173341503153578932)
// {
// let _1 := 0
// mstore(calldataload(_1), 500)
// sstore(_1, 92647596584187651892918913434663110448935397770592030057655219009846081465370)
// sstore(1, 110620294328144418057589324861608220015688365608948720310623173341503153578932)
// }
// }

12
test/libyul/yulOptimizerTests/loadResolver/keccak_with_msize.yul
View File

@ -11,9 +11,11 @@
// step: loadResolver
//
// {
// let _1 := msize()
// let _2 := 0
// sstore(_2, _1)
// mstore(_2, 10)
// sstore(1, keccak256(_2, 32))
// {
// let _1 := msize()
// let _2 := 0
// sstore(_2, _1)
// mstore(_2, 10)
// sstore(1, keccak256(_2, 32))
// }
// }

16
test/libyul/yulOptimizerTests/loadResolver/loop.yul
View File

@ -8,11 +8,13 @@
// step: loadResolver
//
// {
// let _1 := 123213
// let _2 := 0
// sstore(_2, _1)
// let x := _2
// let y
// for { } lt(x, _1) { x := add(x, 1) }
// { y := add(x, y) }
// {
// let _1 := 123213
// let _2 := 0
// sstore(_2, _1)
// let x := _2
// let y
// for { } lt(x, _1) { x := add(x, 1) }
// { y := add(x, y) }
// }
// }

30
test/libyul/yulOptimizerTests/loadResolver/memory_with_different_kinds_of_invalidation.yul
View File

@ -18,18 +18,20 @@
// step: loadResolver
//
// {
// let _1 := 9
// let _2 := 2
// mstore(_2, _1)
// let _4 := _1
// let _5 := 0
// sstore(_5, _4)
// pop(call(_5, _5, _5, _5, _5, _5, _5))
// sstore(_5, mload(_2))
// let _17 := 10
// mstore(_2, _17)
// mstore8(calldataload(_5), 4)
// sstore(_5, mload(_2))
// mstore(_2, _17)
// sstore(_5, _17)
// {
// let _1 := 9
// let _2 := 2
// mstore(_2, _1)
// let _4 := _1
// let _5 := 0
// sstore(_5, _4)
// pop(call(_5, _5, _5, _5, _5, _5, _5))
// sstore(_5, mload(_2))
// let _17 := 10
// mstore(_2, _17)
// mstore8(calldataload(_5), 4)
// sstore(_5, mload(_2))
// mstore(_2, _17)
// sstore(_5, _17)
// }
// }

12
test/libyul/yulOptimizerTests/loadResolver/memory_with_msize.yul
View File

@ -9,9 +9,11 @@
// step: loadResolver
//
// {
// let _1 := msize()
// let _3 := calldataload(0)
// mstore(_3, _1)
// let t := mload(calldataload(10))
// sstore(t, mload(_3))
// {
// let _1 := msize()
// let _3 := calldataload(0)
// mstore(_3, _1)
// let t := mload(calldataload(10))
// sstore(t, mload(_3))
// }
// }

18
test/libyul/yulOptimizerTests/loadResolver/merge_known_write.yul
View File

@ -11,12 +11,14 @@
// step: loadResolver
//
// {
// let _2 := calldataload(10)
// let _3 := 0
// let _4 := calldataload(_3)
// mstore(_4, _2)
// let _5 := 1
// if calldataload(_5) { mstore(_4, _5) }
// let t := mload(_3)
// sstore(t, mload(_4))
// {
// let _2 := calldataload(10)
// let _3 := 0
// let _4 := calldataload(_3)
// mstore(_4, _2)
// let _5 := 1
// if calldataload(_5) { mstore(_4, _5) }
// let t := mload(_3)
// sstore(t, mload(_4))
// }
// }

14
test/libyul/yulOptimizerTests/loadResolver/merge_known_write_with_distance.yul
View File

@ -11,10 +11,12 @@
// step: loadResolver
//
// {
// let _2 := calldataload(10)
// let _4 := calldataload(0)
// mstore(_4, _2)
// let _5 := 1
// if calldataload(_5) { mstore(add(_4, 0x20), _5) }
// sstore(mload(add(_4, 0x20)), _2)
// {
// let _2 := calldataload(10)
// let _4 := calldataload(0)
// mstore(_4, _2)
// let _5 := 1
// if calldataload(_5) { mstore(add(_4, 0x20), _5) }
// sstore(mload(add(_4, 0x20)), _2)
// }
// }

Some files were not shown because too many files have changed in this diff Show More