test/passes/inlining_all-features.wast

(module
  (export "ref_func_test" (func $ref_func_test))
  ;; $foo should not be removed after being inlined, because there is 'ref.func'
  ;; instruction that refers to it
  (func $foo)
  (func $ref_func_test (result funcref)
    (call $foo)
    (ref.func $foo)
  )
)
(module
 ;; a function reference in a global's init should be noticed, and prevent us
 ;; from removing an inlined function
 (global $global$0 (mut funcref) (ref.func $0))
 (func $0 (result i32)
  (i32.const 1337)
 )
 (func $1 (result i32)
  (call $0)
 )
)
(module
 ;; a function reference in the start should be noticed, and prevent us
 ;; from removing an inlined function
 (start $0)
 (func $0
  (nop)
 )
 (func $1
  (call $0)
 )
)
;; inline a return_call_ref
(module
 (type $none_=>_none (func))
 (export "func_36_invoker" (func $1))
 (func $0
  (return_call_ref
   (ref.null $none_=>_none)
  )
 )
 (func $1
  (call $0)
 )
)
;; properly ensure unique try labels after an inlining
(module
 (import "a" "b" (func $foo (result i32)))
 (event $event$0 (attr 0) (param i32))
 (func $0
  (try $label
   (do)
   (catch $event$0
    (nop)
   )
  )
 )
 (func "exported" (param $x i32)
  (loop $label ;; the same label as the try that will be inlined into here
   (call $0)
   (br_if $label
    (call $foo)
   )
  )
 )
)
;; for now, do not inline a try-delegate
(module
 (func $0
  (try $label$3
   (do)
   (delegate 0)
  )
 )
 (func $1
  (call $0)
 )
)
;; properly support inlining into a function with a try-delegate
(module
 (func $0 (result i32)
  (i32.const 42)
 )
 (func $1 (result i32)
  (try $label$3
   (do)
   (delegate 0)
  )
  (call $0)
 )
)
;; handle non-nullable parameter types (which turn into local types after
;; inlining)
(module
 (func $0 (param $non-null (ref func)) (result (ref func))
  (local.get $non-null)
 )
 (func $1 (result (ref func))
  (call $0
   (ref.func $1)
  )
 )
)
;; never inline an rtt parameter, as those cannot be handled as locals
(module
 (type $struct (struct))
 (func $0 (param $rtt (rtt $struct))
 )
 (func $1
  (call $0
   (rtt.canon $struct)
  )
 )
)