aboutsummaryrefslogtreecommitdiffstats
path: root/test/libjulia/yulOptimizerTests/expressionSimplifier/invariant.yul
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-10-12 00:35:13 +0800
committerchriseth <chris@ethereum.org>2018-10-12 00:41:26 +0800
commit463642996ada7ac53ca6baef82626083367f4877 (patch)
tree6d3c92148b1a05d3ca518301f09cf7d8cda5d481 /test/libjulia/yulOptimizerTests/expressionSimplifier/invariant.yul
parent6dfd0adc0ba5673071f280ee5f68806f5aeecebd (diff)
downloaddexon-solidity-463642996ada7ac53ca6baef82626083367f4877.tar.gz
dexon-solidity-463642996ada7ac53ca6baef82626083367f4877.tar.zst
dexon-solidity-463642996ada7ac53ca6baef82626083367f4877.zip
Move expression simplifier tests.
Diffstat (limited to 'test/libjulia/yulOptimizerTests/expressionSimplifier/invariant.yul')
-rw-r--r--test/libjulia/yulOptimizerTests/expressionSimplifier/invariant.yul10
1 files changed, 10 insertions, 0 deletions
diff --git a/test/libjulia/yulOptimizerTests/expressionSimplifier/invariant.yul b/test/libjulia/yulOptimizerTests/expressionSimplifier/invariant.yul
new file mode 100644
index 00000000..e6d84552
--- /dev/null
+++ b/test/libjulia/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
+// }