1 files changed, 25 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/branches_for2.yul b/test/libyul/yulOptimizerTests/rematerialiser/branches_for2.yul
new file mode 100644
index 00000000..6a52e045
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/branches_for2.yul
@@ -0,0 +1,25 @@
+{
+    let a := 1
+    for { pop(a) } a { pop(a) } {
+        a := 7
+        let c := a
+    }
+    let x := a
+}
+// ----
+// rematerialiser
+// {
+//     let a := 1
+//     for {
+//         pop(1)
+//     }
+//     a
+//     {
+//         pop(7)
+//     }
+//     {
+//         a := 7
+//         let c := 7
+//     }
+//     let x := a
+// }