diff options
Diffstat (limited to 'test/lit/table-operations.wast')
-rw-r--r-- | test/lit/table-operations.wast | 48 |
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) |