1 files changed, 22 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/ssaAndBack/multi_assign_if.yul b/test/libyul/yulOptimizerTests/ssaAndBack/multi_assign_if.yul
new file mode 100644
index 00000000..fd5981ef
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/ssaAndBack/multi_assign_if.yul
@@ -0,0 +1,22 @@
+{
+    let a := mload(0)
+    if mload(1)
+    {
+        a := mload(1)
+        a := mload(2)
+        a := mload(3)
+    }
+    mstore(a, 0)
+}
+// ----
+// ssaAndBack
+// {
+//     let a := mload(0)
+//     if mload(1)
+//     {
+//         pop(mload(1))
+//         pop(mload(2))
+//         a := mload(3)
+//     }
+//     mstore(a, 0)
+// }