1 files changed, 18 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/ssaAndBack/single_assign_if.yul b/test/libyul/yulOptimizerTests/ssaAndBack/single_assign_if.yul
new file mode 100644
index 00000000..5185245c
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/ssaAndBack/single_assign_if.yul
@@ -0,0 +1,18 @@
+{
+    let a := mload(0)
+    if mload(1)
+    {
+        a := mload(1)
+    }
+    mstore(a, 0)
+}
+// ----
+// ssaAndBack
+// {
+//     let a := mload(0)
+//     if mload(1)
+//     {
+//         a := mload(1)
+//     }
+//     mstore(a, 0)
+// }