1 files changed, 36 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/ssaAndBack/for_loop.yul b/test/libyul/yulOptimizerTests/ssaAndBack/for_loop.yul
new file mode 100644
index 00000000..18498e61
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/ssaAndBack/for_loop.yul
@@ -0,0 +1,36 @@
+{
+    for {
+      let a := mload(0)
+      let b := mload(1)
+    }
+    lt(mload(a),mload(b))
+    {
+       a := mload(b)
+    }
+    {
+        b := mload(a)
+        a := mload(b)
+        a := mload(b)
+        a := mload(b)
+        b := mload(a)
+    }
+}
+// ----
+// ssaAndBack
+// {
+//     for {
+//         let a := mload(0)
+//         let b := mload(1)
+//     }
+//     lt(mload(a), mload(b))
+//     {
+//         a := mload(b)
+//     }
+//     {
+//         let b_3 := mload(a)
+//         pop(mload(b_3))
+//         pop(mload(b_3))
+//         let a_6 := mload(b_3)
+//         b := mload(a_6)
+//     }
+// }