wasm-tools 1.248.0

CLI tools for interoperating with WebAssembly files
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

;; RUN: wast --assert default --snapshot tests/snapshots % -f stack-switching

;; Simple state example - functional with heterogeneous continuations
(module $state
  (tag $get (result i32))
  (tag $set (param i32))

  (type $gf (func (param i32) (result i32)))
  (type $sf (func (result i32)))

  (type $gk (cont $gf))
  (type $sk (cont $sf))

  (func $getting (param $k (ref $gk)) (param $s i32) (result i32)
     (block $on_get (result (ref $gk))
       (block $on_set (result i32 (ref $sk))
          (resume $gk (on $get $on_get) (on $set $on_set)
            (local.get $s) (local.get $k)
          )
          (return)
        ) ;;  $on_set (result i32 (ref $sk))
        (return_call $setting)
      ) ;;  $on_get (result (ref $gk))
      (local.get $s)
      (return_call $getting)
  )

  (func $setting (param $s i32) (param $k (ref $sk)) (result i32)
     (block $on_get (result (ref $gk))
       (block $on_set (result i32 (ref $sk))
          (resume $sk (on $get $on_get) (on $set $on_set)
            (local.get $k)
          )
          (return)
        ) ;;  $on_set (result i32 (ref $sk))
        (return_call $setting)
      ) ;;  $on_get (result (ref $gk))
      (local.get $s)
      (return_call $getting)
  )

  (func $f (result i32)
    (suspend $set (i32.const 7))
    (i32.add
      (suspend $get)
      (i32.mul
        (i32.const 2)
        (suspend $set (i32.const 3))
        (i32.add
          (i32.const 3)
          (suspend $get)
        )
      )
    )
  )

  (elem declare func $f)
  (func (export "run") (result i32)
    (call $setting (i32.const 0) (cont.new $sk (ref.func $f)))
  )
)

(assert_return (invoke "run") (i32.const 19))