testsuite/exports0.wast at main · WebAssembly/testsuite · 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
;; Memories

(module (memory 0) (export "a" (memory 0)))
(module (memory 0) (export "a" (memory 0)) (export "b" (memory 0)))
(module (memory 0) (memory 0) (export "a" (memory 0)) (export "b" (memory 1)))
(module
  (memory $mem0 0)
  (memory $mem1 0)
  (memory $mem2 0)
  (memory $mem3 0)
  (memory $mem4 0)
  (memory $mem5 0)
  (memory $mem6 0)

  (export "a" (memory $mem0))
  (export "b" (memory $mem1))
  (export "ac" (memory $mem2))
  (export "bc" (memory $mem3))
  (export "ad" (memory $mem4))
  (export "bd" (memory $mem5))
  (export "be" (memory $mem6))

  (export "za" (memory $mem0))
  (export "zb" (memory $mem1))
  (export "zac" (memory $mem2))
  (export "zbc" (memory $mem3))
  (export "zad" (memory $mem4))
  (export "zbd" (memory $mem5))
  (export "zbe" (memory $mem6))
)

(module
  (export "a" (memory 0))
  (memory 6)

  (export "b" (memory 1))
  (memory 3)
)

(module
  (export "a" (memory 0))
  (memory 0 1)
  (memory 0 1)
  (memory 0 1)
  (memory 0 1)

  (export "b" (memory 3))
)
(module (export "a" (memory $a)) (memory $a 0))
(module (export "a" (memory $a)) (memory $a 0 1))