aboutsummaryrefslogtreecommitdiffstats
path: root/test/libyul/yulOptimizerTests/ssaTransform/branches.yul
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-10-19 17:10:08 +0800
committerGitHub <noreply@github.com>2018-10-19 17:10:08 +0800
commitc676b009e1de3e8f87d43342d6f82d687acbe7fa (patch)
tree5bae94b8833d752c70117cf4b21f8c6a6b983d83 /test/libyul/yulOptimizerTests/ssaTransform/branches.yul
parent5c274a9251f3beba5c23518e080f968930c69501 (diff)
parent465845b7a7e41345c47722bf7f2fcbd8b48248db (diff)
downloaddexon-solidity-c676b009e1de3e8f87d43342d6f82d687acbe7fa.tar.gz
dexon-solidity-c676b009e1de3e8f87d43342d6f82d687acbe7fa.tar.zst
dexon-solidity-c676b009e1de3e8f87d43342d6f82d687acbe7fa.zip
Merge pull request #5267 from ethereum/ssatransform
SSA transform - first step.
Diffstat (limited to 'test/libyul/yulOptimizerTests/ssaTransform/branches.yul')
-rw-r--r--test/libyul/yulOptimizerTests/ssaTransform/branches.yul25
1 files changed, 25 insertions, 0 deletions
diff --git a/test/libyul/yulOptimizerTests/ssaTransform/branches.yul b/test/libyul/yulOptimizerTests/ssaTransform/branches.yul
new file mode 100644
index 00000000..c089fe70
--- /dev/null
+++ b/test/libyul/yulOptimizerTests/ssaTransform/branches.yul
@@ -0,0 +1,25 @@
+{
+ let a := 1
+ a := add(a, 1)
+ if a {
+ a := add(a, 1)
+ }
+ a := add(a, 1)
+ mstore(a, 1)
+}
+// ----
+// ssaTransform
+// {
+// let a_1 := 1
+// let a := a_1
+// let a_2 := add(a_1, 1)
+// a := a_2
+// if a_2
+// {
+// let a_3 := add(a_2, 1)
+// a := a_3
+// }
+// let a_4 := add(a, 1)
+// a := a_4
+// mstore(a_4, 1)
+// }