1 files changed, 10 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/fullSimplify/identity_rules_negative.yul b/test/libyul/yulOptimizerTests/fullSimplify/identity_rules_negative.yul
new file mode 100644
index 00000000..a1737efa
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullSimplify/identity_rules_negative.yul
@@ -0,0 +1,10 @@
+{
+    let a := sub(calldataload(1), calldataload(0))
+    mstore(0, a)
+}
+// ----
+// fullSimplify
+// {
+//     let _1 := 0
+//     mstore(_1, sub(calldataload(1), calldataload(_1)))
+// }