blob: 57eec8fff897839495858a279f9a3246214e776e (
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
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
(module
(type $func (func (result funcref)))
(global $global (mut anyref) (ref.null any))
(global $global-ref (mut funcref) (ref.func $use-global-ref))
(func $null (export "null") (result anyref)
(ref.null any)
)
(func $is_null (export "is_null") (param $ref anyref) (result i32)
(ref.is_null
(local.get $ref)
)
)
(func $ref.func (export "ref.func") (result funcref)
;; Test that we are aware that "$ref.func" below refers to the function and
;; not the local. This code will keep the local around (at least in an
;; unoptimized build), and it should use a different name than the function.
(local $ref.func i32)
(local.set $ref.func
(i32.add
(local.get $ref.func)
(i32.const 1)
)
)
(ref.func $ref.func)
)
(func $ref.eq (export "ref.eq") (param $x eqref) (param $y eqref) (result i32)
(ref.eq
(local.get $x)
(local.get $y)
)
)
(func $ref.as (export "ref.as") (param $x anyref) (result anyref)
(ref.as_non_null
(local.get $x)
)
)
(func $use-global (export "use-global") (param $x anyref) (result anyref)
(local $temp anyref)
(local.set $temp
(global.get $global)
)
(global.set $global
(local.get $x)
)
(local.get $temp)
)
(func $use-global-ref (export "use-global-ref") (param $x funcref) (result funcref)
(local $temp funcref)
(local.set $temp
(global.get $global-ref)
)
(global.set $global-ref
(local.get $x)
)
(local.get $temp)
)
(func $funcref_temps (export "funcref_temps") (param $0 funcref) (param $1 f64)
;; A deeply-nested expression that ends up requiring multiple function type
;; temp variables.
(call $funcref_temps
(ref.func $funcref_temps)
(f64.convert_i32_s
(ref.is_null
(select (result funcref)
(local.get $0)
(loop $loop (result funcref)
(ref.func $funcref_temps)
)
(i32.const 0)
)
)
)
)
)
(func $named_type_temps (export "named_type_temps") (result funcref)
;; This nested expression ends up needing to use temp vars, and one such
;; name contains the type $func. We should emit that in form that is
;; mangled for JS, without '(' which appears in the stringified name of the
;; type, "(ref null $func)".
(select (result (ref null $func))
(ref.null nofunc)
(if (result (ref $func))
(i32.const 1)
(then
(ref.func $named_type_temps)
)
(else
(unreachable)
)
)
(i32.const 0)
)
)
)
|
