summaryrefslogtreecommitdiff
path: root/test/lit/merge
diff options
context:
space:
mode:
Diffstat (limited to 'test/lit/merge')
-rw-r--r--test/lit/merge/names.wat137
-rw-r--r--test/lit/merge/names.wat.second27
2 files changed, 164 insertions, 0 deletions
diff --git a/test/lit/merge/names.wat b/test/lit/merge/names.wat
new file mode 100644
index 000000000..24b1dab0d
--- /dev/null
+++ b/test/lit/merge/names.wat
@@ -0,0 +1,137 @@
+;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.
+;; RUN: wasm-merge -g %s first %s.second second -all -o %t.wasm
+;; RUN: wasm-opt -all %t.wasm -S -o - | filecheck %s
+(module
+ ;; CHECK: (type $0 (func))
+
+ ;; CHECK: (type $t (struct (field $a i32) (field $b i32)))
+
+ ;; CHECK: (type $2 (func (param (ref $t))))
+
+ ;; CHECK: (type $u (struct (field $c i64) (field $d i32)))
+
+ ;; CHECK: (type $4 (func (param (ref $u))))
+
+ ;; CHECK: (global $global$0 i32 (i32.const 0))
+
+ ;; CHECK: (global $glob2 i32 (i32.const 0))
+
+ ;; CHECK: (global $global$2 i32 (i32.const 0))
+
+ ;; CHECK: (global $glob0 i32 (i32.const 0))
+
+ ;; CHECK: (memory $mem0 0)
+
+ ;; CHECK: (memory $1 0)
+
+ ;; CHECK: (memory $mem2 0)
+
+ ;; CHECK: (memory $3 0)
+
+ ;; CHECK: (table $table0 1 funcref)
+
+ ;; CHECK: (table $1 1 funcref)
+
+ ;; CHECK: (table $table2 1 funcref)
+
+ ;; CHECK: (table $3 1 funcref)
+
+ ;; CHECK: (tag $tag0)
+
+ ;; CHECK: (tag $tag$1)
+
+ ;; CHECK: (tag $tag2)
+
+ ;; CHECK: (tag $tag$3)
+
+ ;; CHECK: (export "m0" (memory $mem0))
+
+ ;; CHECK: (export "m1" (memory $1))
+
+ ;; CHECK: (export "f0" (func $func0))
+
+ ;; CHECK: (export "f1" (func $1))
+
+ ;; CHECK: (export "t0" (table $table0))
+
+ ;; CHECK: (export "t1" (table $1))
+
+ ;; CHECK: (export "g0" (global $glob0))
+
+ ;; CHECK: (export "g1" (global $global$2))
+
+ ;; CHECK: (export "tag0" (tag $tag0))
+
+ ;; CHECK: (export "tag1" (tag $tag$1))
+
+ ;; CHECK: (export "func" (func $2))
+
+ ;; CHECK: (export "m2" (memory $mem2))
+
+ ;; CHECK: (export "m3" (memory $3))
+
+ ;; CHECK: (export "f2" (func $func2))
+
+ ;; CHECK: (export "f3" (func $4))
+
+ ;; CHECK: (export "t2" (table $table2))
+
+ ;; CHECK: (export "t3" (table $3))
+
+ ;; CHECK: (export "g2" (global $glob2))
+
+ ;; CHECK: (export "g3" (global $global$0))
+
+ ;; CHECK: (export "tag2" (tag $tag2))
+
+ ;; CHECK: (export "tag3" (tag $tag$3))
+
+ ;; CHECK: (export "func2" (func $5))
+
+ ;; CHECK: (func $func0 (type $0)
+ ;; CHECK-NEXT: (nop)
+ ;; CHECK-NEXT: )
+ (func $func0 (export "f0"))
+ (func (export "f1"))
+
+ (table $table0 (export "t0") 1 funcref)
+ (table (export "t1") 1 funcref)
+
+ (global $glob0 (export g0) i32 (i32.const 0))
+ (global (export g1) i32 (i32.const 0))
+
+ (memory $mem0 (export "m0") 0)
+ (memory (export "m1") 0)
+
+ (elem $elem0 func)
+ (elem func)
+
+ (data $data0 "")
+ (data "")
+
+ (tag $tag0 (export tag0))
+ (tag (export tag1))
+
+ (type $t (struct (field $a i32) (field $b i32)))
+
+ (func (export "func") (param $x (ref $t)))
+)
+;; CHECK: (func $1 (type $0)
+;; CHECK-NEXT: (nop)
+;; CHECK-NEXT: )
+
+;; CHECK: (func $2 (type $2) (param $x (ref $t))
+;; CHECK-NEXT: (nop)
+;; CHECK-NEXT: )
+
+;; CHECK: (func $func2 (type $0)
+;; CHECK-NEXT: (nop)
+;; CHECK-NEXT: )
+
+;; CHECK: (func $4 (type $0)
+;; CHECK-NEXT: (nop)
+;; CHECK-NEXT: )
+
+;; CHECK: (func $5 (type $4) (param $0 (ref $u))
+;; CHECK-NEXT: (nop)
+;; CHECK-NEXT: )
diff --git a/test/lit/merge/names.wat.second b/test/lit/merge/names.wat.second
new file mode 100644
index 000000000..4aed55d53
--- /dev/null
+++ b/test/lit/merge/names.wat.second
@@ -0,0 +1,27 @@
+(module
+
+ (func $func2 (export "f2"))
+ (func (export "f3"))
+
+ (table $table2 (export "t2") 1 funcref)
+ (table (export "t3") 1 funcref)
+
+ (memory $mem2 (export "m2") 0)
+ (memory (export "m3") 0)
+
+ (global $glob2 (export g2) i32 (i32.const 0))
+ (global (export g3) i32 (i32.const 0))
+
+ (elem $elem2 func)
+ (elem func)
+
+ (data $data2 "")
+ (data "")
+
+ (tag $tag2 (export tag2))
+ (tag (export tag3))
+
+ (type $u (struct (field $c i64) (field $d i32)))
+
+ (func (export "func2") (param (ref $u)))
+)