blob: 98d1cd0754514fc908e45711f1b3902310592cfc (
plain)
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
|
(module
(rec
(type $A (struct (field (mut i32)) (field funcref)))
;; This type can be optimized away.
(type $unused (struct))
)
(global $A (ref null $A) (struct.new $A
;; These particular values are not used, and can be removed, leaving the
;; struct.new as struct.new_default.
(i32.const 0)
(ref.func $use-global)
))
(func $use-global (export "use-global") (result i32)
;; This function stores 42 in the global struct, then reads and returns
;; that. We don't manage to optimize away anything in this function, which
;; only serves to keep alive the type and the global for the above testing.
(struct.set $A 0
(global.get $A)
(i32.const 42)
)
(struct.get $A 0
(global.get $A)
)
)
)
|
