summaryrefslogtreecommitdiff
path: root/test/spec/func.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/spec/func.wast')
-rw-r--r--test/spec/func.wast94
1 files changed, 47 insertions, 47 deletions
diff --git a/test/spec/func.wast b/test/spec/func.wast
index 1ad375b32..83fb1aff3 100644
--- a/test/spec/func.wast
+++ b/test/spec/func.wast
@@ -47,44 +47,44 @@
;; Typing of locals
- (func (export "local-first-i32") (result i32) (local i32 i32) (get_local 0))
- (func (export "local-first-i64") (result i64) (local i64 i64) (get_local 0))
- (func (export "local-first-f32") (result f32) (local f32 f32) (get_local 0))
- (func (export "local-first-f64") (result f64) (local f64 f64) (get_local 0))
- (func (export "local-second-i32") (result i32) (local i32 i32) (get_local 1))
- (func (export "local-second-i64") (result i64) (local i64 i64) (get_local 1))
- (func (export "local-second-f32") (result f32) (local f32 f32) (get_local 1))
- (func (export "local-second-f64") (result f64) (local f64 f64) (get_local 1))
+ (func (export "local-first-i32") (result i32) (local i32 i32) (local.get 0))
+ (func (export "local-first-i64") (result i64) (local i64 i64) (local.get 0))
+ (func (export "local-first-f32") (result f32) (local f32 f32) (local.get 0))
+ (func (export "local-first-f64") (result f64) (local f64 f64) (local.get 0))
+ (func (export "local-second-i32") (result i32) (local i32 i32) (local.get 1))
+ (func (export "local-second-i64") (result i64) (local i64 i64) (local.get 1))
+ (func (export "local-second-f32") (result f32) (local f32 f32) (local.get 1))
+ (func (export "local-second-f64") (result f64) (local f64 f64) (local.get 1))
(func (export "local-mixed") (result f64)
(local f32) (local $x i32) (local i64 i32) (local) (local f64 i32)
- (drop (f32.neg (get_local 0)))
- (drop (i32.eqz (get_local 1)))
- (drop (i64.eqz (get_local 2)))
- (drop (i32.eqz (get_local 3)))
- (drop (f64.neg (get_local 4)))
- (drop (i32.eqz (get_local 5)))
- (get_local 4)
+ (drop (f32.neg (local.get 0)))
+ (drop (i32.eqz (local.get 1)))
+ (drop (i64.eqz (local.get 2)))
+ (drop (i32.eqz (local.get 3)))
+ (drop (f64.neg (local.get 4)))
+ (drop (i32.eqz (local.get 5)))
+ (local.get 4)
)
;; Typing of parameters
- (func (export "param-first-i32") (param i32 i32) (result i32) (get_local 0))
- (func (export "param-first-i64") (param i64 i64) (result i64) (get_local 0))
- (func (export "param-first-f32") (param f32 f32) (result f32) (get_local 0))
- (func (export "param-first-f64") (param f64 f64) (result f64) (get_local 0))
- (func (export "param-second-i32") (param i32 i32) (result i32) (get_local 1))
- (func (export "param-second-i64") (param i64 i64) (result i64) (get_local 1))
- (func (export "param-second-f32") (param f32 f32) (result f32) (get_local 1))
- (func (export "param-second-f64") (param f64 f64) (result f64) (get_local 1))
+ (func (export "param-first-i32") (param i32 i32) (result i32) (local.get 0))
+ (func (export "param-first-i64") (param i64 i64) (result i64) (local.get 0))
+ (func (export "param-first-f32") (param f32 f32) (result f32) (local.get 0))
+ (func (export "param-first-f64") (param f64 f64) (result f64) (local.get 0))
+ (func (export "param-second-i32") (param i32 i32) (result i32) (local.get 1))
+ (func (export "param-second-i64") (param i64 i64) (result i64) (local.get 1))
+ (func (export "param-second-f32") (param f32 f32) (result f32) (local.get 1))
+ (func (export "param-second-f64") (param f64 f64) (result f64) (local.get 1))
(func (export "param-mixed") (param f32 i32) (param) (param $x i64) (param i32 f64 i32)
(result f64)
- (drop (f32.neg (get_local 0)))
- (drop (i32.eqz (get_local 1)))
- (drop (i64.eqz (get_local 2)))
- (drop (i32.eqz (get_local 3)))
- (drop (f64.neg (get_local 4)))
- (drop (i32.eqz (get_local 5)))
- (get_local 4)
+ (drop (f32.neg (local.get 0)))
+ (drop (i32.eqz (local.get 1)))
+ (drop (i64.eqz (local.get 2)))
+ (drop (i32.eqz (local.get 3)))
+ (drop (f64.neg (local.get 4)))
+ (drop (i32.eqz (local.get 5)))
+ (local.get 4)
)
;; Typing of result
@@ -119,34 +119,34 @@
)
(func (export "break-br_if-empty") (param i32)
- (br_if 0 (get_local 0))
+ (br_if 0 (local.get 0))
)
(func (export "break-br_if-num") (param i32) (result i32)
- (drop (br_if 0 (i32.const 50) (get_local 0))) (i32.const 51)
+ (drop (br_if 0 (i32.const 50) (local.get 0))) (i32.const 51)
)
(func (export "break-br_table-empty") (param i32)
- (br_table 0 0 0 (get_local 0))
+ (br_table 0 0 0 (local.get 0))
)
(func (export "break-br_table-num") (param i32) (result i32)
- (br_table 0 0 (i32.const 50) (get_local 0)) (i32.const 51)
+ (br_table 0 0 (i32.const 50) (local.get 0)) (i32.const 51)
)
(func (export "break-br_table-nested-empty") (param i32)
- (block (br_table 0 1 0 (get_local 0)))
+ (block (br_table 0 1 0 (local.get 0)))
)
(func (export "break-br_table-nested-num") (param i32) (result i32)
(i32.add
- (block i32 (br_table 0 1 0 (i32.const 50) (get_local 0)) (i32.const 51))
+ (block i32 (br_table 0 1 0 (i32.const 50) (local.get 0)) (i32.const 51))
(i32.const 2)
)
)
;; Default initialization of locals
- (func (export "init-local-i32") (result i32) (local i32) (get_local 0))
- (func (export "init-local-i64") (result i64) (local i64) (get_local 0))
- (func (export "init-local-f32") (result f32) (local f32) (get_local 0))
- (func (export "init-local-f64") (result f64) (local f64) (get_local 0))
+ (func (export "init-local-i32") (result i32) (local i32) (local.get 0))
+ (func (export "init-local-i64") (result i64) (local i64) (local.get 0))
+ (func (export "init-local-f32") (result f32) (local f32) (local.get 0))
+ (func (export "init-local-f64") (result f64) (local f64) (local.get 0))
;; Desugaring of implicit type signature
@@ -158,7 +158,7 @@
(type $empty-sig-duplicate (func))
(type $complex-sig-duplicate (func (param f64 i64 f64 i64 f64 i64 f32 i32)))
- (table anyfunc
+ (table funcref
(elem
$complex-sig-3 $empty-sig-2 $complex-sig-1 $complex-sig-3 $empty-sig-1
)
@@ -312,15 +312,15 @@
;; Invalid typing of locals
(assert_invalid
- (module (func $type-local-num-vs-num (result i64) (local i32) (get_local 0)))
+ (module (func $type-local-num-vs-num (result i64) (local i32) (local.get 0)))
"type mismatch"
)
(assert_invalid
- (module (func $type-local-num-vs-num (local f32) (i32.eqz (get_local 0))))
+ (module (func $type-local-num-vs-num (local f32) (i32.eqz (local.get 0))))
"type mismatch"
)
(assert_invalid
- (module (func $type-local-num-vs-num (local f64 i64) (f64.neg (get_local 1))))
+ (module (func $type-local-num-vs-num (local f64 i64) (f64.neg (local.get 1))))
"type mismatch"
)
@@ -328,15 +328,15 @@
;; Invalid typing of parameters
(assert_invalid
- (module (func $type-param-num-vs-num (param i32) (result i64) (get_local 0)))
+ (module (func $type-param-num-vs-num (param i32) (result i64) (local.get 0)))
"type mismatch"
)
(assert_invalid
- (module (func $type-param-num-vs-num (param f32) (i32.eqz (get_local 0))))
+ (module (func $type-param-num-vs-num (param f32) (i32.eqz (local.get 0))))
"type mismatch"
)
(assert_invalid
- (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (get_local 1))))
+ (module (func $type-param-num-vs-num (param f64 i64) (f64.neg (local.get 1))))
"type mismatch"
)
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-29 09:36:20 +0000