Renaming libjulia to libyul

7 files changed, 197 insertions, 0 deletions

diff --git a/test/libyul/yulOptimizerTests/fullInliner/inside_condition.yul b/test/libyul/yulOptimizerTests/fullInliner/inside_condition.yul
new file mode 100644
index 00000000..ae25e9a3
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullInliner/inside_condition.yul
@@ -0,0 +1,32 @@
+// This tests that breaking the expression inside the condition works properly.
+{
+	if gt(f(mload(1)), mload(0)) {
+		sstore(0, 2)
+	}
+	function f(a) -> r {
+		a := mload(a)
+		r := add(a, calldatasize())
+	}
+}
+// ----
+// fullInliner
+// {
+//     {
+//         let _1 := mload(0)
+//         let f_a := mload(1)
+//         let f_r
+//         {
+//             f_a := mload(f_a)
+//             f_r := add(f_a, calldatasize())
+//         }
+//         if gt(f_r, _1)
+//         {
+//             sstore(0, 2)
+//         }
+//     }
+//     function f(a) -> r
+//     {
+//         a := mload(a)
+//         r := add(a, calldatasize())
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/fullInliner/move_up_rightwards_argument.yul b/test/libyul/yulOptimizerTests/fullInliner/move_up_rightwards_argument.yul
new file mode 100644
index 00000000..e1def585
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullInliner/move_up_rightwards_argument.yul
@@ -0,0 +1,28 @@
+{
+	function f(a, b, c) -> x {
+		x := add(a, b)
+		x := mul(x, c)
+	}
+	let y := add(mload(1), add(f(mload(2), mload(3), mload(4)), mload(5)))
+}
+// ----
+// fullInliner
+// {
+//     {
+//         let _1 := mload(5)
+//         let f_c := mload(4)
+//         let f_b := mload(3)
+//         let f_a := mload(2)
+//         let f_x
+//         {
+//             f_x := add(f_a, f_b)
+//             f_x := mul(f_x, f_c)
+//         }
+//         let y := add(mload(1), add(f_x, _1))
+//     }
+//     function f(a, b, c) -> x
+//     {
+//         x := add(a, b)
+//         x := mul(x, c)
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/fullInliner/multi_fun.yul b/test/libyul/yulOptimizerTests/fullInliner/multi_fun.yul
new file mode 100644
index 00000000..94bbe5dc
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullInliner/multi_fun.yul
@@ -0,0 +1,40 @@
+{
+	function f(a) -> x { x := add(a, a) }
+	function g(b, c) -> y { y := mul(mload(c), f(b)) }
+	let y := g(f(3), 7)
+}
+// ----
+// fullInliner
+// {
+//     {
+//         let g_c := 7
+//         let f_a_1 := 3
+//         let f_x_1
+//         {
+//             f_x_1 := add(f_a_1, f_a_1)
+//         }
+//         let g_y
+//         {
+//             let g_f_a := f_x_1
+//             let g_f_x
+//             {
+//                 g_f_x := add(g_f_a, g_f_a)
+//             }
+//             g_y := mul(mload(g_c), g_f_x)
+//         }
+//         let y_1 := g_y
+//     }
+//     function f(a) -> x
+//     {
+//         x := add(a, a)
+//     }
+//     function g(b, c) -> y
+//     {
+//         let f_a := b
+//         let f_x
+//         {
+//             f_x := add(f_a, f_a)
+//         }
+//         y := mul(mload(c), f_x)
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/fullInliner/multi_return.yul b/test/libyul/yulOptimizerTests/fullInliner/multi_return.yul
new file mode 100644
index 00000000..f3c5b0ee
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullInliner/multi_return.yul
@@ -0,0 +1,21 @@
+// The full inliner currently does not work with
+// functions returning multiple values.
+{
+	function f(a) -> x, y {
+		x := mul(a, a)
+		y := add(a, x)
+	}
+	let a, b := f(mload(0))
+}
+// ----
+// fullInliner
+// {
+//     {
+//         let a_1, b := f(mload(0))
+//     }
+//     function f(a) -> x, y
+//     {
+//         x := mul(a, a)
+//         y := add(a, x)
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/fullInliner/no_return.yul b/test/libyul/yulOptimizerTests/fullInliner/no_return.yul
new file mode 100644
index 00000000..53fe3527
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullInliner/no_return.yul
@@ -0,0 +1,22 @@
+{
+	function f(a) {
+		sstore(a, a)
+	}
+	f(mload(0))
+}
+// ----
+// fullInliner
+// {
+//     {
+//         let f_a := mload(0)
+//         {
+//             sstore(f_a, f_a)
+//         }
+//         {
+//         }
+//     }
+//     function f(a)
+//     {
+//         sstore(a, a)
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/fullInliner/pop_result.yul b/test/libyul/yulOptimizerTests/fullInliner/pop_result.yul
new file mode 100644
index 00000000..3883c67c
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullInliner/pop_result.yul
@@ -0,0 +1,28 @@
+// This tests that `pop(r)` is removed.
+{
+	function f(a) -> x {
+		let r := mul(a, a)
+		x := add(r, r)
+	}
+	pop(add(f(7), 2))
+}
+// ----
+// fullInliner
+// {
+//     {
+//         let _1 := 2
+//         let f_a := 7
+//         let f_x
+//         {
+//             let f_r := mul(f_a, f_a)
+//             f_x := add(f_r, f_r)
+//         }
+//         {
+//         }
+//     }
+//     function f(a) -> x
+//     {
+//         let r := mul(a, a)
+//         x := add(r, r)
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/fullInliner/simple.yul b/test/libyul/yulOptimizerTests/fullInliner/simple.yul
new file mode 100644
index 00000000..dd1a4e0a
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullInliner/simple.yul
@@ -0,0 +1,26 @@
+{
+	function f(a) -> x {
+		let r := mul(a, a)
+		x := add(r, r)
+	}
+	let y := add(f(sload(mload(2))), mload(7))
+}
+// ----
+// fullInliner
+// {
+//     {
+//         let _1 := mload(7)
+//         let f_a := sload(mload(2))
+//         let f_x
+//         {
+//             let f_r := mul(f_a, f_a)
+//             f_x := add(f_r, f_r)
+//         }
+//         let y := add(f_x, _1)
+//     }
+//     function f(a) -> x
+//     {
+//         let r := mul(a, a)
+//         x := add(r, r)
+//     }
+// }