summaryrefslogtreecommitdiff
path: root/test/lit/table-operations.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/table-operations.wast')
-rw-r--r--test/lit/table-operations.wast48
1 files changed, 24 insertions, 24 deletions
diff --git a/test/lit/table-operations.wast b/test/lit/table-operations.wast
index 5e5e836e5..35e5ea284 100644
--- a/test/lit/table-operations.wast
+++ b/test/lit/table-operations.wast
@@ -10,18 +10,18 @@
;; RUN: cat %t.text.wast | filecheck %s --check-prefix=CHECK-TEXT
(module
- ;; CHECK-BINARY: (type $none_=>_none (func))
+ ;; CHECK-BINARY: (type $0 (func))
- ;; CHECK-BINARY: (type $none_=>_i32 (func (result i32)))
+ ;; CHECK-BINARY: (type $1 (func (result i32)))
- ;; CHECK-BINARY: (type $i32_=>_i32 (func (param i32) (result i32)))
+ ;; CHECK-BINARY: (type $2 (func (param i32) (result i32)))
;; CHECK-BINARY: (table $table-1 1 1 funcref)
- ;; CHECK-TEXT: (type $none_=>_none (func))
+ ;; CHECK-TEXT: (type $0 (func))
- ;; CHECK-TEXT: (type $none_=>_i32 (func (result i32)))
+ ;; CHECK-TEXT: (type $1 (func (result i32)))
- ;; CHECK-TEXT: (type $i32_=>_i32 (func (param i32) (result i32)))
+ ;; CHECK-TEXT: (type $2 (func (param i32) (result i32)))
;; CHECK-TEXT: (table $table-1 1 1 funcref)
(table $table-1 funcref
@@ -38,20 +38,20 @@
;; CHECK-BINARY: (elem $1 (table $table-2) (i32.const 0) func $bar $bar $bar)
- ;; CHECK-BINARY: (func $foo (type $none_=>_none)
+ ;; CHECK-BINARY: (func $foo (type $0)
;; CHECK-BINARY-NEXT: (nop)
;; CHECK-BINARY-NEXT: )
;; CHECK-TEXT: (elem $0 (table $table-1) (i32.const 0) func $foo)
;; CHECK-TEXT: (elem $1 (table $table-2) (i32.const 0) func $bar $bar $bar)
- ;; CHECK-TEXT: (func $foo (type $none_=>_none)
+ ;; CHECK-TEXT: (func $foo (type $0)
;; CHECK-TEXT-NEXT: (nop)
;; CHECK-TEXT-NEXT: )
(func $foo
(nop)
)
- ;; CHECK-BINARY: (func $bar (type $none_=>_none)
+ ;; CHECK-BINARY: (func $bar (type $0)
;; CHECK-BINARY-NEXT: (drop
;; CHECK-BINARY-NEXT: (table.get $table-1
;; CHECK-BINARY-NEXT: (i32.const 0)
@@ -63,7 +63,7 @@
;; CHECK-BINARY-NEXT: )
;; CHECK-BINARY-NEXT: )
;; CHECK-BINARY-NEXT: )
- ;; CHECK-TEXT: (func $bar (type $none_=>_none)
+ ;; CHECK-TEXT: (func $bar (type $0)
;; CHECK-TEXT-NEXT: (drop
;; CHECK-TEXT-NEXT: (table.get $table-1
;; CHECK-TEXT-NEXT: (i32.const 0)
@@ -88,7 +88,7 @@
)
)
- ;; CHECK-BINARY: (func $set-get (type $none_=>_none)
+ ;; CHECK-BINARY: (func $set-get (type $0)
;; CHECK-BINARY-NEXT: (table.set $table-1
;; CHECK-BINARY-NEXT: (i32.const 0)
;; CHECK-BINARY-NEXT: (ref.func $foo)
@@ -99,7 +99,7 @@
;; CHECK-BINARY-NEXT: )
;; CHECK-BINARY-NEXT: )
;; CHECK-BINARY-NEXT: )
- ;; CHECK-TEXT: (func $set-get (type $none_=>_none)
+ ;; CHECK-TEXT: (func $set-get (type $0)
;; CHECK-TEXT-NEXT: (table.set $table-1
;; CHECK-TEXT-NEXT: (i32.const 0)
;; CHECK-TEXT-NEXT: (ref.func $foo)
@@ -122,23 +122,23 @@
)
)
- ;; CHECK-BINARY: (func $get-table-size (type $none_=>_i32) (result i32)
+ ;; CHECK-BINARY: (func $get-table-size (type $1) (result i32)
;; CHECK-BINARY-NEXT: (table.size $table-1)
;; CHECK-BINARY-NEXT: )
- ;; CHECK-TEXT: (func $get-table-size (type $none_=>_i32) (result i32)
+ ;; CHECK-TEXT: (func $get-table-size (type $1) (result i32)
;; CHECK-TEXT-NEXT: (table.size $table-1)
;; CHECK-TEXT-NEXT: )
(func $get-table-size (result i32)
(table.size $table-1)
)
- ;; CHECK-BINARY: (func $table-grow (type $i32_=>_i32) (param $sz i32) (result i32)
+ ;; CHECK-BINARY: (func $table-grow (type $2) (param $sz i32) (result i32)
;; CHECK-BINARY-NEXT: (table.grow $table-1
;; CHECK-BINARY-NEXT: (ref.null nofunc)
;; CHECK-BINARY-NEXT: (local.get $sz)
;; CHECK-BINARY-NEXT: )
;; CHECK-BINARY-NEXT: )
- ;; CHECK-TEXT: (func $table-grow (type $i32_=>_i32) (param $sz i32) (result i32)
+ ;; CHECK-TEXT: (func $table-grow (type $2) (param $sz i32) (result i32)
;; CHECK-TEXT-NEXT: (table.grow $table-1
;; CHECK-TEXT-NEXT: (ref.null nofunc)
;; CHECK-TEXT-NEXT: (local.get $sz)
@@ -148,11 +148,11 @@
(table.grow $table-1 (ref.null func) (local.get $sz))
)
)
-;; CHECK-NODEBUG: (type $none_=>_none (func))
+;; CHECK-NODEBUG: (type $0 (func))
-;; CHECK-NODEBUG: (type $none_=>_i32 (func (result i32)))
+;; CHECK-NODEBUG: (type $1 (func (result i32)))
-;; CHECK-NODEBUG: (type $i32_=>_i32 (func (param i32) (result i32)))
+;; CHECK-NODEBUG: (type $2 (func (param i32) (result i32)))
;; CHECK-NODEBUG: (table $0 1 1 funcref)
@@ -162,11 +162,11 @@
;; CHECK-NODEBUG: (elem $1 (table $1) (i32.const 0) func $1 $1 $1)
-;; CHECK-NODEBUG: (func $0 (type $none_=>_none)
+;; CHECK-NODEBUG: (func $0 (type $0)
;; CHECK-NODEBUG-NEXT: (nop)
;; CHECK-NODEBUG-NEXT: )
-;; CHECK-NODEBUG: (func $1 (type $none_=>_none)
+;; CHECK-NODEBUG: (func $1 (type $0)
;; CHECK-NODEBUG-NEXT: (drop
;; CHECK-NODEBUG-NEXT: (table.get $0
;; CHECK-NODEBUG-NEXT: (i32.const 0)
@@ -179,7 +179,7 @@
;; CHECK-NODEBUG-NEXT: )
;; CHECK-NODEBUG-NEXT: )
-;; CHECK-NODEBUG: (func $2 (type $none_=>_none)
+;; CHECK-NODEBUG: (func $2 (type $0)
;; CHECK-NODEBUG-NEXT: (table.set $0
;; CHECK-NODEBUG-NEXT: (i32.const 0)
;; CHECK-NODEBUG-NEXT: (ref.func $0)
@@ -191,11 +191,11 @@
;; CHECK-NODEBUG-NEXT: )
;; CHECK-NODEBUG-NEXT: )
-;; CHECK-NODEBUG: (func $3 (type $none_=>_i32) (result i32)
+;; CHECK-NODEBUG: (func $3 (type $1) (result i32)
;; CHECK-NODEBUG-NEXT: (table.size $0)
;; CHECK-NODEBUG-NEXT: )
-;; CHECK-NODEBUG: (func $4 (type $i32_=>_i32) (param $0 i32) (result i32)
+;; CHECK-NODEBUG: (func $4 (type $2) (param $0 i32) (result i32)
;; CHECK-NODEBUG-NEXT: (table.grow $0
;; CHECK-NODEBUG-NEXT: (ref.null nofunc)
;; CHECK-NODEBUG-NEXT: (local.get $0)