summaryrefslogtreecommitdiff
path: root/test/example
diff options
context:
space:
mode:
authorAlon Zakai <alonzakai@gmail.com>2016-05-15 16:33:29 -0700
committerAlon Zakai <alonzakai@gmail.com>2016-05-15 16:36:18 -0700
commit22686b6bb91361c3ab20e07bc8b9ce17fdac661f (patch)
tree174007a339944a8c918cc12c59e823023f1fa2a4 /test/example
parenta76a828b7b086d80b6673fa8e87887d84f7c5488 (diff)
downloadbinaryen-22686b6bb91361c3ab20e07bc8b9ce17fdac661f.tar.gz
binaryen-22686b6bb91361c3ab20e07bc8b9ce17fdac661f.tar.bz2
binaryen-22686b6bb91361c3ab20e07bc8b9ce17fdac661f.zip
add cfg-building traversal and a pass to coalesce locals using it
Diffstat (limited to 'test/example')
-rw-r--r--test/example/relooper-fuzz.txt30
1 files changed, 11 insertions, 19 deletions
diff --git a/test/example/relooper-fuzz.txt b/test/example/relooper-fuzz.txt
index 7dab4c5be..6a45dbe84 100644
--- a/test/example/relooper-fuzz.txt
+++ b/test/example/relooper-fuzz.txt
@@ -158,33 +158,29 @@
(if
(i32.eq
(i32.rem_u
- (set_local $0
- (call $check)
- )
+ (call $check)
(i32.const 2)
)
(i32.const 0)
)
- (set_local $1
+ (set_local $0
(i32.const 6)
)
(block
(call_import $print
(i32.const 8)
)
- (set_local $0
- (call $check)
- )
+ (call $check)
)
)
(loop $shape$3$break $shape$3$continue
(if
(i32.eq
- (get_local $1)
+ (get_local $0)
(i32.const 6)
)
(block
- (set_local $1
+ (set_local $0
(i32.const 0)
)
(call_import $print
@@ -193,16 +189,14 @@
(if
(i32.eq
(i32.rem_u
- (set_local $0
- (call $check)
- )
+ (call $check)
(i32.const 2)
)
(i32.const 0)
)
(br $shape$3$continue)
(block
- (set_local $1
+ (set_local $0
(i32.const 6)
)
(br $shape$3$continue)
@@ -216,7 +210,7 @@
(if
(i32.eq
(i32.rem_u
- (set_local $0
+ (set_local $1
(call $check)
)
(i32.const 3)
@@ -227,13 +221,13 @@
(if
(i32.eq
(i32.rem_u
- (get_local $0)
+ (get_local $1)
(i32.const 3)
)
(i32.const 1)
)
(block
- (set_local $1
+ (set_local $0
(i32.const 6)
)
(br $shape$3$continue)
@@ -243,10 +237,8 @@
(call_import $print
(i32.const 2)
)
+ (call $check)
(set_local $0
- (call $check)
- )
- (set_local $1
(i32.const 6)
)
(br $shape$3$continue)