diff --git a/test/libyul/yulOptimizerTests/rematerialiser/for_continue_2.yul b/test/libyul/yulOptimizerTests/rematerialiser/for_continue_2.yul
new file mode 100644
index 000000000..a95d24add
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/rematerialiser/for_continue_2.yul
@@ -0,0 +1,52 @@
+{
+	let a
+	let b
+	let c
+	for { let i := 0 }
+		lt(i, 10)
+		{ i := add(add(a, b), c) } // `b` is always known to be caller() but `a` and `c` may be origin() or caller().
+	{
+		a := origin()
+		b := origin()
+		c := origin()
+
+		b := caller()
+		if callvalue() { continue }
+		a := caller()
+
+		if callvalue() { continue }
+		c := caller()
+	}
+	mstore(a, b)
+}
+// ----
+// rematerialiser
+// {
+//     let a
+//     let b
+//     let c
+//     for {
+//         let i := 0
+//     }
+//     lt(i, 10)
+//     {
+//         i := add(add(a, caller()), c)
+//     }
+//     {
+//         a := origin()
+//         b := origin()
+//         c := origin()
+//         b := caller()
+//         if callvalue()
+//         {
+//             continue
+//         }
+//         a := caller()
+//         if callvalue()
+//         {
+//             continue
+//         }
+//         c := caller()
+//     }
+//     mstore(a, b)
+// }