;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited.

;; RUN: wasm-merge %s first %s.second second -all -S -o - | filecheck %s

;; Like table-init.wat, but the global $g that the table initializer refers to
;; is fused with a global whose initializer itself refers to another
;; module-defined global, $a. Inlining $g exposes a reference to $a, which must
;; be inlined as well, so verify that we keep inlining until the initializer
;; refers to no module-defined globals.

(module
  ;; CHECK:      (type $f (func))
  (type $f (func))

  (global $g (import "second" "g") (ref $f))

  ;; CHECK:      (global $a (ref $f) (ref.func $h))

  ;; CHECK:      (global $g_1 (ref $f) (global.get $a))

  ;; CHECK:      (table $t 3 funcref (ref.func $h))
  (table $t (export "t") 3 funcref (global.get $g))
)
;; CHECK:      (export "t" (table $t))

;; CHECK:      (export "g" (global $g_1))

;; CHECK:      (func $h (type $f)
;; CHECK-NEXT: )