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
|
(module
(type $struct (struct_subtype (field i32) data))
(import "import" "import" (func $import (param anyref)))
;; This struct is created in an immutable global, but it has the wrong type.
;; We will create a new defining global for it that has the proper type, and
;; read from it here. (This is necessary as when the global is used elsewhere
;; we want to get the right type from the global.get.)
(global $global1 (ref any)
(struct.new $struct
(i32.const 1337)
)
)
;; Test reordering of globals. This global will be written a value that is
;; actually defined after it. To handle that, we must create it earlier than
;; this global.
(global $global2 (mut (ref null $struct))
(ref.null $struct)
)
;; This global is perfect to be a defining global (immutable, right type), but
;; because of an earlier use, we will end up defining it earlier on, and
;; reading it here.
(global $global3 (ref $struct)
(struct.new $struct
(i32.const 9999)
)
)
(func "test1"
(global.set $global2
(global.get $global3)
)
)
(func "keepalive" (result i32)
(select
(struct.get $struct 0
(ref.cast_static $struct
(global.get $global1)
)
)
(struct.get $struct 0
(global.get $global2)
)
(struct.get $struct 0
(global.get $global3)
)
)
)
)
|
