aboutsummaryrefslogtreecommitdiffstats
path: root/test/libyul/yulOptimizerTests/expressionSimplifier
diff options
context:
space:
mode:
Diffstat (limited to 'test/libyul/yulOptimizerTests/expressionSimplifier')
-rw-r--r--test/libyul/yulOptimizerTests/expressionSimplifier/unassigend_vars_multi.yul5
-rw-r--r--test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul5
2 files changed, 4 insertions, 6 deletions
diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/unassigend_vars_multi.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/unassigend_vars_multi.yul
index 8c1ad789..f260db0b 100644
--- a/test/libyul/yulOptimizerTests/expressionSimplifier/unassigend_vars_multi.yul
+++ b/test/libyul/yulOptimizerTests/expressionSimplifier/unassigend_vars_multi.yul
@@ -1,5 +1,4 @@
-// c & d can't be optimized as expression simplifier doesn't handle default
-// values yet
+// Unassigned variables are assumed to be zero.
{
let c, d
let y := add(d, add(c, 7))
@@ -8,5 +7,5 @@
// expressionSimplifier
// {
// let c, d
-// let y := add(add(d, c), 7)
+// let y := 7
// }
diff --git a/test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul b/test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul
index 87391b8c..7b1430f3 100644
--- a/test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul
+++ b/test/libyul/yulOptimizerTests/expressionSimplifier/unassigned_vars.yul
@@ -1,5 +1,4 @@
-// c & d can't be optimized as expression simplifier doesn't handle default
-// values yet
+// Unassigned variables are assumed to be zero.
{
let c
let d
@@ -10,5 +9,5 @@
// {
// let c
// let d
-// let y := add(add(d, c), 7)
+// let y := 7
// }