1 files changed, 10 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/invariant.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/invariant.yul
new file mode 100644
index 00000000..e6d84552
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/expressionSimplifier/invariant.yul
@@ -0,0 +1,10 @@
+{
+    let a := mload(sub(7, 7))
+    let b := sub(a, 0)
+}
+// ----
+// expressionSimplifier
+// {
+//     let a := mload(0)
+//     let b := a
+// }