1 files changed, 19 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/rematerialiser/reassignment.yul b/test/libyul/yulOptimizerTests/rematerialiser/reassignment.yul
new file mode 100644
index 00000000..13238780
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/reassignment.yul
@@ -0,0 +1,19 @@
+{
+    let a := 1
+    pop(a)
+    if a { a := 2 }
+    let b := mload(a)
+    pop(b)
+}
+// ----
+// rematerialiser
+// {
+//     let a := 1
+//     pop(1)
+//     if 1
+//     {
+//         a := 2
+//     }
+//     let b := mload(a)
+//     pop(b)
+// }