komet-node/src/tests/integration/data/wasm/args.wat at 21d26c077f2cc0aacb9c4a2b0476f3c7e2e88da8 · runtimeverification/komet-node · GitHub

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
(module
  (type (;0;) (func))
  (type (;1;) (func (param i64) (result i64)))
  (type (;2;) (func (param i64 i64 i64 i64) (result i64)))
  (type (;3;) (func (param i64 i64) (result i64)))

  ;; test_bool: accept 1 bool arg, return Void
  (func (;0;) (type 1) (param i64) (result i64)
    i64.const 2)

  ;; test_integers: accept u32, i32, u64, i64, return Void
  (func (;1;) (type 2) (param i64 i64 i64 i64) (result i64)
    i64.const 2)

  ;; test_wide_integers: accept u128, i128, return Void
  (func (;2;) (type 3) (param i64 i64) (result i64)
    i64.const 2)

  ;; test_symbol: accept 1 symbol arg, return Void
  (func (;3;) (type 1) (param i64) (result i64)
    i64.const 2)

  ;; _ (Soroban ABI stub)
  (func (;4;) (type 0))

  ;; test_vec / test_map: accept 1 composite arg (a HostVal object handle),
  ;; return Void. Declared last and referenced by symbolic id so their function
  ;; indices (and the exports below) do not depend on declaration order —
  ;; wat2wasm numbers functions by position, ignoring the ;;(;N;) comments.
  (func $test_vec (type 1) (param i64) (result i64)
    i64.const 2)
  (func $test_map (type 1) (param i64) (result i64)
    i64.const 2)

  (memory (;0;) 16)
  (global (;0;) (mut i32) (i32.const 1048576))
  (global (;1;) i32 (i32.const 1048576))
  (global (;2;) i32 (i32.const 1048576))

  (export "memory" (memory 0))
  (export "test_bool" (func 0))
  (export "test_integers" (func 1))
  (export "test_wide_integers" (func 2))
  (export "test_symbol" (func 3))
  (export "_" (func 4))
  (export "test_vec" (func $test_vec))
  (export "test_map" (func $test_map))
  (export "__data_end" (global 1))
  (export "__heap_base" (global 2))
)