diff options
Diffstat (limited to 'test/lit/wasm-split/multi-split.wast')
-rw-r--r-- | test/lit/wasm-split/multi-split.wast | 102 |
1 files changed, 49 insertions, 53 deletions
diff --git a/test/lit/wasm-split/multi-split.wast b/test/lit/wasm-split/multi-split.wast index 9206e60ee..d7fb56c07 100644 --- a/test/lit/wasm-split/multi-split.wast +++ b/test/lit/wasm-split/multi-split.wast @@ -7,8 +7,10 @@ ;; RUN: wasm-dis %t3.wasm | filecheck %s --check-prefix=CHECK-C (module - (type $ret-i32 (func (result i32))) ;; PRIMARY: (type $ret-i64 (func (result i64))) + + ;; PRIMARY: (type $ret-i32 (func (result i32))) + (type $ret-i32 (func (result i32))) (type $ret-i64 (func (result i64))) ;; PRIMARY: (type $ret-f32 (func (result f32))) (type $ret-f32 (func (result f32))) @@ -62,24 +64,24 @@ ) (i32.const 0) ) - ;; CHECK-B: (type $0 (func (result i32))) + ;; CHECK-B: (type $0 (func (result f32))) - ;; CHECK-B: (type $1 (func (result f32))) + ;; CHECK-B: (type $1 (func (result i32))) ;; CHECK-B: (type $2 (func (result i64))) - ;; CHECK-B: (import "" "table_3" (table $timport$0 2 funcref)) - - ;; CHECK-B: (import "" "table" (table $timport$1 1 funcref)) + ;; CHECK-B: (import "" "table_4" (table $timport$0 1 funcref)) ;; CHECK-B: (import "" "b" (func $C (result f32))) - ;; CHECK-B: (elem $0 (table $timport$0) (i32.const 0) func $B $1) + ;; CHECK-B: (import "" "c" (func $fimport$1 (result i32))) + + ;; CHECK-B: (elem $0 (i32.const 0) $B) ;; CHECK-B: (func $B (result i64) ;; CHECK-B-NEXT: (drop - ;; CHECK-B-NEXT: (call_ref $0 - ;; CHECK-B-NEXT: (ref.func $1) + ;; CHECK-B-NEXT: (call_ref $1 + ;; CHECK-B-NEXT: (ref.func $fimport$1) ;; CHECK-B-NEXT: ) ;; CHECK-B-NEXT: ) ;; CHECK-B-NEXT: (drop @@ -88,7 +90,7 @@ ;; CHECK-B-NEXT: ) ;; CHECK-B-NEXT: ) ;; CHECK-B-NEXT: (drop - ;; CHECK-B-NEXT: (call_ref $1 + ;; CHECK-B-NEXT: (call_ref $0 ;; CHECK-B-NEXT: (ref.func $C) ;; CHECK-B-NEXT: ) ;; CHECK-B-NEXT: ) @@ -112,33 +114,29 @@ ) (i64.const 0) ) - ;; CHECK-C: (type $0 (func (result i64))) + ;; CHECK-C: (type $0 (func (result i32))) - ;; CHECK-C: (type $1 (func (result i32))) + ;; CHECK-C: (type $1 (func (result i64))) ;; CHECK-C: (type $2 (func (result f32))) - ;; CHECK-C: (import "" "table_4" (table $timport$0 2 funcref)) + ;; CHECK-C: (import "" "table_6" (table $timport$0 1 funcref)) - ;; CHECK-C: (import "" "table_3" (table $timport$1 2 funcref)) + ;; CHECK-C: (import "" "c" (func $fimport$0 (result i32))) - ;; CHECK-C: (elem $0 (table $timport$0) (i32.const 0) func $0 $C) + ;; CHECK-C: (import "" "d" (func $fimport$1 (result i64))) - ;; CHECK-C: (func $0 (result i64) - ;; CHECK-C-NEXT: (call_indirect (type $0) - ;; CHECK-C-NEXT: (i32.const 0) - ;; CHECK-C-NEXT: ) - ;; CHECK-C-NEXT: ) + ;; CHECK-C: (elem $0 (i32.const 0) $C) ;; CHECK-C: (func $C (result f32) ;; CHECK-C-NEXT: (drop - ;; CHECK-C-NEXT: (call_ref $1 - ;; CHECK-C-NEXT: (ref.func $3) + ;; CHECK-C-NEXT: (call_ref $0 + ;; CHECK-C-NEXT: (ref.func $fimport$0) ;; CHECK-C-NEXT: ) ;; CHECK-C-NEXT: ) ;; CHECK-C-NEXT: (drop - ;; CHECK-C-NEXT: (call_ref $0 - ;; CHECK-C-NEXT: (ref.func $2) + ;; CHECK-C-NEXT: (call_ref $1 + ;; CHECK-C-NEXT: (ref.func $fimport$1) ;; CHECK-C-NEXT: ) ;; CHECK-C-NEXT: ) ;; CHECK-C-NEXT: (drop @@ -169,52 +167,50 @@ ) ;; PRIMARY: (table $0 1 funcref) -;; PRIMARY: (table $1 2 funcref) +;; PRIMARY: (table $1 1 funcref) -;; PRIMARY: (table $2 2 funcref) +;; PRIMARY: (table $2 1 funcref) ;; PRIMARY: (elem $0 (table $0) (i32.const 0) funcref (item (ref.null nofunc))) -;; PRIMARY: (elem $1 (table $1) (i32.const 0) funcref (item (ref.null nofunc)) (item (ref.null nofunc))) +;; PRIMARY: (elem $1 (table $1) (i32.const 0) funcref (item (ref.null nofunc))) -;; PRIMARY: (elem $2 (table $2) (i32.const 0) funcref (item (ref.null nofunc)) (item (ref.null nofunc))) +;; PRIMARY: (elem $2 (table $2) (i32.const 0) funcref (item (ref.null nofunc))) -;; PRIMARY: (export "a" (func $0)) +;; PRIMARY: (export "a" (func $1)) -;; PRIMARY: (export "b" (func $1)) +;; PRIMARY: (export "b" (func $3)) ;; PRIMARY: (export "table" (table $0)) -;; PRIMARY: (export "table_3" (table $1)) +;; PRIMARY: (export "c" (func $0)) + +;; PRIMARY: (export "table_4" (table $1)) + +;; PRIMARY: (export "d" (func $2)) + +;; PRIMARY: (export "table_6" (table $2)) + +;; PRIMARY: (func $0 (result i32) +;; PRIMARY-NEXT: (call_indirect (type $ret-i32) +;; PRIMARY-NEXT: (i32.const 0) +;; PRIMARY-NEXT: ) +;; PRIMARY-NEXT: ) -;; PRIMARY: (export "table_4" (table $2)) +;; PRIMARY: (func $1 (result i64) +;; PRIMARY-NEXT: (call_indirect (type $ret-i64) +;; PRIMARY-NEXT: (i32.const 0) +;; PRIMARY-NEXT: ) +;; PRIMARY-NEXT: ) -;; PRIMARY: (func $0 (result i64) +;; PRIMARY: (func $2 (result i64) ;; PRIMARY-NEXT: (call_indirect (type $ret-i64) ;; PRIMARY-NEXT: (i32.const 0) ;; PRIMARY-NEXT: ) ;; PRIMARY-NEXT: ) -;; PRIMARY: (func $1 (result f32) +;; PRIMARY: (func $3 (result f32) ;; PRIMARY-NEXT: (call_indirect (type $ret-f32) -;; PRIMARY-NEXT: (i32.const 1) +;; PRIMARY-NEXT: (i32.const 0) ;; PRIMARY-NEXT: ) ;; PRIMARY-NEXT: ) - -;; CHECK-B: (func $1 (result i32) -;; CHECK-B-NEXT: (call_indirect (type $0) -;; CHECK-B-NEXT: (i32.const 0) -;; CHECK-B-NEXT: ) -;; CHECK-B-NEXT: ) - -;; CHECK-C: (func $2 (result i64) -;; CHECK-C-NEXT: (call_indirect (type $0) -;; CHECK-C-NEXT: (i32.const 0) -;; CHECK-C-NEXT: ) -;; CHECK-C-NEXT: ) - -;; CHECK-C: (func $3 (result i32) -;; CHECK-C-NEXT: (call_indirect (type $1) -;; CHECK-C-NEXT: (i32.const 1) -;; CHECK-C-NEXT: ) -;; CHECK-C-NEXT: ) |