From beedf7ca25418f5d6de6f3ca51a8e898fbee3f93 Mon Sep 17 00:00:00 2001
From: Daniel Kirchner <daniel@ekpyron.org>
Date: Tue, 13 Apr 2021 12:28:04 +0200
Subject: [PATCH] Add test with same variable on lhs and rhs of assignment.

---
 .../same_variable_in_lhs_and_rhs.yul            | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 test/libyul/yulOptimizerTests/fakeStackLimitEvader/same_variable_in_lhs_and_rhs.yul

diff --git a/test/libyul/yulOptimizerTests/fakeStackLimitEvader/same_variable_in_lhs_and_rhs.yul b/test/libyul/yulOptimizerTests/fakeStackLimitEvader/same_variable_in_lhs_and_rhs.yul
new file mode 100644
index 000000000..e6a9379df
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fakeStackLimitEvader/same_variable_in_lhs_and_rhs.yul
@@ -0,0 +1,17 @@
+{
+    function f(x) -> y { y := x }
+    mstore(0x40, memoryguard(0))
+
+    let $z := 42
+    $z := f($z)
+}
+// ----
+// step: fakeStackLimitEvader
+//
+// {
+//     function f(x) -> y
+//     { y := x }
+//     mstore(0x40, memoryguard(0x20))
+//     mstore(0x00, 42)
+//     mstore(0x00, f(mload(0x00)))
+// }