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
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145

;;! gc = true

;; Test `array.set` with various element types.

;; i32 elements
(module
  (type $arr (array (mut i32)))

  (func (export "set-and-get") (result i32)
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 3)))
    (array.set $arr (local.get $a) (i32.const 1) (i32.const 42))
    (array.get $arr (local.get $a) (i32.const 1))
  )

  ;; Overwrite an element multiple times; last write wins.
  (func (export "overwrite") (result i32)
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 1)))
    (array.set $arr (local.get $a) (i32.const 0) (i32.const 1))
    (array.set $arr (local.get $a) (i32.const 0) (i32.const 2))
    (array.set $arr (local.get $a) (i32.const 0) (i32.const 3))
    (array.get $arr (local.get $a) (i32.const 0))
  )

  ;; Neighbours of a set element are not disturbed.
  (func (export "neighbours-untouched") (result i32)
    (local $a (ref $arr))
    (local.set $a (array.new $arr (i32.const 0) (i32.const 5)))
    (array.set $arr (local.get $a) (i32.const 2) (i32.const 99))
    ;; Neighbours should still be 0.
    (i32.add
      (array.get $arr (local.get $a) (i32.const 1))
      (array.get $arr (local.get $a) (i32.const 3))
    )
  )
)
(assert_return (invoke "set-and-get") (i32.const 42))
(assert_return (invoke "overwrite") (i32.const 3))
(assert_return (invoke "neighbours-untouched") (i32.const 0))

;; i64 elements
(module
  (type $arr (array (mut i64)))
  (func (export "set-i64") (result i64)
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 2)))
    (array.set $arr (local.get $a) (i32.const 0) (i64.const 0x12345678_87654321))
    (array.get $arr (local.get $a) (i32.const 0))
  )
)
(assert_return (invoke "set-i64") (i64.const 0x12345678_87654321))

;; f32 elements
(module
  (type $arr (array (mut f32)))
  (func (export "set-f32") (result f32)
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 1)))
    (array.set $arr (local.get $a) (i32.const 0) (f32.const 3.14))
    (array.get $arr (local.get $a) (i32.const 0))
  )
)
(assert_return (invoke "set-f32") (f32.const 3.14))

;; f64 elements
(module
  (type $arr (array (mut f64)))
  (func (export "set-f64") (result f64)
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 1)))
    (array.set $arr (local.get $a) (i32.const 0) (f64.const 2.718281828))
    (array.get $arr (local.get $a) (i32.const 0))
  )
)
(assert_return (invoke "set-f64") (f64.const 2.718281828))

;; i8 (packed) elements
(module
  (type $arr (array (mut i8)))
  (func (export "set-i8") (result i32)
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 4)))
    (array.set $arr (local.get $a) (i32.const 0) (i32.const 0xff))
    (array.set $arr (local.get $a) (i32.const 1) (i32.const 0x7f))
    ;; Read back unsigned
    (i32.add
      (array.get_u $arr (local.get $a) (i32.const 0))
      (array.get_u $arr (local.get $a) (i32.const 1))
    )
  )
)
(assert_return (invoke "set-i8") (i32.const 0x17e)) ;; 0xff + 0x7f = 0x17e

;; i16 (packed) elements
(module
  (type $arr (array (mut i16)))
  (func (export "set-i16") (result i32)
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 2)))
    (array.set $arr (local.get $a) (i32.const 0) (i32.const 0x8000))
    (array.set $arr (local.get $a) (i32.const 1) (i32.const 0x7fff))
    (i32.add
      (array.get_u $arr (local.get $a) (i32.const 0))
      (array.get_u $arr (local.get $a) (i32.const 1))
    )
  )
)
(assert_return (invoke "set-i16") (i32.const 0xffff)) ;; 0x8000 + 0x7fff = 0xffff

;; GC-ref elements: write a struct into an anyref array
(module
  (type $box (struct (field i32)))
  (type $arr (array (mut anyref)))

  (func (export "set-gcref") (result i32)
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 3)))
    (array.set $arr (local.get $a) (i32.const 1) (struct.new $box (i32.const 77)))
    (struct.get $box 0
      (ref.cast (ref $box) (array.get $arr (local.get $a) (i32.const 1)))
    )
  )
)
(assert_return (invoke "set-gcref") (i32.const 77))

;; Out-of-bounds set should trap
(module
  (type $arr (array (mut i32)))
  (func (export "oob-set")
    (local $a (ref $arr))
    (local.set $a (array.new_default $arr (i32.const 2)))
    (array.set $arr (local.get $a) (i32.const 2) (i32.const 0))
  )
)
(assert_trap (invoke "oob-set") "out of bounds array access")

;; Set on a null array reference should trap
(module
  (type $arr (array (mut i32)))
  (func (export "null-set")
    (array.set $arr (ref.null $arr) (i32.const 0) (i32.const 0))
  )
)
(assert_trap (invoke "null-set") "null array reference")