diff options
Diffstat (limited to 'test/libjulia/yulOptimizerTests/expressionInliner')
7 files changed, 0 insertions, 118 deletions
diff --git a/test/libjulia/yulOptimizerTests/expressionInliner/complex_with_evm.yul b/test/libjulia/yulOptimizerTests/expressionInliner/complex_with_evm.yul deleted file mode 100644 index 519a2af8..00000000 --- a/test/libjulia/yulOptimizerTests/expressionInliner/complex_with_evm.yul +++ /dev/null @@ -1,13 +0,0 @@ -{ - function f(a) -> x { x := add(a, a) } - let y := f(calldatasize()) -} -// ---- -// expressionInliner -// { -// function f(a) -> x -// { -// x := add(a, a) -// } -// let y := add(calldatasize(), calldatasize()) -// } diff --git a/test/libjulia/yulOptimizerTests/expressionInliner/double_calls.yul b/test/libjulia/yulOptimizerTests/expressionInliner/double_calls.yul deleted file mode 100644 index e1da8e07..00000000 --- a/test/libjulia/yulOptimizerTests/expressionInliner/double_calls.yul +++ /dev/null @@ -1,18 +0,0 @@ -{ - function f(a) -> x { x := add(a, a) } - function g(b, c) -> y { y := mul(mload(c), f(b)) } - let y := g(calldatasize(), 7) -} -// ---- -// expressionInliner -// { -// function f(a) -> x -// { -// x := add(a, a) -// } -// function g(b, c) -> y -// { -// y := mul(mload(c), add(b, b)) -// } -// let y_1 := mul(mload(7), add(calldatasize(), calldatasize())) -// } diff --git a/test/libjulia/yulOptimizerTests/expressionInliner/double_recursive_calls.yul b/test/libjulia/yulOptimizerTests/expressionInliner/double_recursive_calls.yul deleted file mode 100644 index 082cb53f..00000000 --- a/test/libjulia/yulOptimizerTests/expressionInliner/double_recursive_calls.yul +++ /dev/null @@ -1,18 +0,0 @@ -{ - function f(a, r) -> x { x := g(a, g(r, r)) } - function g(b, s) -> y { y := f(b, f(s, s)) } - let y := g(calldatasize(), 7) -} -// ---- -// expressionInliner -// { -// function f(a, r) -> x -// { -// x := g(a, f(r, f(r, r))) -// } -// function g(b, s) -> y -// { -// y := f(b, g(s, f(s, f(s, s)))) -// } -// let y_1 := f(calldatasize(), g(7, f(7, f(7, 7)))) -// } diff --git a/test/libjulia/yulOptimizerTests/expressionInliner/no_inline_mload.yul b/test/libjulia/yulOptimizerTests/expressionInliner/no_inline_mload.yul deleted file mode 100644 index 0fb43a9d..00000000 --- a/test/libjulia/yulOptimizerTests/expressionInliner/no_inline_mload.yul +++ /dev/null @@ -1,14 +0,0 @@ -// Does not inline because mload could be moved out of sequence -{ - function f(a) -> x { x := a } - let y := f(mload(2)) -} -// ---- -// expressionInliner -// { -// function f(a) -> x -// { -// x := a -// } -// let y := f(mload(2)) -// } diff --git a/test/libjulia/yulOptimizerTests/expressionInliner/no_move_with_sideeffects.yul b/test/libjulia/yulOptimizerTests/expressionInliner/no_move_with_sideeffects.yul deleted file mode 100644 index 7fdad6c4..00000000 --- a/test/libjulia/yulOptimizerTests/expressionInliner/no_move_with_sideeffects.yul +++ /dev/null @@ -1,27 +0,0 @@ -// The calls to g and h cannot be moved because g and h are not movable. Therefore, the call -// to f is not inlined. -{ - function f(a, b) -> x { x := add(b, a) } - function g() -> y { y := mload(0) mstore(0, 4) } - function h() -> z { mstore(0, 4) z := mload(0) } - let r := f(g(), h()) -} -// ---- -// expressionInliner -// { -// function f(a, b) -> x -// { -// x := add(b, a) -// } -// function g() -> y -// { -// y := mload(0) -// mstore(0, 4) -// } -// function h() -> z -// { -// mstore(0, 4) -// z := mload(0) -// } -// let r := f(g(), h()) -// } diff --git a/test/libjulia/yulOptimizerTests/expressionInliner/simple.yul b/test/libjulia/yulOptimizerTests/expressionInliner/simple.yul deleted file mode 100644 index c186eafd..00000000 --- a/test/libjulia/yulOptimizerTests/expressionInliner/simple.yul +++ /dev/null @@ -1,14 +0,0 @@ -// yul -{ - function f() -> x:u256 { x := 2:u256 } - let y:u256 := f() -} -// ---- -// expressionInliner -// { -// function f() -> x:u256 -// { -// x := 2:u256 -// } -// let y:u256 := 2:u256 -// } diff --git a/test/libjulia/yulOptimizerTests/expressionInliner/with_args.yul b/test/libjulia/yulOptimizerTests/expressionInliner/with_args.yul deleted file mode 100644 index b5f4d515..00000000 --- a/test/libjulia/yulOptimizerTests/expressionInliner/with_args.yul +++ /dev/null @@ -1,14 +0,0 @@ -// yul -{ - function f(a:u256) -> x:u256 { x := a } - let y:u256 := f(7:u256) -} -// ---- -// expressionInliner -// { -// function f(a:u256) -> x:u256 -// { -// x := a -// } -// let y:u256 := 7:u256 -// } |