From 2b5a24e82e16436d25c0f36ddf072a5470b83035 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 22 Apr 2021 14:41:50 +0200
Subject: [PATCH] Add function side effects test.

---
 test/libyul/functionSideEffects/verbatim.yul | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 test/libyul/functionSideEffects/verbatim.yul

diff --git a/test/libyul/functionSideEffects/verbatim.yul b/test/libyul/functionSideEffects/verbatim.yul
new file mode 100644
index 000000000..5c0f6f2c1
--- /dev/null
+++ b/test/libyul/functionSideEffects/verbatim.yul
@@ -0,0 +1,8 @@
+{
+    function a() -> x { x := verbatim_0i_1o(hex"6007") }
+    function b() { let t := a() }
+}
+// ----
+// : movable, movable apart from effects, can be removed, can be removed if no msize
+// a: can loop, writes other state, writes storage, writes memory
+// b: can loop, writes other state, writes storage, writes memory