blob: 9cd4d211437aba0104516446554294bb91654045 (
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
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
|
// |jit-test| skip-if: !wasmGcEnabled()
// White-box test for bug 1617908. The significance of this test is that the
// type $S is too large to fit in an inline WasmGcObject, and the write barrier
// logic must take this into account when storing the (ref $S2) into the last
// field of the object.
const wat = `
(module
(type $S2 (sub (struct)))
(type $S (sub $S2
(struct
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut eqref)))))
(func $main
(struct.set $S 18
(struct.new $S
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(ref.null eq))
(struct.new $S2)))
(start $main))
`
wasmEvalText(wat);
// Test subtyping across outline/inline representations works
wasmEvalText(`
(module
(type $inline
(sub (struct
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
)))
(type $outline (sub $inline
(struct
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64))
(field (mut i64)))))
(func $main
(local $outline (ref null $outline))
(local $inline (ref null $inline))
(; create an outline object and acquire multiple views to it ;)
(struct.new $outline
(i64.const 0xFF)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0)
(i64.const 0))
local.tee $outline
local.set $inline
(; clobber the object header ;)
(struct.set $inline 0
local.get $inline
i64.const 0
)
(struct.set $inline 1
local.get $inline
i64.const 0
)
(struct.set $inline 2
local.get $inline
i64.const 0
)
(struct.set $inline 3
local.get $inline
i64.const 0
)
(struct.set $inline 4
local.get $inline
i64.const 0
)
(; try to read a field ;)
(struct.get $outline 0
local.get $outline
)
drop
)
(start $main))
`);
|
