Repository navigation
Expand file tree
/
Copy pathimports4.wast
More file actions
47 lines (42 loc) · 1.58 KB
/
Copy pathimports4.wast
File metadata and controls
47 lines (42 loc) · 1.58 KB
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
(module
(memory (export "memory-2-inf") 2)
(memory (export "memory-2-4") 2 4)
)
(register "test")
(module
(import "test" "memory-2-4" (memory 1))
(memory $m (import "spectest" "memory") 0 3) ;; actual has max size 2
(func (export "grow") (param i32) (result i32) (memory.grow $m (local.get 0)))
)
(assert_return (invoke "grow" (i32.const 0)) (i32.const 1))
(assert_return (invoke "grow" (i32.const 1)) (i32.const 1))
(assert_return (invoke "grow" (i32.const 0)) (i32.const 2))
(assert_return (invoke "grow" (i32.const 1)) (i32.const -1))
(assert_return (invoke "grow" (i32.const 0)) (i32.const 2))
(module $Mgm
(memory 0)
(memory 0)
(memory $m (export "memory") 1) ;; initial size is 1
(func (export "grow") (result i32) (memory.grow $m (i32.const 1)))
)
(register "grown-memory" $Mgm)
(assert_return (invoke $Mgm "grow") (i32.const 1)) ;; now size is 2
(module $Mgim1
;; imported memory limits should match, because external memory size is 2 now
(import "test" "memory-2-4" (memory 1))
(memory $m (export "memory") (import "grown-memory" "memory") 2)
(memory 0)
(memory 0)
(func (export "grow") (result i32) (memory.grow $m (i32.const 1)))
)
(register "grown-imported-memory" $Mgim1)
(assert_return (invoke $Mgim1 "grow") (i32.const 2)) ;; now size is 3
(module $Mgim2
;; imported memory limits should match, because external memory size is 3 now
(import "test" "memory-2-4" (memory 1))
(memory $m (import "grown-imported-memory" "memory") 3)
(memory 0)
(memory 0)
(func (export "size") (result i32) (memory.size $m))
)
(assert_return (invoke $Mgim2 "size") (i32.const 3))