Skip to content

Commit 742becf

Browse files
ospencerospencer
committed
snapshots
1 parent 5a124a0 commit 742becf

File tree

5 files changed

+712
-0
lines changed

5 files changed

+712
-0
lines changed

‎compiler/test/__snapshots__/pattern_matching.5b6ff2d3.0.snapshot‎

Lines changed: 350 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,350 @@
1+
pattern matching › alias_match_5
2+
(module
3+
(type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
4+
(type $none_=>_i32 (func (result i32)))
5+
(type $none_=>_none (func))
6+
(type $i32_i32_i32_=>_i32 (func (param i32 i32 i32) (result i32)))
7+
(import \"_grainEnv\" \"mem\" (memory $0 0))
8+
(import \"_grainEnv\" \"tbl\" (table $tbl 0 funcref))
9+
(import \"_grainEnv\" \"relocBase\" (global $wimport__grainEnv_relocBase i32))
10+
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$incRef\" (global $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef (mut i32)))
11+
(import \"GRAIN$MODULE$runtime/gc\" \"GRAIN$EXPORT$decRef\" (global $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef (mut i32)))
12+
(import \"GRAIN$MODULE$runtime/equal\" \"GRAIN$EXPORT$equal\" (global $wimport_GRAIN$MODULE$runtime/equal_GRAIN$EXPORT$equal (mut i32)))
13+
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$None\" (global $gimport_pervasives_None (mut i32)))
14+
(import \"GRAIN$MODULE$pervasives\" \"GRAIN$EXPORT$Some\" (global $gimport_pervasives_Some (mut i32)))
15+
(import \"GRAIN$MODULE$runtime/gc\" \"incRef\" (func $wimport_GRAIN$MODULE$runtime/gc_incRef (param i32 i32) (result i32)))
16+
(import \"GRAIN$MODULE$runtime/gc\" \"decRef\" (func $wimport_GRAIN$MODULE$runtime/gc_decRef (param i32 i32) (result i32)))
17+
(import \"GRAIN$MODULE$runtime/equal\" \"equal\" (func $wimport_GRAIN$MODULE$runtime/equal_equal (param i32 i32 i32) (result i32)))
18+
(global $global_1 i32 (i32.const 0))
19+
(export \"memory\" (memory $0))
20+
(export \"_gmain\" (func $_gmain))
21+
(export \"_start\" (func $_start))
22+
(export \"GRAIN$TABLE_SIZE\" (global $global_1))
23+
(func $_gmain (; has Stack IR ;) (result i32)
24+
(local $0 i32)
25+
(local $1 i32)
26+
(local $2 i32)
27+
(local $3 i32)
28+
(local $4 i32)
29+
(local.set $0
30+
(tuple.extract 0
31+
(tuple.make
32+
(call_indirect (type $i32_i32_=>_i32)
33+
(local.tee $0
34+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
35+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
36+
(global.get $gimport_pervasives_Some)
37+
)
38+
)
39+
(i32.const 11)
40+
(i32.load offset=8
41+
(local.get $0)
42+
)
43+
)
44+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
45+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
46+
(i32.const 0)
47+
)
48+
)
49+
)
50+
)
51+
(local.set $1
52+
(tuple.extract 0
53+
(tuple.make
54+
(i32.const 0)
55+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
56+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
57+
(i32.const 0)
58+
)
59+
)
60+
)
61+
)
62+
(local.set $2
63+
(tuple.extract 0
64+
(tuple.make
65+
(i32.const 0)
66+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
67+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
68+
(i32.const 0)
69+
)
70+
)
71+
)
72+
)
73+
(local.set $4
74+
(block $switch.38_outer (result i32)
75+
(drop
76+
(block $switch.38_branch_1 (result i32)
77+
(drop
78+
(block $switch.38_branch_2 (result i32)
79+
(drop
80+
(block $switch.38_branch_3 (result i32)
81+
(drop
82+
(block $switch.38_default (result i32)
83+
(br_table $switch.38_branch_1 $switch.38_branch_2 $switch.38_branch_3 $switch.38_default
84+
(i32.const 0)
85+
(i32.shr_s
86+
(if (result i32)
87+
(i32.shr_u
88+
(i32.or
89+
(i32.shl
90+
(i32.eq
91+
(local.tee $4
92+
(i32.load offset=12
93+
(local.get $0)
94+
)
95+
)
96+
(i32.const 3)
97+
)
98+
(i32.const 31)
99+
)
100+
(i32.const 2147483646)
101+
)
102+
(i32.const 31)
103+
)
104+
(block (result i32)
105+
(drop
106+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
107+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
108+
(block (result i32)
109+
(local.set $2
110+
(tuple.extract 0
111+
(tuple.make
112+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
113+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
114+
(local.get $0)
115+
)
116+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
117+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
118+
(local.get $2)
119+
)
120+
)
121+
)
122+
)
123+
(i32.const 1879048190)
124+
)
125+
)
126+
)
127+
(i32.const 3)
128+
)
129+
(if (result i32)
130+
(i32.shr_u
131+
(i32.or
132+
(i32.shl
133+
(i32.eq
134+
(local.get $4)
135+
(i32.const 1)
136+
)
137+
(i32.const 31)
138+
)
139+
(i32.const 2147483646)
140+
)
141+
(i32.const 31)
142+
)
143+
(block (result i32)
144+
(local.set $3
145+
(tuple.extract 0
146+
(tuple.make
147+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
148+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
149+
(i32.load offset=20
150+
(local.get $0)
151+
)
152+
)
153+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
154+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
155+
(i32.const 0)
156+
)
157+
)
158+
)
159+
)
160+
(if (result i32)
161+
(i32.shr_u
162+
(call $wimport_GRAIN$MODULE$runtime/equal_equal
163+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
164+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
165+
(global.get $wimport_GRAIN$MODULE$runtime/equal_GRAIN$EXPORT$equal)
166+
)
167+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
168+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
169+
(local.get $3)
170+
)
171+
(i32.const 7)
172+
)
173+
(i32.const 31)
174+
)
175+
(block (result i32)
176+
(drop
177+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
178+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
179+
(block (result i32)
180+
(local.set $1
181+
(tuple.extract 0
182+
(tuple.make
183+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
184+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
185+
(local.get $0)
186+
)
187+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
188+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
189+
(local.get $1)
190+
)
191+
)
192+
)
193+
)
194+
(i32.const 1879048190)
195+
)
196+
)
197+
)
198+
(i32.const 1)
199+
)
200+
(if (result i32)
201+
(i32.shr_u
202+
(call $wimport_GRAIN$MODULE$runtime/equal_equal
203+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
204+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
205+
(global.get $wimport_GRAIN$MODULE$runtime/equal_GRAIN$EXPORT$equal)
206+
)
207+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
208+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
209+
(local.get $3)
210+
)
211+
(i32.const 9)
212+
)
213+
(i32.const 31)
214+
)
215+
(block (result i32)
216+
(drop
217+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
218+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
219+
(block (result i32)
220+
(local.set $1
221+
(tuple.extract 0
222+
(tuple.make
223+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
224+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
225+
(local.get $0)
226+
)
227+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
228+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
229+
(local.get $1)
230+
)
231+
)
232+
)
233+
)
234+
(i32.const 1879048190)
235+
)
236+
)
237+
)
238+
(i32.const 1)
239+
)
240+
(if (result i32)
241+
(i32.shr_u
242+
(call $wimport_GRAIN$MODULE$runtime/equal_equal
243+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
244+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
245+
(global.get $wimport_GRAIN$MODULE$runtime/equal_GRAIN$EXPORT$equal)
246+
)
247+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
248+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
249+
(local.get $3)
250+
)
251+
(i32.const 11)
252+
)
253+
(i32.const 31)
254+
)
255+
(block (result i32)
256+
(drop
257+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
258+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
259+
(block (result i32)
260+
(local.set $2
261+
(tuple.extract 0
262+
(tuple.make
263+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
264+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
265+
(local.get $0)
266+
)
267+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
268+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
269+
(local.get $2)
270+
)
271+
)
272+
)
273+
)
274+
(i32.const 1879048190)
275+
)
276+
)
277+
)
278+
(i32.const 3)
279+
)
280+
(i32.const 5)
281+
)
282+
)
283+
)
284+
)
285+
(i32.const 5)
286+
)
287+
)
288+
(i32.const 1)
289+
)
290+
)
291+
)
292+
)
293+
(unreachable)
294+
)
295+
)
296+
(br $switch.38_outer
297+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
298+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
299+
(global.get $gimport_pervasives_None)
300+
)
301+
)
302+
)
303+
)
304+
(br $switch.38_outer
305+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
306+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
307+
(local.get $2)
308+
)
309+
)
310+
)
311+
)
312+
(call $wimport_GRAIN$MODULE$runtime/gc_incRef
313+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$incRef)
314+
(local.get $1)
315+
)
316+
)
317+
)
318+
(drop
319+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
320+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
321+
(local.get $0)
322+
)
323+
)
324+
(drop
325+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
326+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
327+
(local.get $1)
328+
)
329+
)
330+
(drop
331+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
332+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
333+
(local.get $2)
334+
)
335+
)
336+
(drop
337+
(call $wimport_GRAIN$MODULE$runtime/gc_decRef
338+
(global.get $wimport_GRAIN$MODULE$runtime/gc_GRAIN$EXPORT$decRef)
339+
(local.get $3)
340+
)
341+
)
342+
(local.get $4)
343+
)
344+
(func $_start (; has Stack IR ;)
345+
(drop
346+
(call $_gmain)
347+
)
348+
)
349+
;; custom section \"cmi\", size 245
350+
)

‎compiler/test/__snapshots__/pattern_matching.7f7fe4ef.0.snapshot‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,19 @@
1+
pattern matching › alias_match_1
2+
(module
3+
(type $none_=>_i32 (func (result i32)))
4+
(type $none_=>_none (func))
5+
(import \"_grainEnv\" \"mem\" (memory $0 0))
6+
(import \"_grainEnv\" \"relocBase\" (global $wimport__grainEnv_relocBase i32))
7+
(global $global_1 i32 (i32.const 0))
8+
(export \"memory\" (memory $0))
9+
(export \"_gmain\" (func $_gmain))
10+
(export \"_start\" (func $_start))
11+
(export \"GRAIN$TABLE_SIZE\" (global $global_1))
12+
(func $_gmain (; has Stack IR ;) (result i32)
13+
(i32.const -2)
14+
)
15+
(func $_start (; has Stack IR ;)
16+
(nop)
17+
)
18+
;; custom section \"cmi\", size 245
19+
)

0 commit comments

Comments
 (0)
⚡