global-reffunc.wast

;; RUN: wasm-split %s -all -g -o1 %t.1.wasm -o2 %t.2.wasm --keep-funcs=keep
;; RUN: wasm-dis %t.1.wasm | filecheck %s --check-prefix PRIMARY
;; RUN: wasm-dis %t.2.wasm | filecheck %s --check-prefix SECONDARY

;; When a split global ($a here)'s initializer contains a ref.func of a split
;; function, we should NOT create any trampolines, and the split global should
;; direclty refer to the function.

(module
  (global $a funcref (ref.func $split))
  (global $b funcref (ref.func $keep))

  (func $keep)

  (func $split
    (drop
      (global.get $a)
    )
    (drop
      (global.get $b)
    )
  )
)

;; PRIMARY:      (module
;; PRIMARY-NEXT:  (type $0 (func))
;; PRIMARY-NEXT:  (import "placeholder.deferred" "0" (func $placeholder_0))
;; PRIMARY-NEXT:  (table $0 1 funcref)
;; PRIMARY-NEXT:  (elem $0 (i32.const 0) $placeholder_0)
;; PRIMARY-NEXT:  (export "table" (table $0))
;; PRIMARY-NEXT:  (export "keep" (func $keep))
;; PRIMARY-NEXT:  (func $keep
;; PRIMARY-NEXT:  )
;; PRIMARY-NEXT: )

;; SECONDARY:      (module
;; SECONDARY-NEXT:  (type $0 (func))
;; SECONDARY-NEXT:  (import "primary" "table" (table $timport$0 1 funcref))
;; SECONDARY-NEXT:  (import "primary" "keep" (func $keep (exact)))
;; SECONDARY-NEXT:  (global $a funcref (ref.func $split))
;; SECONDARY-NEXT:  (global $b funcref (ref.func $keep))
;; SECONDARY-NEXT:  (elem $0 (i32.const 0) $split)
;; SECONDARY-NEXT:  (func $split
;; SECONDARY-NEXT:   (drop
;; SECONDARY-NEXT:    (global.get $a)
;; SECONDARY-NEXT:   )
;; SECONDARY-NEXT:   (drop
;; SECONDARY-NEXT:    (global.get $b)
;; SECONDARY-NEXT:   )
;; SECONDARY-NEXT:  )
;; SECONDARY-NEXT: )