aboutsummaryrefslogtreecommitdiffstats
path: root/test/libjulia/yulOptimizerTests/fullInliner/pop_result.yul
diff options
context:
space:
mode:
Diffstat (limited to 'test/libjulia/yulOptimizerTests/fullInliner/pop_result.yul')
-rw-r--r--test/libjulia/yulOptimizerTests/fullInliner/pop_result.yul28
1 files changed, 28 insertions, 0 deletions
diff --git a/test/libjulia/yulOptimizerTests/fullInliner/pop_result.yul b/test/libjulia/yulOptimizerTests/fullInliner/pop_result.yul
new file mode 100644
index 00000000..3883c67c
--- /dev/null
+++ b/test/libjulia/yulOptimizerTests/fullInliner/pop_result.yul
@@ -0,0 +1,28 @@
+// This tests that `pop(r)` is removed.
+{
+ function f(a) -> x {
+ let r := mul(a, a)
+ x := add(r, r)
+ }
+ pop(add(f(7), 2))
+}
+// ----
+// fullInliner
+// {
+// {
+// let _1 := 2
+// let f_a := 7
+// let f_x
+// {
+// let f_r := mul(f_a, f_a)
+// f_x := add(f_r, f_r)
+// }
+// {
+// }
+// }
+// function f(a) -> x
+// {
+// let r := mul(a, a)
+// x := add(r, r)
+// }
+// }