wasmtime-cli 46.0.0

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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118

;;! target = "x86_64"
;;! test = "optimize"

;; When `call_indirect` is used in a loop with the same table index on every
;; iteration, we can hoist part of the work out of the loop. This test tracks
;; how much we're successfully pulling out.

(module
  (type $fn (func (result i32)))
  (table $fnptrs 2 2 funcref)
  (func (param i32)
        loop
          local.get 0
          call_indirect $fnptrs (type $fn)
          br 0
        end)
  (func
        loop
          i32.const 1
          call_indirect $fnptrs (type $fn)
          br 0
        end)
)

;; function u0:0(i64 vmctx, i64, i32) tail {
;;     region0 = 1342177280 "DefinedTable(StaticModuleIndex(0), DefinedTableIndex(0))"
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+24
;;     gv3 = vmctx
;;     gv4 = load.i64 notrap aligned readonly can_move gv3+48
;;     sig0 = (i64 vmctx, i64) -> i32 tail
;;     sig1 = (i64 vmctx, i32, i64) -> i64 tail
;;     fn0 = colocated u805306368:7 sig1
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64, v2: i32):
;; @002b                               v4 = iconst.i32 2
;; @002b                               v5 = icmp uge v2, v4  ; v4 = 2
;; @002b                               v11 = iconst.i64 0
;; @002b                               v7 = load.i64 notrap aligned readonly can_move v0+48
;; @002b                               v6 = uextend.i64 v2
;; @002b                               v8 = iconst.i64 3
;; @002b                               v9 = ishl v6, v8  ; v8 = 3
;; @002b                               v10 = iadd v7, v9
;; @002b                               v12 = select_spectre_guard v5, v11, v10  ; v11 = 0
;; @002b                               v14 = iconst.i64 -2
;; @002b                               v17 = iconst.i32 0
;; @002b                               v22 = load.i64 notrap aligned readonly can_move v0+40
;; @002b                               v23 = load.i32 notrap aligned readonly can_move v22
;; @0027                               jump block2
;;
;;                                 block2:
;; @002b                               v13 = load.i64 user6 aligned region0 v12
;;                                     v31 = iconst.i64 -2
;;                                     v32 = band v13, v31  ; v31 = -2
;; @002b                               brif v13, block5(v32), block4
;;
;;                                 block4 cold:
;;                                     v33 = iconst.i32 0
;; @002b                               v20 = call fn0(v0, v33, v6)  ; v33 = 0
;; @002b                               jump block5(v20)
;;
;;                                 block5(v16: i64):
;; @002b                               v24 = load.i32 user7 aligned readonly v16+16
;; @002b                               v25 = icmp eq v24, v23
;; @002b                               trapz v25, user8
;; @002b                               v26 = load.i64 notrap aligned readonly v16+8
;; @002b                               v27 = load.i64 notrap aligned readonly v16+24
;; @002b                               v28 = call_indirect sig0, v26(v27, v0)
;; @002e                               jump block2
;; }
;;
;; function u0:1(i64 vmctx, i64) tail {
;;     region0 = 1342177280 "DefinedTable(StaticModuleIndex(0), DefinedTableIndex(0))"
;;     gv0 = vmctx
;;     gv1 = load.i64 notrap aligned readonly gv0+8
;;     gv2 = load.i64 notrap aligned gv1+24
;;     gv3 = vmctx
;;     gv4 = load.i64 notrap aligned readonly can_move gv3+48
;;     sig0 = (i64 vmctx, i64) -> i32 tail
;;     sig1 = (i64 vmctx, i32, i64) -> i64 tail
;;     fn0 = colocated u805306368:7 sig1
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64):
;; @0038                               v6 = load.i64 notrap aligned readonly can_move v0+48
;;                                     v36 = iconst.i64 8
;; @0038                               v9 = iadd v6, v36  ; v36 = 8
;; @0038                               v13 = iconst.i64 -2
;; @0038                               v16 = iconst.i32 0
;;                                     v35 = iconst.i64 1
;; @0038                               v21 = load.i64 notrap aligned readonly can_move v0+40
;; @0038                               v22 = load.i32 notrap aligned readonly can_move v21
;; @0034                               jump block2
;;
;;                                 block2:
;;                                     v37 = iadd.i64 v6, v36  ; v36 = 8
;; @0038                               v12 = load.i64 user6 aligned region0 v37
;;                                     v38 = iconst.i64 -2
;;                                     v39 = band v12, v38  ; v38 = -2
;; @0038                               brif v12, block5(v39), block4
;;
;;                                 block4 cold:
;;                                     v40 = iconst.i32 0
;;                                     v41 = iconst.i64 1
;; @0038                               v19 = call fn0(v0, v40, v41)  ; v40 = 0, v41 = 1
;; @0038                               jump block5(v19)
;;
;;                                 block5(v15: i64):
;; @0038                               v23 = load.i32 user7 aligned readonly v15+16
;; @0038                               v24 = icmp eq v23, v22
;; @0038                               trapz v24, user8
;; @0038                               v25 = load.i64 notrap aligned readonly v15+8
;; @0038                               v26 = load.i64 notrap aligned readonly v15+24
;; @0038                               v27 = call_indirect sig0, v25(v26, v0)
;; @003b                               jump block2
;; }