;; 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: ) (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: ) ;; CHECK: (func $2 (type $3) (param $x (ref $t)) ;; CHECK-NEXT: ) ;; CHECK: (func $func2 (type $0) ;; CHECK-NEXT: ) ;; CHECK: (func $4 (type $0) ;; CHECK-NEXT: ) ;; CHECK: (func $5 (type $4) (param $0 (ref $u)) ;; CHECK-NEXT: )