wasmtime-cli 46.0.1

Command-line interface for Wasmtime
Documentation
;;! target = "x86_64"

(module
  (func $imported (import "env" "f") (param i32) (result i32))
  (func $local (result externref externref funcref funcref)
    global.get 0
    global.get 1
    global.get 2
    global.get 3)

  (global (export "externref-imported") externref (ref.null extern))
  (global (export "externref-local") externref (ref.null extern))
  (global (export "funcref-imported") funcref (ref.func $imported))
  (global (export "funcref-local") funcref (ref.func $local)))

;; function u0:0(i64 vmctx, i64) -> i32, i32, i64, i64 tail {
;;     region0 = 1610612736 "PublicGlobal"
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+24
;;     gv3 = vmctx
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64):
;; @008f                               v7 = iconst.i64 80
;; @008f                               v8 = iadd v0, v7  ; v7 = 80
;; @008f                               v9 = load.i32 notrap aligned v8
;; @0091                               v11 = iconst.i64 96
;; @0091                               v12 = iadd v0, v11  ; v11 = 96
;; @0091                               v13 = load.i32 notrap aligned v12
;; @0093                               v15 = load.i64 notrap aligned region0 v0+112
;; @0095                               v17 = load.i64 notrap aligned region0 v0+128
;; @0097                               jump block1
;;
;;                                 block1:
;; @0097                               return v9, v13, v15, v17
;; }