summaryrefslogtreecommitdiff
path: root/test/example
diff options
context:
space:
mode:
Diffstat (limited to 'test/example')
-rw-r--r--test/example/c-api-kitchen-sink.txt20
-rw-r--r--test/example/c-api-kitchen-sink.txt.txt10
-rw-r--r--test/example/relooper-fuzz.txt56
3 files changed, 40 insertions, 46 deletions
diff --git a/test/example/c-api-kitchen-sink.txt b/test/example/c-api-kitchen-sink.txt
index 574be4965..9f1021b30 100644
--- a/test/example/c-api-kitchen-sink.txt
+++ b/test/example/c-api-kitchen-sink.txt
@@ -1104,11 +1104,10 @@ optimized:
(call_import $check
(i32.const 1)
)
- (if
+ (br_if $shape$0$continue
(i32.const 10)
- (br $shape$0$continue)
- (br $block$3$break)
)
+ (br $block$3$break)
)
)
(call_import $check
@@ -1131,11 +1130,10 @@ optimized:
(call_import $check
(i32.const 2)
)
- (if
+ (br_if $block$4$break
(i32.const -6)
- (br $block$4$break)
- (br $shape$1$continue)
)
+ (br $shape$1$continue)
)
)
(call_import $check
@@ -3161,11 +3159,10 @@ optimized:
(call_import $check
(i32.const 1)
)
- (if
+ (br_if $shape$0$continue
(i32.const 10)
- (br $shape$0$continue)
- (br $block$3$break)
)
+ (br $block$3$break)
)
)
(call_import $check
@@ -3188,11 +3185,10 @@ optimized:
(call_import $check
(i32.const 2)
)
- (if
+ (br_if $block$4$break
(i32.const -6)
- (br $block$4$break)
- (br $shape$1$continue)
)
+ (br $shape$1$continue)
)
)
(call_import $check
diff --git a/test/example/c-api-kitchen-sink.txt.txt b/test/example/c-api-kitchen-sink.txt.txt
index 991c8738c..022bcc2e3 100644
--- a/test/example/c-api-kitchen-sink.txt.txt
+++ b/test/example/c-api-kitchen-sink.txt.txt
@@ -1097,11 +1097,10 @@
(call_import $check
(i32.const 1)
)
- (if
+ (br_if $shape$0$continue
(i32.const 10)
- (br $shape$0$continue)
- (br $block$3$break)
)
+ (br $block$3$break)
)
)
(call_import $check
@@ -1124,11 +1123,10 @@
(call_import $check
(i32.const 2)
)
- (if
+ (br_if $block$4$break
(i32.const -6)
- (br $block$4$break)
- (br $shape$1$continue)
)
+ (br $shape$1$continue)
)
)
(call_import $check
diff --git a/test/example/relooper-fuzz.txt b/test/example/relooper-fuzz.txt
index b46932009..5db33f21e 100644
--- a/test/example/relooper-fuzz.txt
+++ b/test/example/relooper-fuzz.txt
@@ -478,47 +478,47 @@
(call_import $print
(i32.const 5)
)
- (if
- (i32.rem_u
- (call $check)
- (i32.const 2)
- )
- (block
- (set_local $0
- (i32.const 6)
+ (br_if $shape$3$continue
+ (i32.eqz
+ (i32.rem_u
+ (call $check)
+ (i32.const 2)
)
- (br $shape$3$continue)
)
- (br $shape$3$continue)
)
+ (set_local $0
+ (i32.const 6)
+ )
+ (br $shape$3$continue)
)
)
(call_import $print
(i32.const 4)
)
- (if
- (i32.rem_u
- (tee_local $1
- (call $check)
+ (br_if $shape$3$continue
+ (i32.eqz
+ (i32.rem_u
+ (tee_local $1
+ (call $check)
+ )
+ (i32.const 3)
)
- (i32.const 3)
)
- (if
- (i32.eq
- (i32.rem_u
- (get_local $1)
- (i32.const 3)
- )
- (i32.const 1)
+ )
+ (if
+ (i32.eq
+ (i32.rem_u
+ (get_local $1)
+ (i32.const 3)
)
- (block
- (set_local $0
- (i32.const 6)
- )
- (br $shape$3$continue)
+ (i32.const 1)
+ )
+ (block
+ (set_local $0
+ (i32.const 6)
)
+ (br $shape$3$continue)
)
- (br $shape$3$continue)
)
(call_import $print
(i32.const 2)