Add a "full simplify" test that applies multiple elementary transforms.

1 files changed, 9 insertions, 0 deletions

diff --git a/test/libyul/yulOptimizerTests/fullSimplify/constants.yul b/test/libyul/yulOptimizerTests/fullSimplify/constants.yul
new file mode 100644
index 00000000..b9c7c1fc
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/fullSimplify/constants.yul
@@ -0,0 +1,9 @@
+{
+    let a := add(1, mul(3, 4))
+    mstore(0, a)
+}
+// ----
+// fullSimplify
+// {
+//     mstore(0, 13)
+// }