wasmtime-cli 43.0.1

Command-line interface for Wasmtime
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71

;;! target = "x86_64"

(module
  (func $untyped-select (result i32)
  	i32.const 42
  	i32.const 24
  	i32.const 1
  	select)

  (func $typed-select-1 (result externref)
  	ref.null extern
  	ref.null extern
  	i32.const 1
  	select (result externref))

  (func $typed-select-2 (param externref) (result externref)
    ref.null extern
    local.get 0
    i32.const 1
    select (result externref))
)

;; function u0:0(i64 vmctx, i64) -> i32 tail {
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+24
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64):
;; @0023                               v3 = iconst.i32 42
;; @0025                               v4 = iconst.i32 24
;; @0027                               v5 = iconst.i32 1
;; @0029                               v6 = select v5, v3, v4  ; v5 = 1, v3 = 42, v4 = 24
;; @002a                               jump block1
;;
;;                                 block1:
;; @002a                               return v6
;; }
;;
;; function u0:1(i64 vmctx, i64) -> i32 tail {
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+24
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64):
;; @002d                               v3 = iconst.i32 0
;; @002f                               v4 = iconst.i32 0
;; @0031                               v5 = iconst.i32 1
;; @0033                               v6 = select v5, v3, v4  ; v5 = 1, v3 = 0, v4 = 0
;; @0036                               jump block1
;;
;;                                 block1:
;; @0036                               return v6
;; }
;;
;; function u0:2(i64 vmctx, i64, i32) -> i32 tail {
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+24
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64, v2: i32):
;; @0039                               v4 = iconst.i32 0
;; @003d                               v5 = iconst.i32 1
;; @003f                               v6 = select v5, v4, v2  ; v5 = 1, v4 = 0
;; @0042                               jump block1
;;
;;                                 block1:
;; @0042                               return v6
;; }