wasmtime-cli 46.0.2

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

;;! target = "x86_64"
;;! test = 'optimize'
;;! flags = '-Wgc'

(module
  (data $passive "this is a passive data segment")
  (type $a (array (mut i8)))

  (func $a (param (ref $a) i32 i32 i32)
    local.get 0
    local.get 1
    local.get 2
    local.get 3
    array.init_data $a $passive)
)
;; function u0:0(i64 vmctx, i64, i32, i32, i32, i32) tail {
;;     region0 = 2147483648 "GcHeap"
;;     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+8
;;     gv5 = load.i64 notrap aligned readonly can_move gv4+32
;;     gv6 = load.i64 notrap aligned gv4+40
;;     sig0 = (i64 vmctx, i64, i64, i64) tail
;;     fn0 = colocated u805306368:1 sig0
;;     stack_limit = gv2
;;
;;                                 block0(v0: i64, v1: i64, v2: i32, v3: i32, v4: i32, v5: i32):
;; @002a                               trapz v2, user16
;; @002a                               v58 = load.i64 notrap aligned readonly can_move v0+8
;; @002a                               v7 = load.i64 notrap aligned readonly can_move v58+32
;; @002a                               v6 = uextend.i64 v2
;; @002a                               v8 = iadd v7, v6
;; @002a                               v9 = iconst.i64 16
;; @002a                               v10 = iadd v8, v9  ; v9 = 16
;; @002a                               v11 = load.i32 user2 readonly region0 v10
;; @002a                               v13 = uextend.i64 v3
;; @002a                               v14 = uextend.i64 v5
;; @002a                               v17 = iadd v13, v14
;; @002a                               v12 = uextend.i64 v11
;; @002a                               v18 = icmp ugt v17, v12
;; @002a                               trapnz v18, user17
;; @002a                               v29 = load.i32 notrap aligned v0+56
;; @002a                               v31 = uextend.i64 v4
;; @002a                               v35 = iadd v31, v14
;; @002a                               v30 = uextend.i64 v29
;; @002a                               v36 = icmp ugt v35, v30
;; @002a                               trapnz v36, heap_oob
;; @002a                               v38 = load.i64 notrap aligned v0+48
;; @002a                               v47 = load.i64 notrap aligned v58+40
;; @002a                               v22 = iconst.i64 20
;; @002a                               v23 = iadd v8, v22  ; v22 = 20
;; @002a                               v27 = iadd v23, v13
;; @002a                               v49 = uadd_overflow_trap v27, v14, user2
;; @002a                               v48 = iadd v7, v47
;; @002a                               v50 = icmp ugt v49, v48
;; @002a                               trapnz v50, user2
;; @002a                               v40 = iadd v38, v31
;; @002a                               call fn0(v0, v27, v40, v14)
;; @002e                               jump block1
;;
;;                                 block1:
;; @002e                               return
;; }