summaryrefslogtreecommitdiff
path: root/test/example
diff options
context:
space:
mode:
Diffstat (limited to 'test/example')
-rw-r--r--test/example/c-api-kitchen-sink.txt152
-rw-r--r--test/example/relooper-fuzz.txt82
-rw-r--r--test/example/relooper-fuzz1.txt114
-rw-r--r--test/example/relooper-fuzz2.txt4
-rw-r--r--test/example/relooper-merge1.txt4
-rw-r--r--test/example/relooper-merge2.txt4
-rw-r--r--test/example/relooper-merge3.txt4
-rw-r--r--test/example/relooper-merge4.txt4
-rw-r--r--test/example/relooper-merge5.txt4
-rw-r--r--test/example/relooper-merge6.txt4
-rw-r--r--test/example/relooper-merge7.txt8
11 files changed, 237 insertions, 147 deletions
diff --git a/test/example/c-api-kitchen-sink.txt b/test/example/c-api-kitchen-sink.txt
index 06ec3a1b7..75c71b4ab 100644
--- a/test/example/c-api-kitchen-sink.txt
+++ b/test/example/c-api-kitchen-sink.txt
@@ -1969,17 +1969,23 @@ BinaryenFeatureAll: 131071
)
(if
(i32.const 1)
- (drop
- (i32.const 2)
+ (then
+ (drop
+ (i32.const 2)
+ )
)
- (drop
- (i32.const 3)
+ (else
+ (drop
+ (i32.const 3)
+ )
)
)
(if
(i32.const 4)
- (drop
- (i32.const 5)
+ (then
+ (drop
+ (i32.const 5)
+ )
)
)
(drop
@@ -2685,14 +2691,18 @@ raw:
)
(if
(i32.const 55)
- (block
- (call $check
- (i32.const 1)
+ (then
+ (block
+ (call $check
+ (i32.const 1)
+ )
)
)
- (block
- (call $check
- (i32.const 2)
+ (else
+ (block
+ (call $check
+ (i32.const 2)
+ )
)
)
)
@@ -2704,7 +2714,7 @@ raw:
)
(if
(i32.const 55)
- (block
+ (then
(drop
(i32.const 10)
)
@@ -2714,7 +2724,7 @@ raw:
)
)
)
- (block
+ (else
(drop
(i32.const 20)
)
@@ -2734,15 +2744,19 @@ raw:
)
(if
(i32.const 55)
- (block
- (call $check
- (i32.const 1)
- )
+ (then
(block
- (br $block$3$break)
+ (call $check
+ (i32.const 1)
+ )
+ (block
+ (br $block$3$break)
+ )
)
)
- (br $block$3$break)
+ (else
+ (br $block$3$break)
+ )
)
)
(block
@@ -2759,7 +2773,7 @@ raw:
)
(if
(i32.const 55)
- (block
+ (then
(drop
(i32.const -1)
)
@@ -2775,7 +2789,7 @@ raw:
)
)
)
- (block
+ (else
(drop
(i32.const -2)
)
@@ -2797,20 +2811,24 @@ raw:
)
(if
(i32.const 55)
- (block
- (call $check
- (i32.const 1)
- )
+ (then
(block
- (br $block$4$break)
+ (call $check
+ (i32.const 1)
+ )
+ (block
+ (br $block$4$break)
+ )
)
)
- (block
- (call $check
- (i32.const 2)
- )
+ (else
(block
- (br $block$4$break)
+ (call $check
+ (i32.const 2)
+ )
+ (block
+ (br $block$4$break)
+ )
)
)
)
@@ -2835,8 +2853,12 @@ raw:
)
(if
(i32.const 10)
- (br $shape$0$continue)
- (br $block$3$break)
+ (then
+ (br $shape$0$continue)
+ )
+ (else
+ (br $block$3$break)
+ )
)
)
)
@@ -2869,8 +2891,10 @@ raw:
)
(if
(i32.const -2)
- (br $block$3$break)
- (block
+ (then
+ (br $block$3$break)
+ )
+ (else
(drop
(i32.const 20)
)
@@ -2884,8 +2908,10 @@ raw:
)
(if
(i32.const -6)
- (br $block$4$break)
- (block
+ (then
+ (br $block$4$break)
+ )
+ (else
(drop
(i32.const 30)
)
@@ -2902,15 +2928,19 @@ raw:
)
(if
(i32.const -10)
- (block
- (call $check
- (i32.const 4)
- )
+ (then
(block
- (br $block$6$break)
+ (call $check
+ (i32.const 4)
+ )
+ (block
+ (br $block$6$break)
+ )
)
)
- (br $block$6$break)
+ (else
+ (br $block$6$break)
+ )
)
)
(block
@@ -2993,13 +3023,13 @@ raw:
)
(if
(i32.const 10)
- (block
+ (then
(local.set $3
(i32.const 2)
)
(br $block$2$break)
)
- (block
+ (else
(local.set $3
(i32.const 3)
)
@@ -3015,7 +3045,7 @@ raw:
(local.get $3)
(i32.const 2)
)
- (block
+ (then
(local.set $3
(i32.const 0)
)
@@ -3029,23 +3059,25 @@ raw:
(br $shape$1$continue)
)
)
- (if
- (i32.eq
- (local.get $3)
- (i32.const 3)
- )
- (block
- (local.set $3
- (i32.const 0)
- )
- (call $check
- (i32.const 2)
+ (else
+ (if
+ (i32.eq
+ (local.get $3)
+ (i32.const 3)
)
- (block
+ (then
(local.set $3
+ (i32.const 0)
+ )
+ (call $check
(i32.const 2)
)
- (br $shape$1$continue)
+ (block
+ (local.set $3
+ (i32.const 2)
+ )
+ (br $shape$1$continue)
+ )
)
)
)
diff --git a/test/example/relooper-fuzz.txt b/test/example/relooper-fuzz.txt
index c962a3e0a..1030fac32 100644
--- a/test/example/relooper-fuzz.txt
+++ b/test/example/relooper-fuzz.txt
@@ -14,7 +14,9 @@
)
(i32.const 108)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
@@ -172,24 +174,26 @@
)
(i32.const 0)
)
- (block
+ (then
(local.set $1
(i32.const 6)
)
(br $block$6$break)
)
- (block
+ (else
(block
- (call $print
- (i32.const 8)
+ (block
+ (call $print
+ (i32.const 8)
+ )
+ (local.set $0
+ (call $check)
+ )
)
- (local.set $0
- (call $check)
+ (block
+ (br $block$5$break)
)
)
- (block
- (br $block$5$break)
- )
)
)
)
@@ -202,7 +206,7 @@
(local.get $1)
(i32.const 6)
)
- (block
+ (then
(local.set $1
(i32.const 0)
)
@@ -222,8 +226,10 @@
)
(i32.const 0)
)
- (br $shape$3$continue)
- (block
+ (then
+ (br $shape$3$continue)
+ )
+ (else
(local.set $1
(i32.const 6)
)
@@ -251,22 +257,28 @@
)
(i32.const 0)
)
- (br $shape$3$continue)
- (if
- (i32.eq
- (i32.rem_u
- (local.get $0)
- (i32.const 3)
+ (then
+ (br $shape$3$continue)
+ )
+ (else
+ (if
+ (i32.eq
+ (i32.rem_u
+ (local.get $0)
+ (i32.const 3)
+ )
+ (i32.const 1)
)
- (i32.const 1)
- )
- (block
- (local.set $1
- (i32.const 6)
+ (then
+ (local.set $1
+ (i32.const 6)
+ )
+ (br $shape$3$continue)
+ )
+ (else
+ (br $block$3$break)
)
- (br $shape$3$continue)
)
- (br $block$3$break)
)
)
)
@@ -307,7 +319,9 @@
)
(i32.const 108)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
@@ -453,7 +467,7 @@
(call $check)
(i32.const 1)
)
- (block
+ (then
(call $print
(i32.const 8)
)
@@ -461,8 +475,10 @@
(call $check)
)
)
- (local.set $0
- (i32.const 6)
+ (else
+ (local.set $0
+ (i32.const 6)
+ )
)
)
(loop $shape$3$continue
@@ -471,7 +487,7 @@
(local.get $0)
(i32.const 6)
)
- (block
+ (then
(local.set $0
(i32.const 0)
)
@@ -513,13 +529,13 @@
)
(i32.const 1)
)
- (block
+ (then
(local.set $0
(i32.const 6)
)
(br $shape$3$continue)
)
- (block
+ (else
(call $print
(i32.const 2)
)
diff --git a/test/example/relooper-fuzz1.txt b/test/example/relooper-fuzz1.txt
index 1fb24808e..3cdb12e69 100644
--- a/test/example/relooper-fuzz1.txt
+++ b/test/example/relooper-fuzz1.txt
@@ -14,7 +14,9 @@
)
(i32.const 120)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
@@ -184,37 +186,49 @@
)
(i32.const 0)
)
- (br $block$3$break)
- (if
- (i32.eq
- (i32.rem_u
- (local.get $0)
- (i32.const 4)
- )
- (i32.const 2)
- )
- (block
- (block
- (call $print
- (i32.const 7)
- )
- (local.set $0
- (call $check)
+ (then
+ (br $block$3$break)
+ )
+ (else
+ (if
+ (i32.eq
+ (i32.rem_u
+ (local.get $0)
+ (i32.const 4)
)
+ (i32.const 2)
)
- (if
- (i32.eq
- (i32.rem_u
- (local.get $0)
- (i32.const 3)
+ (then
+ (block
+ (block
+ (call $print
+ (i32.const 7)
+ )
+ (local.set $0
+ (call $check)
+ )
+ )
+ (if
+ (i32.eq
+ (i32.rem_u
+ (local.get $0)
+ (i32.const 3)
+ )
+ (i32.const 0)
+ )
+ (then
+ (br $block$3$break)
+ )
+ (else
+ (br $block$10$break)
+ )
)
- (i32.const 0)
)
- (br $block$3$break)
- (br $block$10$break)
+ )
+ (else
+ (br $block$4$break)
)
)
- (br $block$4$break)
)
)
)
@@ -235,8 +249,12 @@
)
(i32.const 0)
)
- (br $block$4$break)
- (br $block$10$break)
+ (then
+ (br $block$4$break)
+ )
+ (else
+ (br $block$10$break)
+ )
)
)
)
@@ -283,7 +301,9 @@
)
(i32.const 120)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
@@ -444,26 +464,30 @@
)
(i32.const 3)
)
- (if
- (i32.eq
- (i32.and
- (local.get $0)
- (i32.const 3)
- )
- (i32.const 2)
- )
- (block
- (call $print
- (i32.const 7)
- )
- (br_if $block$10$break
- (i32.rem_u
- (call $check)
+ (then
+ (if
+ (i32.eq
+ (i32.and
+ (local.get $0)
(i32.const 3)
)
+ (i32.const 2)
+ )
+ (then
+ (call $print
+ (i32.const 7)
+ )
+ (br_if $block$10$break
+ (i32.rem_u
+ (call $check)
+ (i32.const 3)
+ )
+ )
+ )
+ (else
+ (br $block$4$break)
)
)
- (br $block$4$break)
)
)
(call $print
diff --git a/test/example/relooper-fuzz2.txt b/test/example/relooper-fuzz2.txt
index bee8277d7..0b3fdb2fd 100644
--- a/test/example/relooper-fuzz2.txt
+++ b/test/example/relooper-fuzz2.txt
@@ -14,7 +14,9 @@
)
(i32.const 108)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
diff --git a/test/example/relooper-merge1.txt b/test/example/relooper-merge1.txt
index 1d5779259..61816bebd 100644
--- a/test/example/relooper-merge1.txt
+++ b/test/example/relooper-merge1.txt
@@ -14,7 +14,9 @@
)
(i32.const 48)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
diff --git a/test/example/relooper-merge2.txt b/test/example/relooper-merge2.txt
index 31a13192d..a52ee20b3 100644
--- a/test/example/relooper-merge2.txt
+++ b/test/example/relooper-merge2.txt
@@ -14,7 +14,9 @@
)
(i32.const 48)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
diff --git a/test/example/relooper-merge3.txt b/test/example/relooper-merge3.txt
index a856d10b0..3c8f3f538 100644
--- a/test/example/relooper-merge3.txt
+++ b/test/example/relooper-merge3.txt
@@ -14,7 +14,9 @@
)
(i32.const 48)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
diff --git a/test/example/relooper-merge4.txt b/test/example/relooper-merge4.txt
index 6f0f7d5b3..5d3420f49 100644
--- a/test/example/relooper-merge4.txt
+++ b/test/example/relooper-merge4.txt
@@ -14,7 +14,9 @@
)
(i32.const 48)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
diff --git a/test/example/relooper-merge5.txt b/test/example/relooper-merge5.txt
index c09c016b9..38aaf6a02 100644
--- a/test/example/relooper-merge5.txt
+++ b/test/example/relooper-merge5.txt
@@ -14,7 +14,9 @@
)
(i32.const 48)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
diff --git a/test/example/relooper-merge6.txt b/test/example/relooper-merge6.txt
index dca86d40a..9519d0242 100644
--- a/test/example/relooper-merge6.txt
+++ b/test/example/relooper-merge6.txt
@@ -14,7 +14,9 @@
)
(i32.const 48)
)
- (unreachable)
+ (then
+ (unreachable)
+ )
)
(i32.store
(i32.const 4)
diff --git a/test/example/relooper-merge7.txt b/test/example/relooper-merge7.txt
index 23ffffb21..fb54ddea9 100644
--- a/test/example/relooper-merge7.txt
+++ b/test/example/relooper-merge7.txt
@@ -7,8 +7,12 @@
)
(if
(i32.const -10)
- (br $block$3$break)
- (br $block$2$break)
+ (then
+ (br $block$3$break)
+ )
+ (else
+ (br $block$2$break)
+ )
)
)
(block
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-18 15:29:58 +0000