1 files changed, 18 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/expressionInliner/double_recursive_calls.yul b/test/libyul/yulOptimizerTests/expressionInliner/double_recursive_calls.yul
new file mode 100644
index 00000000..082cb53f
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/expressionInliner/double_recursive_calls.yul
@@ -0,0 +1,18 @@
+{
+	function f(a, r) -> x { x := g(a, g(r, r)) }
+	function g(b, s) -> y { y := f(b, f(s, s)) }
+	let y := g(calldatasize(), 7)
+}
+// ----
+// expressionInliner
+// {
+//     function f(a, r) -> x
+//     {
+//         x := g(a, f(r, f(r, r)))
+//     }
+//     function g(b, s) -> y
+//     {
+//         y := f(b, g(s, f(s, f(s, s))))
+//     }
+//     let y_1 := f(calldatasize(), g(7, f(7, f(7, 7))))
+// }