From 0c0b5a09cd231c65a9c1890dcf9d2fd73f18d944 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 18 Jul 2019 16:40:46 +0200
Subject: [PATCH] Add another test related to stack compressor and msize.

---
 .../fullSuite/stack_compressor_msize.yul      | 45 +++++++++++++++++++
 1 file changed, 45 insertions(+)
 create mode 100644 test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul

diff --git a/test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul b/test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul
new file mode 100644
index 000000000..6a4e52652
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullSuite/stack_compressor_msize.yul
@@ -0,0 +1,45 @@
+{
+	let a
+
+	function foo_singlereturn_0() -> out
+	{
+		mstore(lt(or(gt(1,or(or(gt(or(or(or(1,gt(or(gt(or(or(keccak256(pc(),or(gt(not(pc()),1),1)),1),not(1)),pc()),1),pc())),lt(or(1,sub(pc(),1)),1)),pc()),1),1),gt(not(pc()),1))),1),1),1)
+		sstore(not(pc()),1)
+	}
+
+	function foo_singlereturn_1(in_1, in_2) -> out
+	{
+		extcodecopy(1,msize(),1,1)
+	}
+
+	a := foo_singlereturn_0()
+	sstore(0,0)
+	sstore(2,1)
+
+	a := foo_singlereturn_1(calldataload(0),calldataload(3))
+	sstore(0,0)
+	sstore(3,1)
+}
+// ====
+// step: fullSuite
+// ----
+// {
+//     {
+//         let _1 := gt(not(pc()), 1)
+//         let _2 := pc()
+//         let _3 := not(0)
+//         let _4 := lt(or(1, add(pc(), _3)), 1)
+//         let _5 := pc()
+//         let _6 := pc()
+//         pop(keccak256(pc(), or(gt(not(pc()), 1), 1)))
+//         mstore(lt(or(gt(1, or(or(gt(or(or(or(gt(or(gt(_3, _6), 1), _5), _4), _2), 1), 1), _1), 1)), 1), 1), 1)
+//         sstore(not(pc()), 1)
+//         sstore(0, 0)
+//         sstore(2, 1)
+//         pop(foo_singlereturn_1(calldataload(0), calldataload(3)))
+//         sstore(0, 0)
+//         sstore(3, 1)
+//     }
+//     function foo_singlereturn_1(in, in_1) -> out
+//     { extcodecopy(1, msize(), 1, 1) }
+// }