summaryrefslogtreecommitdiff
path: root/test/example
diff options
context:
space:
mode:
Diffstat (limited to 'test/example')
-rw-r--r--test/example/c-api-hello-world.txt4
-rw-r--r--test/example/c-api-kitchen-sink.txt222
-rw-r--r--test/example/c-api-kitchen-sink.txt.txt108
-rw-r--r--test/example/c-api-unused-mem.txt8
-rw-r--r--test/example/relooper-fuzz.txt46
-rw-r--r--test/example/relooper-fuzz1.txt22
-rw-r--r--test/example/relooper-fuzz2.txt4
-rw-r--r--test/example/relooper-merge1.txt4
-rw-r--r--test/example/relooper-merge2.txt12
-rw-r--r--test/example/relooper-merge3.txt10
-rw-r--r--test/example/relooper-merge4.txt10
-rw-r--r--test/example/relooper-merge5.txt10
-rw-r--r--test/example/relooper-merge6.txt10
13 files changed, 235 insertions, 235 deletions
diff --git a/test/example/c-api-hello-world.txt b/test/example/c-api-hello-world.txt
index 624ba1571..41cfa559c 100644
--- a/test/example/c-api-hello-world.txt
+++ b/test/example/c-api-hello-world.txt
@@ -2,8 +2,8 @@
(type $iii (func (param i32 i32) (result i32)))
(func $adder (; 0 ;) (type $iii) (param $0 i32) (param $1 i32) (result i32)
(i32.add
- (get_local $0)
- (get_local $1)
+ (local.get $0)
+ (local.get $1)
)
)
)
diff --git a/test/example/c-api-kitchen-sink.txt b/test/example/c-api-kitchen-sink.txt
index 8b716f1b3..797d4e5e1 100644
--- a/test/example/c-api-kitchen-sink.txt
+++ b/test/example/c-api-kitchen-sink.txt
@@ -17,7 +17,7 @@ BinaryenTypeAuto: -1
(import "module" "base" (func $an-imported (param i32 f64) (result f32)))
(memory $0 1 256)
(data (i32.const 10) "hello, world")
- (table $0 1 1 anyfunc)
+ (table $0 1 1 funcref)
(elem (i32.const 0) "$kitchen()sinker")
(global $a-global i32 (i32.const 7))
(global $a-mutable-global (mut f32) (f32.const 7.5))
@@ -86,167 +86,167 @@ BinaryenTypeAuto: -1
)
)
(drop
- (i64.extend_s/i32
+ (i64.extend_i32_s
(i32.const -10)
)
)
(drop
- (i64.extend_u/i32
+ (i64.extend_i32_u
(i32.const -10)
)
)
(drop
- (i32.wrap/i64
+ (i32.wrap_i64
(i64.const -22)
)
)
(drop
- (i32.trunc_s/f32
+ (i32.trunc_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_s/f32
+ (i64.trunc_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_u/f32
+ (i32.trunc_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_u/f32
+ (i64.trunc_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_s/f64
+ (i32.trunc_f64_s
(f64.const -9005.841)
)
)
(drop
- (i64.trunc_s/f64
+ (i64.trunc_f64_s
(f64.const -9005.841)
)
)
(drop
- (i32.trunc_u/f64
+ (i32.trunc_f64_u
(f64.const -9005.841)
)
)
(drop
- (i64.trunc_u/f64
+ (i64.trunc_f64_u
(f64.const -9005.841)
)
)
(drop
- (i32.trunc_s:sat/f32
+ (i32.trunc_sat_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_s:sat/f32
+ (i64.trunc_sat_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_u:sat/f32
+ (i32.trunc_sat_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_u:sat/f32
+ (i64.trunc_sat_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_s:sat/f64
+ (i32.trunc_sat_f64_s
(f64.const -9005.841)
)
)
(drop
- (i64.trunc_s:sat/f64
+ (i64.trunc_sat_f64_s
(f64.const -9005.841)
)
)
(drop
- (i32.trunc_u:sat/f64
+ (i32.trunc_sat_f64_u
(f64.const -9005.841)
)
)
(drop
- (i64.trunc_u:sat/f64
+ (i64.trunc_sat_f64_u
(f64.const -9005.841)
)
)
(drop
- (i32.reinterpret/f32
+ (i32.reinterpret_f32
(f32.const -33.61199951171875)
)
)
(drop
- (i64.reinterpret/f64
+ (i64.reinterpret_f64
(f64.const -9005.841)
)
)
(drop
- (f32.convert_s/i32
+ (f32.convert_i32_s
(i32.const -10)
)
)
(drop
- (f64.convert_s/i32
+ (f64.convert_i32_s
(i32.const -10)
)
)
(drop
- (f32.convert_u/i32
+ (f32.convert_i32_u
(i32.const -10)
)
)
(drop
- (f64.convert_u/i32
+ (f64.convert_i32_u
(i32.const -10)
)
)
(drop
- (f32.convert_s/i64
+ (f32.convert_i64_s
(i64.const -22)
)
)
(drop
- (f64.convert_s/i64
+ (f64.convert_i64_s
(i64.const -22)
)
)
(drop
- (f32.convert_u/i64
+ (f32.convert_i64_u
(i64.const -22)
)
)
(drop
- (f64.convert_u/i64
+ (f64.convert_i64_u
(i64.const -22)
)
)
(drop
- (f64.promote/f32
+ (f64.promote_f32
(f32.const -33.61199951171875)
)
)
(drop
- (f32.demote/f64
+ (f32.demote_f64
(f64.const -9005.841)
)
)
(drop
- (f32.reinterpret/i32
+ (f32.reinterpret_i32
(i32.const -10)
)
)
(drop
- (f64.reinterpret/i64
+ (f64.reinterpret_i64
(i64.const -22)
)
)
@@ -376,42 +376,42 @@ BinaryenTypeAuto: -1
)
)
(drop
- (i32x4.trunc_s/f32x4:sat
+ (i32x4.trunc_sat_f32x4_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (i32x4.trunc_u/f32x4:sat
+ (i32x4.trunc_sat_f32x4_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (i64x2.trunc_s/f64x2:sat
+ (i64x2.trunc_sat_f64x2_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (i64x2.trunc_u/f64x2:sat
+ (i64x2.trunc_sat_f64x2_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f32x4.convert_s/i32x4
+ (f32x4.convert_i32x4_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f32x4.convert_u/i32x4
+ (f32x4.convert_i32x4_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f64x2.convert_s/i64x2
+ (f64x2.convert_i64x2_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f64x2.convert_u/i64x2
+ (f64x2.convert_i64x2_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
@@ -1283,7 +1283,7 @@ BinaryenTypeAuto: -1
)
(drop
(i32.eqz
- (i32.trunc_s/f32
+ (i32.trunc_f32_s
(call $an-imported
(i32.const 13)
(f64.const 3.7)
@@ -1303,13 +1303,13 @@ BinaryenTypeAuto: -1
)
)
(drop
- (get_local $0)
+ (local.get $0)
)
- (set_local $0
+ (local.set $0
(i32.const 101)
)
(drop
- (tee_local $0
+ (local.tee $0
(i32.const 102)
)
)
@@ -1767,13 +1767,13 @@ raw:
(if
(i32.const 10)
(block
- (set_local $3
+ (local.set $3
(i32.const 2)
)
(br $block$2$break)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 3)
)
(br $block$3$break)
@@ -1785,18 +1785,18 @@ raw:
(loop $shape$1$continue
(if
(i32.eq
- (get_local $3)
+ (local.get $3)
(i32.const 2)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 0)
)
(call $check
(i32.const 1)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 3)
)
(br $shape$1$continue)
@@ -1804,18 +1804,18 @@ raw:
)
(if
(i32.eq
- (get_local $3)
+ (local.get $3)
(i32.const 3)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 0)
)
(call $check
(i32.const 2)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 2)
)
(br $shape$1$continue)
@@ -1845,8 +1845,8 @@ module loaded from binary form:
(type $0 (func (param i32 i32) (result i32)))
(func $adder (; 0 ;) (type $0) (param $0 i32) (param $1 i32) (result i32)
(i32.add
- (get_local $0)
- (get_local $1)
+ (local.get $0)
+ (local.get $1)
)
)
)
@@ -1866,7 +1866,7 @@ module loaded from binary form:
(type $v (func))
(func $func (; 0 ;) (type $v)
(local $0 i32)
- (set_local $0
+ (local.set $0
(i64.const 1234)
)
)
@@ -3289,7 +3289,7 @@ int main() {
(import "module" "base" (func $an-imported (param i32 f64) (result f32)))
(memory $0 1 256)
(data (i32.const 10) "hello, world")
- (table $0 1 1 anyfunc)
+ (table $0 1 1 funcref)
(elem (i32.const 0) "$kitchen()sinker")
(global $a-global i32 (i32.const 7))
(global $a-mutable-global (mut f32) (f32.const 7.5))
@@ -3358,167 +3358,167 @@ int main() {
)
)
(drop
- (i64.extend_s/i32
+ (i64.extend_i32_s
(i32.const -10)
)
)
(drop
- (i64.extend_u/i32
+ (i64.extend_i32_u
(i32.const -10)
)
)
(drop
- (i32.wrap/i64
+ (i32.wrap_i64
(i64.const -22)
)
)
(drop
- (i32.trunc_s/f32
+ (i32.trunc_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_s/f32
+ (i64.trunc_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_u/f32
+ (i32.trunc_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_u/f32
+ (i64.trunc_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_s/f64
+ (i32.trunc_f64_s
(f64.const -9005.841)
)
)
(drop
- (i64.trunc_s/f64
+ (i64.trunc_f64_s
(f64.const -9005.841)
)
)
(drop
- (i32.trunc_u/f64
+ (i32.trunc_f64_u
(f64.const -9005.841)
)
)
(drop
- (i64.trunc_u/f64
+ (i64.trunc_f64_u
(f64.const -9005.841)
)
)
(drop
- (i32.trunc_s:sat/f32
+ (i32.trunc_sat_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_s:sat/f32
+ (i64.trunc_sat_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_u:sat/f32
+ (i32.trunc_sat_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_u:sat/f32
+ (i64.trunc_sat_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_s:sat/f64
+ (i32.trunc_sat_f64_s
(f64.const -9005.841)
)
)
(drop
- (i64.trunc_s:sat/f64
+ (i64.trunc_sat_f64_s
(f64.const -9005.841)
)
)
(drop
- (i32.trunc_u:sat/f64
+ (i32.trunc_sat_f64_u
(f64.const -9005.841)
)
)
(drop
- (i64.trunc_u:sat/f64
+ (i64.trunc_sat_f64_u
(f64.const -9005.841)
)
)
(drop
- (i32.reinterpret/f32
+ (i32.reinterpret_f32
(f32.const -33.61199951171875)
)
)
(drop
- (i64.reinterpret/f64
+ (i64.reinterpret_f64
(f64.const -9005.841)
)
)
(drop
- (f32.convert_s/i32
+ (f32.convert_i32_s
(i32.const -10)
)
)
(drop
- (f64.convert_s/i32
+ (f64.convert_i32_s
(i32.const -10)
)
)
(drop
- (f32.convert_u/i32
+ (f32.convert_i32_u
(i32.const -10)
)
)
(drop
- (f64.convert_u/i32
+ (f64.convert_i32_u
(i32.const -10)
)
)
(drop
- (f32.convert_s/i64
+ (f32.convert_i64_s
(i64.const -22)
)
)
(drop
- (f64.convert_s/i64
+ (f64.convert_i64_s
(i64.const -22)
)
)
(drop
- (f32.convert_u/i64
+ (f32.convert_i64_u
(i64.const -22)
)
)
(drop
- (f64.convert_u/i64
+ (f64.convert_i64_u
(i64.const -22)
)
)
(drop
- (f64.promote/f32
+ (f64.promote_f32
(f32.const -33.61199951171875)
)
)
(drop
- (f32.demote/f64
+ (f32.demote_f64
(f64.const -9005.841)
)
)
(drop
- (f32.reinterpret/i32
+ (f32.reinterpret_i32
(i32.const -10)
)
)
(drop
- (f64.reinterpret/i64
+ (f64.reinterpret_i64
(i64.const -22)
)
)
@@ -3648,42 +3648,42 @@ int main() {
)
)
(drop
- (i32x4.trunc_s/f32x4:sat
+ (i32x4.trunc_sat_f32x4_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (i32x4.trunc_u/f32x4:sat
+ (i32x4.trunc_sat_f32x4_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (i64x2.trunc_s/f64x2:sat
+ (i64x2.trunc_sat_f64x2_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (i64x2.trunc_u/f64x2:sat
+ (i64x2.trunc_sat_f64x2_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f32x4.convert_s/i32x4
+ (f32x4.convert_i32x4_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f32x4.convert_u/i32x4
+ (f32x4.convert_i32x4_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f64x2.convert_s/i64x2
+ (f64x2.convert_i64x2_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f64x2.convert_u/i64x2
+ (f64x2.convert_i64x2_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
@@ -4555,7 +4555,7 @@ int main() {
)
(drop
(i32.eqz
- (i32.trunc_s/f32
+ (i32.trunc_f32_s
(call $an-imported
(i32.const 13)
(f64.const 3.7)
@@ -4575,13 +4575,13 @@ int main() {
)
)
(drop
- (get_local $0)
+ (local.get $0)
)
- (set_local $0
+ (local.set $0
(i32.const 101)
)
(drop
- (tee_local $0
+ (local.tee $0
(i32.const 102)
)
)
@@ -5492,13 +5492,13 @@ raw:
(if
(i32.const 10)
(block
- (set_local $3
+ (local.set $3
(i32.const 2)
)
(br $block$2$break)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 3)
)
(br $block$3$break)
@@ -5510,18 +5510,18 @@ raw:
(loop $shape$1$continue
(if
(i32.eq
- (get_local $3)
+ (local.get $3)
(i32.const 2)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 0)
)
(call $check
(i32.const 1)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 3)
)
(br $shape$1$continue)
@@ -5529,18 +5529,18 @@ raw:
)
(if
(i32.eq
- (get_local $3)
+ (local.get $3)
(i32.const 3)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 0)
)
(call $check
(i32.const 2)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 2)
)
(br $shape$1$continue)
diff --git a/test/example/c-api-kitchen-sink.txt.txt b/test/example/c-api-kitchen-sink.txt.txt
index d19b06609..3546b5dd1 100644
--- a/test/example/c-api-kitchen-sink.txt.txt
+++ b/test/example/c-api-kitchen-sink.txt.txt
@@ -9,7 +9,7 @@
(import "module" "base" (func $an-imported (param i32 f64) (result f32)))
(memory $0 1 256)
(data (i32.const 10) "hello, world")
- (table $0 1 1 anyfunc)
+ (table $0 1 1 funcref)
(elem (i32.const 0) "$kitchen()sinker")
(global $a-global i32 (i32.const 7))
(global $a-mutable-global (mut f32) (f32.const 7.5))
@@ -78,167 +78,167 @@
)
)
(drop
- (i64.extend_s/i32
+ (i64.extend_i32_s
(i32.const -10)
)
)
(drop
- (i64.extend_u/i32
+ (i64.extend_i32_u
(i32.const -10)
)
)
(drop
- (i32.wrap/i64
+ (i32.wrap_i64
(i64.const -22)
)
)
(drop
- (i32.trunc_s/f32
+ (i32.trunc_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_s/f32
+ (i64.trunc_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_u/f32
+ (i32.trunc_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_u/f32
+ (i64.trunc_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_s/f64
+ (i32.trunc_f64_s
(f64.const -9005.84)
)
)
(drop
- (i64.trunc_s/f64
+ (i64.trunc_f64_s
(f64.const -9005.84)
)
)
(drop
- (i32.trunc_u/f64
+ (i32.trunc_f64_u
(f64.const -9005.84)
)
)
(drop
- (i64.trunc_u/f64
+ (i64.trunc_f64_u
(f64.const -9005.84)
)
)
(drop
- (i32.trunc_s:sat/f32
+ (i32.trunc_sat_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_s:sat/f32
+ (i64.trunc_sat_f32_s
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_u:sat/f32
+ (i32.trunc_sat_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i64.trunc_u:sat/f32
+ (i64.trunc_sat_f32_u
(f32.const -33.61199951171875)
)
)
(drop
- (i32.trunc_s:sat/f64
+ (i32.trunc_sat_f64_s
(f64.const -9005.84)
)
)
(drop
- (i64.trunc_s:sat/f64
+ (i64.trunc_sat_f64_s
(f64.const -9005.84)
)
)
(drop
- (i32.trunc_u:sat/f64
+ (i32.trunc_sat_f64_u
(f64.const -9005.84)
)
)
(drop
- (i64.trunc_u:sat/f64
+ (i64.trunc_sat_f64_u
(f64.const -9005.84)
)
)
(drop
- (i32.reinterpret/f32
+ (i32.reinterpret_f32
(f32.const -33.61199951171875)
)
)
(drop
- (i64.reinterpret/f64
+ (i64.reinterpret_f64
(f64.const -9005.84)
)
)
(drop
- (f32.convert_s/i32
+ (f32.convert_i32_s
(i32.const -10)
)
)
(drop
- (f64.convert_s/i32
+ (f64.convert_i32_s
(i32.const -10)
)
)
(drop
- (f32.convert_u/i32
+ (f32.convert_i32_u
(i32.const -10)
)
)
(drop
- (f64.convert_u/i32
+ (f64.convert_i32_u
(i32.const -10)
)
)
(drop
- (f32.convert_s/i64
+ (f32.convert_i64_s
(i64.const -22)
)
)
(drop
- (f64.convert_s/i64
+ (f64.convert_i64_s
(i64.const -22)
)
)
(drop
- (f32.convert_u/i64
+ (f32.convert_i64_u
(i64.const -22)
)
)
(drop
- (f64.convert_u/i64
+ (f64.convert_i64_u
(i64.const -22)
)
)
(drop
- (f64.promote/f32
+ (f64.promote_f32
(f32.const -33.61199951171875)
)
)
(drop
- (f32.demote/f64
+ (f32.demote_f64
(f64.const -9005.84)
)
)
(drop
- (f32.reinterpret/i32
+ (f32.reinterpret_i32
(i32.const -10)
)
)
(drop
- (f64.reinterpret/i64
+ (f64.reinterpret_i64
(i64.const -22)
)
)
@@ -368,42 +368,42 @@
)
)
(drop
- (i32x4.trunc_s/f32x4:sat
+ (i32x4.trunc_sat_f32x4_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (i32x4.trunc_u/f32x4:sat
+ (i32x4.trunc_sat_f32x4_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (i64x2.trunc_s/f64x2:sat
+ (i64x2.trunc_sat_f64x2_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (i64x2.trunc_u/f64x2:sat
+ (i64x2.trunc_sat_f64x2_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f32x4.convert_s/i32x4
+ (f32x4.convert_i32x4_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f32x4.convert_u/i32x4
+ (f32x4.convert_i32x4_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f64x2.convert_s/i64x2
+ (f64x2.convert_i64x2_s
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
(drop
- (f64x2.convert_u/i64x2
+ (f64x2.convert_i64x2_u
(v128.const i32 0x1 0x2 0x3 0x4 0x5 0x6 0x7 0x8 0x9 0xa 0xb 0xc 0xd 0xe 0xf 0x10)
)
)
@@ -1275,7 +1275,7 @@
)
(drop
(i32.eqz
- (i32.trunc_s/f32
+ (i32.trunc_f32_s
(call $an-imported
(i32.const 13)
(f64.const 3.7)
@@ -1295,13 +1295,13 @@
)
)
(drop
- (get_local $0)
+ (local.get $0)
)
- (set_local $0
+ (local.set $0
(i32.const 101)
)
(drop
- (tee_local $0
+ (local.tee $0
(i32.const 102)
)
)
@@ -1749,13 +1749,13 @@
(if
(i32.const 10)
(block
- (set_local $3
+ (local.set $3
(i32.const 2)
)
(br $block$2$break)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 3)
)
(br $block$3$break)
@@ -1767,18 +1767,18 @@
(loop $shape$1$continue
(if
(i32.eq
- (get_local $3)
+ (local.get $3)
(i32.const 2)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 0)
)
(call $check
(i32.const 1)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 3)
)
(br $shape$1$continue)
@@ -1786,18 +1786,18 @@
)
(if
(i32.eq
- (get_local $3)
+ (local.get $3)
(i32.const 3)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 0)
)
(call $check
(i32.const 2)
)
(block
- (set_local $3
+ (local.set $3
(i32.const 2)
)
(br $shape$1$continue)
diff --git a/test/example/c-api-unused-mem.txt b/test/example/c-api-unused-mem.txt
index 3c2301ace..41ce79ae0 100644
--- a/test/example/c-api-unused-mem.txt
+++ b/test/example/c-api-unused-mem.txt
@@ -10,7 +10,7 @@
(local $1 i32)
(local $2 i64)
(block $block$2$break
- (set_local $0
+ (local.set $0
(i32.load
(i32.const 0)
)
@@ -23,7 +23,7 @@
(block
(i32.store
(i32.const 0)
- (get_local $0)
+ (local.get $0)
)
(return)
)
@@ -50,7 +50,7 @@
(local $1 i32)
(local $2 i64)
(block $label$1
- (set_local $0
+ (local.set $0
(i32.load
(i32.const 0)
)
@@ -63,7 +63,7 @@
(block $label$4
(i32.store
(i32.const 0)
- (get_local $0)
+ (local.get $0)
)
(return)
)
diff --git a/test/example/relooper-fuzz.txt b/test/example/relooper-fuzz.txt
index bde48af8c..1a61c71b1 100644
--- a/test/example/relooper-fuzz.txt
+++ b/test/example/relooper-fuzz.txt
@@ -160,20 +160,20 @@
(call $print
(i32.const 0)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
(if
(i32.eq
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 2)
)
(i32.const 0)
)
(block
- (set_local $1
+ (local.set $1
(i32.const 6)
)
(br $block$6$break)
@@ -183,7 +183,7 @@
(call $print
(i32.const 8)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -199,32 +199,32 @@
(block $block$5$break0
(if
(i32.eq
- (get_local $1)
+ (local.get $1)
(i32.const 6)
)
(block
- (set_local $1
+ (local.set $1
(i32.const 0)
)
(block
(call $print
(i32.const 5)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
(if
(i32.eq
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 2)
)
(i32.const 0)
)
(br $shape$3$continue)
(block
- (set_local $1
+ (local.set $1
(i32.const 6)
)
(br $shape$3$continue)
@@ -239,14 +239,14 @@
(call $print
(i32.const 4)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
(if
(i32.eq
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 3)
)
(i32.const 0)
@@ -255,13 +255,13 @@
(if
(i32.eq
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 3)
)
(i32.const 1)
)
(block
- (set_local $1
+ (local.set $1
(i32.const 6)
)
(br $shape$3$continue)
@@ -275,12 +275,12 @@
(call $print
(i32.const 2)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
(block
- (set_local $1
+ (local.set $1
(i32.const 6)
)
(br $shape$3$continue)
@@ -461,18 +461,18 @@
(call $check)
)
)
- (set_local $0
+ (local.set $0
(i32.const 6)
)
)
(loop $shape$3$continue
(if
(i32.eq
- (get_local $0)
+ (local.get $0)
(i32.const 6)
)
(block
- (set_local $0
+ (local.set $0
(i32.const 0)
)
(call $print
@@ -486,7 +486,7 @@
)
)
)
- (set_local $0
+ (local.set $0
(i32.const 6)
)
(br $shape$3$continue)
@@ -498,7 +498,7 @@
(br_if $shape$3$continue
(i32.eqz
(i32.rem_u
- (tee_local $1
+ (local.tee $1
(call $check)
)
(i32.const 3)
@@ -508,13 +508,13 @@
(if
(i32.eq
(i32.rem_u
- (get_local $1)
+ (local.get $1)
(i32.const 3)
)
(i32.const 1)
)
(block
- (set_local $0
+ (local.set $0
(i32.const 6)
)
(br $shape$3$continue)
@@ -526,7 +526,7 @@
(drop
(call $check)
)
- (set_local $0
+ (local.set $0
(i32.const 6)
)
(br $shape$3$continue)
diff --git a/test/example/relooper-fuzz1.txt b/test/example/relooper-fuzz1.txt
index d05a316e2..dfdc0b08e 100644
--- a/test/example/relooper-fuzz1.txt
+++ b/test/example/relooper-fuzz1.txt
@@ -172,14 +172,14 @@
(call $print
(i32.const 0)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
(if
(i32.eq
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 4)
)
(i32.const 0)
@@ -188,7 +188,7 @@
(if
(i32.eq
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 4)
)
(i32.const 2)
@@ -198,14 +198,14 @@
(call $print
(i32.const 7)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
(if
(i32.eq
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 3)
)
(i32.const 0)
@@ -223,14 +223,14 @@
(call $print
(i32.const 2)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
(if
(i32.eq
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 2)
)
(i32.const 0)
@@ -245,7 +245,7 @@
(call $print
(i32.const 3)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -259,7 +259,7 @@
(call $print
(i32.const 9)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -439,7 +439,7 @@
(block $block$4$break
(if
(i32.and
- (tee_local $0
+ (local.tee $0
(call $check)
)
(i32.const 3)
@@ -447,7 +447,7 @@
(if
(i32.eq
(i32.and
- (get_local $0)
+ (local.get $0)
(i32.const 3)
)
(i32.const 2)
diff --git a/test/example/relooper-fuzz2.txt b/test/example/relooper-fuzz2.txt
index 1df9f0a3a..6ceb1f9cf 100644
--- a/test/example/relooper-fuzz2.txt
+++ b/test/example/relooper-fuzz2.txt
@@ -158,7 +158,7 @@
(call $print
(i32.const 0)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -180,7 +180,7 @@
(call $print
(i32.const 0)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
diff --git a/test/example/relooper-merge1.txt b/test/example/relooper-merge1.txt
index 66153770c..87f91523f 100644
--- a/test/example/relooper-merge1.txt
+++ b/test/example/relooper-merge1.txt
@@ -49,7 +49,7 @@
(call $print
(i32.const 0)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -57,7 +57,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
diff --git a/test/example/relooper-merge2.txt b/test/example/relooper-merge2.txt
index fa356d1a0..e11281f5d 100644
--- a/test/example/relooper-merge2.txt
+++ b/test/example/relooper-merge2.txt
@@ -48,7 +48,7 @@
(call $print
(i32.const 0)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -59,7 +59,7 @@
(block $switch$1$case$2
(br_table $switch$1$default $switch$1$case$2 $switch$1$default $switch$1$case$3 $switch$1$case$2 $switch$1$case$4 $switch$1$case$3 $switch$1$default $switch$1$default $switch$1$case$2 $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$case$4 $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$default $switch$1$case$4 $switch$1$default
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 1)
)
)
@@ -73,7 +73,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -90,7 +90,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -107,7 +107,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -121,7 +121,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
diff --git a/test/example/relooper-merge3.txt b/test/example/relooper-merge3.txt
index b19f8c599..32c669a06 100644
--- a/test/example/relooper-merge3.txt
+++ b/test/example/relooper-merge3.txt
@@ -48,7 +48,7 @@
(call $print
(i32.const 0)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -58,7 +58,7 @@
(block $switch$1$case$2
(br_table $switch$1$default $switch$1$case$2 $switch$1$default $switch$1$case$2 $switch$1$case$2 $switch$1$case$4 $switch$1$case$2 $switch$1$default $switch$1$default $switch$1$case$2 $switch$1$default
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 1)
)
)
@@ -69,7 +69,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -83,7 +83,7 @@
(call $print
(i32.const 2)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -97,7 +97,7 @@
(call $print
(i32.const 3)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
diff --git a/test/example/relooper-merge4.txt b/test/example/relooper-merge4.txt
index c2162a988..ff3c75881 100644
--- a/test/example/relooper-merge4.txt
+++ b/test/example/relooper-merge4.txt
@@ -48,7 +48,7 @@
(call $print
(i32.const 0)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -58,7 +58,7 @@
(block $switch$1$case$5
(br_table $switch$1$default $switch$1$case$5 $switch$1$default $switch$1$default $switch$1$case$5 $switch$1$case$4 $switch$1$default $switch$1$default $switch$1$default $switch$1$case$5 $switch$1$default
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 1)
)
)
@@ -69,7 +69,7 @@
(call $print
(i32.const 3)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -83,7 +83,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -97,7 +97,7 @@
(call $print
(i32.const 2)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
diff --git a/test/example/relooper-merge5.txt b/test/example/relooper-merge5.txt
index 5b0db4535..bd3a68310 100644
--- a/test/example/relooper-merge5.txt
+++ b/test/example/relooper-merge5.txt
@@ -48,7 +48,7 @@
(call $print
(i32.const 0)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -58,7 +58,7 @@
(block $switch$1$default
(br_table $switch$1$default $switch$1$case$5 $switch$1$default $switch$1$default $switch$1$case$5 $switch$1$case$4 $switch$1$default $switch$1$default $switch$1$default $switch$1$case$5 $switch$1$default
(i32.rem_u
- (get_local $0)
+ (local.get $0)
(i32.const 1)
)
)
@@ -69,7 +69,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -83,7 +83,7 @@
(call $print
(i32.const 3)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -97,7 +97,7 @@
(call $print
(i32.const 2)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
diff --git a/test/example/relooper-merge6.txt b/test/example/relooper-merge6.txt
index d79aabe3d..67d99802c 100644
--- a/test/example/relooper-merge6.txt
+++ b/test/example/relooper-merge6.txt
@@ -54,7 +54,7 @@
(call $print
(i32.const 0)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -66,7 +66,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -80,7 +80,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -88,7 +88,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)
@@ -102,7 +102,7 @@
(call $print
(i32.const 1)
)
- (set_local $0
+ (local.set $0
(call $check)
)
)