blob: 504dac102c2e0e57c391d2788202db8a37426e25 [file] [log] [blame] [edit]
;; 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 $u (struct (field $c i64) (field $d i32)))
;; CHECK: (type $3 (func (param (ref $t))))
;; CHECK: (type $4 (func (param (ref $u))))
;; CHECK: (global $glob0 i32 (i32.const 0))
;; CHECK: (global $global$1 i32 (i32.const 0))
;; CHECK: (global $glob2 i32 (i32.const 0))
;; CHECK: (global $global$3 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 "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$1))
;; CHECK: (export "m0" (memory $mem0))
;; CHECK: (export "m1" (memory $1))
;; CHECK: (export "tag0" (tag $tag0))
;; CHECK: (export "tag1" (tag $tag$1))
;; CHECK: (export "func" (func $2))
;; CHECK: (export "f2" (func $func2))
;; CHECK: (export "f3" (func $4))
;; CHECK: (export "t2" (table $table2))
;; CHECK: (export "t3" (table $3))
;; CHECK: (export "m2" (memory $mem2))
;; CHECK: (export "m3" (memory $3))
;; CHECK: (export "g2" (global $glob2))
;; CHECK: (export "g3" (global $global$3))
;; 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 $3) (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: )