1 files changed, 14 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/expressionInliner/no_inline_mload.yul b/test/libyul/yulOptimizerTests/expressionInliner/no_inline_mload.yul
new file mode 100644
index 00000000..0fb43a9d
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/expressionInliner/no_inline_mload.yul
@@ -0,0 +1,14 @@
+// Does not inline because mload could be moved out of sequence
+{
+    function f(a) -> x { x := a }
+    let y := f(mload(2))
+}
+// ----
+// expressionInliner
+// {
+//     function f(a) -> x
+//     {
+//         x := a
+//     }
+//     let y := f(mload(2))
+// }