From 9fb5feed0513012aed38d45ccdb421e5b8d96838 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Tue, 23 Jan 2018 00:06:55 +0100
Subject: Use metrics in the full inliner.

---
 .../fullInliner/large_function_multi_use.yul       | 43 ++++++++++++++++++++++
 .../fullInliner/large_function_single_use.yul      | 36 ++++++++++++++++++
 .../yulOptimizerTests/fullInliner/recursion.yul    | 18 +++++++++
 3 files changed, 97 insertions(+)
 create mode 100644 test/libyul/yulOptimizerTests/fullInliner/large_function_multi_use.yul
 create mode 100644 test/libyul/yulOptimizerTests/fullInliner/large_function_single_use.yul
 create mode 100644 test/libyul/yulOptimizerTests/fullInliner/recursion.yul

(limited to 'test')

diff --git a/test/libyul/yulOptimizerTests/fullInliner/large_function_multi_use.yul b/test/libyul/yulOptimizerTests/fullInliner/large_function_multi_use.yul
new file mode 100644
index 00000000..0972ac56
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullInliner/large_function_multi_use.yul
@@ -0,0 +1,43 @@
+{
+	function f(a) -> b {
+        let x := mload(a)
+        b := sload(x)
+        let c := 3
+        mstore(mul(a, b), mload(x))
+        let y := add(a, x)
+        sstore(y, 10)
+    }
+    let a := mload(2)
+    let a2 := 2
+    // This should not be inlined because it is not a constant
+    let r := f(a)
+    // This should be inlined because it is a constant
+    let t := f(a2)
+}
+// ----
+// fullInliner
+// {
+//     {
+//         let a_1 := mload(2)
+//         let a2 := 2
+//         let r := f(a_1)
+//         let f_a := a2
+//         let f_b
+//         let f_x := mload(f_a)
+//         f_b := sload(f_x)
+//         let f_c := 3
+//         mstore(mul(f_a, f_b), mload(f_x))
+//         let f_y := add(f_a, f_x)
+//         sstore(f_y, 10)
+//         let t := f_b
+//     }
+//     function f(a) -> b
+//     {
+//         let x := mload(a)
+//         b := sload(x)
+//         let c := 3
+//         mstore(mul(a, b), mload(x))
+//         let y := add(a, x)
+//         sstore(y, 10)
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/fullInliner/large_function_single_use.yul b/test/libyul/yulOptimizerTests/fullInliner/large_function_single_use.yul
new file mode 100644
index 00000000..3302a35c
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullInliner/large_function_single_use.yul
@@ -0,0 +1,36 @@
+{
+	function f(a) -> b {
+        let x := mload(a)
+        b := sload(x)
+        let c := 3
+        mstore(mul(a, b), mload(x))
+        let y := add(a, x)
+        sstore(y, 10)
+    }
+    // Single-use functions are always inlined.
+    let r := f(mload(1))
+}
+// ----
+// fullInliner
+// {
+//     {
+//         let f_a := mload(1)
+//         let f_b
+//         let f_x := mload(f_a)
+//         f_b := sload(f_x)
+//         let f_c := 3
+//         mstore(mul(f_a, f_b), mload(f_x))
+//         let f_y := add(f_a, f_x)
+//         sstore(f_y, 10)
+//         let r := f_b
+//     }
+//     function f(a) -> b
+//     {
+//         let x := mload(a)
+//         b := sload(x)
+//         let c := 3
+//         mstore(mul(a, b), mload(x))
+//         let y := add(a, x)
+//         sstore(y, 10)
+//     }
+// }
diff --git a/test/libyul/yulOptimizerTests/fullInliner/recursion.yul b/test/libyul/yulOptimizerTests/fullInliner/recursion.yul
new file mode 100644
index 00000000..3e9a8021
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullInliner/recursion.yul
@@ -0,0 +1,18 @@
+{
+	function f(a) {
+		f(1)
+	}
+	f(mload(0))
+}
+// ----
+// fullInliner
+// {
+//     {
+//         let f_a := mload(0)
+//         f(1)
+//     }
+//     function f(a)
+//     {
+//         f(1)
+//     }
+// }
-- 
cgit