summaryrefslogtreecommitdiff
path: root/test/lit/wasm-split/multi-split.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/wasm-split/multi-split.wast')
-rw-r--r--test/lit/wasm-split/multi-split.wast102
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: )