issue-11458.wat

;;! target = "x86_64"
;;! test = "optimize"
;;! filter = "wasm[1]--function"
;;! flags = "-C inlining=y"

(component
  (core module $m
    (func $f (export "f") (param i32) (result i32)
      (return_call $f (i32.add (local.get 0) (i32.const 1)))
    )
  )
  (core module $n
    (import "" "f" (func $f (param i32) (result i32)))
    (func (export "g") (param i32) (result i32)
      (call $f (i32.const 0))
    )
  )
  (core instance $i (instantiate $m))
  (core instance $j (instantiate $n (with "" (instance $i))))
)

;; function u1:0(i64 vmctx, i64, i32) -> i32 tail {
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+16
;;     gv3 = vmctx
;;     gv4 = vmctx
;;     gv5 = load.i64 notrap aligned readonly gv4+8
;;     gv6 = load.i64 notrap aligned gv5+16
;;     sig0 = (i64 vmctx, i64, i32) -> i32 tail
;;     sig1 = (i64 vmctx, i64, i32) -> i32 tail
;;     fn0 = colocated u0:0 sig0
;;     fn1 = colocated u0:0 sig1
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64, v2: i32):
;; @006f                               jump block2
;;
;;                                 block2:
;; @006f                               v6 = load.i64 notrap aligned readonly can_move v0+64
;;                                     v10 = iconst.i32 1
;;                                     v12 = call fn1(v6, v6, v10)  ; v10 = 1
;;                                     jump block4
;;
;;                                 block4:
;; @0071                               jump block1
;;
;;                                 block1:
;; @0071                               return v12
;; }