Line | Branch | Exec | Source |
---|---|---|---|
1 | #include "gwion_util.h" | ||
2 | #include "gwion_ast.h" | ||
3 | #include "gwion_env.h" | ||
4 | #include "vm.h" | ||
5 | #include "gwion.h" | ||
6 | #include "instr.h" | ||
7 | #include "emit.h" | ||
8 | #include "object.h" | ||
9 | #include "array.h" | ||
10 | #include "traverse.h" | ||
11 | #include "template.h" | ||
12 | #include "escape.h" | ||
13 | #include "parse.h" | ||
14 | #include "memoize.h" | ||
15 | #include "operator.h" | ||
16 | #include "import.h" | ||
17 | #include "match.h" | ||
18 | #include "specialid.h" | ||
19 | #include "looper.h" | ||
20 | #include "shreduler_private.h" | ||
21 | |||
22 | #undef insert_symbol | ||
23 | #define insert_symbol(a) insert_symbol(emit->gwion->st, (a)) | ||
24 | |||
25 | #undef ERR_B | ||
26 | #define ERR_B(a, b, ...) \ | ||
27 | { \ | ||
28 | env_err(emit->env, (a), (b), ##__VA_ARGS__); \ | ||
29 | return GW_ERROR; \ | ||
30 | } | ||
31 | #undef ERR_O | ||
32 | #define ERR_O(a, b, ...) \ | ||
33 | { \ | ||
34 | env_err(emit->env, (a), (b), ##__VA_ARGS__); \ | ||
35 | return NULL; \ | ||
36 | } | ||
37 | |||
38 | typedef struct Local_ { | ||
39 | Type type; | ||
40 | m_uint offset; | ||
41 | Instr instr; | ||
42 | bool skip; | ||
43 | bool is_compound; | ||
44 | } Local; | ||
45 | |||
46 | 56 | static inline void emit_pop(const Emitter emit, const m_uint scope) { | |
47 | 56 | env_pop(emit->env, scope); | |
48 | 56 | } | |
49 | 51 | static inline m_uint emit_push(const Emitter emit, const Type type, | |
50 | const Nspc nspc) { | ||
51 | 51 | return env_push(emit->env, type, nspc); | |
52 | } | ||
53 | |||
54 | 5 | static inline m_uint emit_push_global(const Emitter emit) { | |
55 | 5 | return env_push_global(emit->env); | |
56 | } | ||
57 | |||
58 | 503 | static inline void emit_debug(const Emitter emit, const Value v) { | |
59 |
1/2✓ Branch 0 taken 503 times.
✗ Branch 1 not taken.
|
503 | if (!emit->info->debug) return; |
60 | ✗ | const Instr instr = emit_add_instr(emit, DebugValue); | |
61 | ✗ | instr->m_val = (m_uint)v; | |
62 | } | ||
63 | |||
64 | 752 | ANEW static Frame *new_frame(MemPool p) { | |
65 | 752 | Frame *frame = mp_calloc(p, Frame); | |
66 | 752 | vector_init(&frame->stack); | |
67 | 752 | vector_add(&frame->stack, (vtype)NULL); | |
68 | 752 | vector_init(&frame->defer); | |
69 | 752 | vector_add(&frame->defer, (vtype)NULL); | |
70 | 752 | return frame; | |
71 | } | ||
72 | |||
73 | ✗ | ANN static void release_maybe_stack(const MemPool mp, MP_Vector * ms) { | |
74 | ✗ | for (vtype i = ms->len + 1; --i;) { | |
75 | ✗ | const MaybeVal *mv = mp_vector_at(ms, MaybeVal, i - 1); | |
76 | ✗ | struct M_Vector_ v = { .ptr = mv->ptr }; | |
77 | ✗ | m_vector_release(&v); | |
78 | } | ||
79 | ✗ | free_mp_vector(mp, MaybeVal, ms); | |
80 | } | ||
81 | |||
82 | 751 | ANN static void free_frame(MemPool p, Frame *a) { | |
83 | LOOP_OPTIM | ||
84 |
2/2✓ Branch 1 taken 992 times.
✓ Branch 2 taken 751 times.
|
1743 | for (vtype i = vector_size(&a->stack) + 1; --i;) |
85 |
2/2✓ Branch 1 taken 241 times.
✓ Branch 2 taken 751 times.
|
992 | if (vector_at(&a->stack, i - 1)) |
86 | 241 | mp_free(p, Local, (Local *)vector_at(&a->stack, i - 1)); | |
87 | 751 | vector_release(&a->stack); | |
88 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 751 times.
|
751 | if(a->maybe_stack) |
89 | ✗ | release_maybe_stack(p, a->maybe_stack); | |
90 | 751 | vector_release(&a->defer); | |
91 |
2/2✓ Branch 0 taken 3 times.
✓ Branch 1 taken 748 times.
|
751 | if (a->handlers.ptr) map_release(&a->handlers); |
92 | 751 | mp_free(p, Frame, a); | |
93 | 751 | } | |
94 | |||
95 | 1558 | ANN static inline Local *new_local(MemPool p, const Type type) { | |
96 | 1558 | Local *const local = mp_calloc(p, Local); | |
97 | 1558 | local->type = type; | |
98 | 1558 | return local; | |
99 | } | ||
100 | |||
101 | 1558 | ANN static Local *frame_local(MemPool p, Frame *frame, const Type t) { | |
102 | 1558 | Local *const l = new_local(p, t); | |
103 | 1558 | l->offset = frame->curr_offset; | |
104 | 1558 | frame->curr_offset += t->size; | |
105 | 1558 | vector_add(&frame->stack, (vtype)l); | |
106 | 1558 | return l; | |
107 | } | ||
108 | |||
109 | 1257 | ANN static inline void frame_push(Frame *frame) { | |
110 | 1257 | vector_add(&frame->stack, (vtype)NULL); | |
111 | 1257 | vector_add(&frame->defer, (vtype)NULL); | |
112 | 1257 | } | |
113 | |||
114 | static const f_instr allocmember[] = {RegPushImm, RegPushImm2, RegPushImm3, | ||
115 | DotMemberMem4}; | ||
116 | static const f_instr allocword[] = {AllocWord, AllocWord2, AllocWord3, | ||
117 | RegPushMem4}; | ||
118 | |||
119 | ANN static m_bool emit_class_def(const Emitter, const Class_Def); | ||
120 | ANN /*static */ m_bool emit_cdef(const Emitter, const Type); | ||
121 | |||
122 | 619 | ANN /*static inline*/ m_bool ensure_emit(const Emitter emit, const Type t) { | |
123 |
6/6✓ Branch 1 taken 49 times.
✓ Branch 2 taken 570 times.
✓ Branch 4 taken 36 times.
✓ Branch 5 taken 13 times.
✓ Branch 7 taken 33 times.
✓ Branch 8 taken 3 times.
|
619 | if (tflag(t, tflag_emit) || !(tflag(t, tflag_cdef) || tflag(t, tflag_udef))) |
124 | 603 | return GW_OK; // clean callers | |
125 |
2/2✓ Branch 1 taken 3 times.
✓ Branch 2 taken 13 times.
|
16 | if(!tflag(t, tflag_tmpl))return GW_OK; |
126 | 13 | struct EnvSet es = {.env = emit->env, | |
127 | .data = emit, | ||
128 | .func = (_exp_func)emit_cdef, | ||
129 | 13 | .scope = emit->env->scope->depth, | |
130 | .flag = tflag_emit}; | ||
131 | 13 | return envset_run(&es, t); | |
132 | } | ||
133 | |||
134 | 125 | ANN void emit_object_release(const Emitter emit, const m_uint offset) { | |
135 | 125 | const Instr instr = emit_add_instr(emit, ObjectRelease); | |
136 | 125 | instr->m_val = offset; | |
137 | 125 | } | |
138 | |||
139 | ✗ | ANN void emit_compound_release(const Emitter emit, const Type t, const m_uint offset) { | |
140 | ✗ | if(tflag(t, tflag_compound)) | |
141 | ✗ | return emit_object_release(emit, offset); | |
142 | ✗ | if(tflag(t, tflag_release)) | |
143 | ✗ | emit_struct_release(emit, t, offset); | |
144 | } | ||
145 | |||
146 | 30 | ANN void emit_struct_release(const Emitter emit, const Type type, | |
147 | const m_uint offset) { | ||
148 | 30 | const Instr instr = emit_add_instr(emit, StructReleaseMem); | |
149 | 30 | instr->m_val = offset; | |
150 | 30 | instr->m_val2 = (m_uint)type; | |
151 | 30 | } | |
152 | |||
153 | ANN static m_bool emit_stmt(const Emitter emit, const Stmt stmt); | ||
154 | |||
155 | 2136 | ANN static m_bool emit_defers(const Emitter emit) { | |
156 | 2136 | const Vector v = &emit->code->frame->defer; | |
157 |
2/2✓ Branch 1 taken 1316 times.
✓ Branch 2 taken 820 times.
|
2136 | if (!vector_size(v)) return GW_OK; |
158 | m_uint i; | ||
159 |
2/2✓ Branch 1 taken 1960 times.
✓ Branch 2 taken 820 times.
|
2780 | for(i = vector_size(v) + 1; --i;) { |
160 | 1960 | const Stmt s = (Stmt)vector_at(v, i - 1); | |
161 |
1/4✗ Branch 0 not taken.
✓ Branch 1 taken 1960 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
|
1960 | if(s) CHECK_BB(emit_stmt(emit, s)); |
162 | } | ||
163 | 820 | VLEN(v) = i; | |
164 | 820 | return GW_OK; | |
165 | } | ||
166 | |||
167 | 85 | ANN static m_bool emit_defers2(const Emitter emit) { | |
168 | 85 | const Vector v = &emit->code->frame->defer; | |
169 |
2/2✓ Branch 1 taken 81 times.
✓ Branch 2 taken 4 times.
|
85 | for (m_uint i = vector_size(v) + 1; --i;) { |
170 | 81 | const Stmt s = (Stmt)vector_at(v, i - 1); | |
171 |
1/2✓ Branch 0 taken 81 times.
✗ Branch 1 not taken.
|
81 | if (!s) break; |
172 | ✗ | CHECK_BB(emit_stmt(emit, s)); | |
173 | } | ||
174 | 85 | return GW_OK; | |
175 | } | ||
176 | |||
177 | 2573 | ANN static m_int _frame_pop(const Emitter emit) { | |
178 | 2573 | Frame *frame = emit->code->frame; | |
179 |
2/2✓ Branch 1 taken 1257 times.
✓ Branch 2 taken 1316 times.
|
2573 | DECL_OB(const Local *, l, = (Local *)vector_pop(&frame->stack)); |
180 | 1316 | frame->curr_offset -= l->type->size; | |
181 |
2/2✓ Branch 0 taken 194 times.
✓ Branch 1 taken 1122 times.
|
1316 | if (l->skip) return _frame_pop(emit); |
182 |
2/2✓ Branch 0 taken 905 times.
✓ Branch 1 taken 217 times.
|
1122 | if (!l->is_compound) return _frame_pop(emit); |
183 | 217 | VMValue *vmval = | |
184 | 217 | (VMValue *)m_vector_addr(&emit->code->live_values, --frame->value_count); | |
185 | 217 | vmval->end = emit_code_size(emit); | |
186 |
2/2✓ Branch 1 taken 187 times.
✓ Branch 2 taken 30 times.
|
217 | if (!tflag(l->type, tflag_struct)) return (m_int)l->offset; |
187 | 30 | emit_struct_release(emit, l->type, l->offset); | |
188 | 30 | return _frame_pop(emit); | |
189 | } | ||
190 | |||
191 | ✗ | ANN static void emit_maybe_release(const Emitter emit, MP_Vector *const ms) { | |
192 | ✗ | for(m_uint i = 0; i < ms->len; i++) { | |
193 | ✗ | const MaybeVal *mv = mp_vector_at(ms, MaybeVal, i); | |
194 | ✗ | struct M_Vector_ vals = { .ptr = mv->ptr }; | |
195 | ✗ | for(m_uint j = 0; j < m_vector_size(&vals); j++) { | |
196 | ✗ | const VMValue val = *(VMValue*)(vals.ptr + ARRAY_OFFSET + j * sizeof(VMValue)); | |
197 | ✗ | emit_compound_release(emit, val.t, val.offset); | |
198 | } | ||
199 | } | ||
200 | } | ||
201 | |||
202 | 1444 | ANN static m_int frame_pop(const Emitter emit) { | |
203 | 1444 | emit_defers(emit); | |
204 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1444 times.
|
1444 | if(emit->code->frame->maybe_stack) |
205 | ✗ | emit_maybe_release(emit, emit->code->frame->maybe_stack); | |
206 | 1444 | return _frame_pop(emit); | |
207 | } | ||
208 | |||
209 | ANN /*static */ m_bool emit_exp(const Emitter emit, Exp exp); | ||
210 | ANN static m_bool emit_stmt(const Emitter emit, const Stmt stmt); | ||
211 | ANN static m_bool emit_stmt_list(const Emitter emit, Stmt_List list); | ||
212 | ANN static m_bool emit_exp_dot(const Emitter emit, const Exp_Dot *member); | ||
213 | |||
214 | 752 | ANEW static Code *new_code(const Emitter emit, const m_str name) { | |
215 | 752 | Code *code = mp_calloc(emit->gwion->mp, Code); | |
216 | 752 | code->name = code_name_set(emit->gwion->mp, name, emit->env->name); | |
217 | 752 | vector_init(&code->instr); | |
218 | 752 | vector_init(&code->stack_break); | |
219 | 752 | vector_init(&code->stack_cont); | |
220 | 752 | vector_init(&code->stack_return); | |
221 | 752 | m_vector_init(&code->live_values, sizeof(VMValue), 0); | |
222 | 752 | code->frame = new_frame(emit->gwion->mp); | |
223 | 752 | return code; | |
224 | } | ||
225 | |||
226 | 751 | ANN static void free_code(MemPool p, Code *code) { | |
227 | // we should use instr destructors | ||
228 |
2/2✓ Branch 0 taken 5 times.
✓ Branch 1 taken 746 times.
|
751 | if(code->instr.ptr) vector_release(&code->instr); |
229 | 751 | vector_release(&code->stack_break); | |
230 | 751 | vector_release(&code->stack_cont); | |
231 | 751 | vector_release(&code->stack_return); | |
232 |
2/2✓ Branch 0 taken 583 times.
✓ Branch 1 taken 168 times.
|
751 | if (code->live_values.ptr) m_vector_release(&code->live_values); |
233 | 751 | free_frame(p, code->frame); | |
234 | 751 | free_mstr(p, code->name); | |
235 | 751 | mp_free(p, Code, code); | |
236 | 751 | } | |
237 | |||
238 | 1257 | ANN void emit_pop_scope(const Emitter emit) { | |
239 | m_int offset; | ||
240 | struct Vector_ v; | ||
241 | 1257 | vector_init(&v); | |
242 |
2/2✓ Branch 1 taken 187 times.
✓ Branch 2 taken 1257 times.
|
1444 | while ((offset = frame_pop(emit)) > -1) |
243 | 187 | vector_add(&v, offset); | |
244 |
2/2✓ Branch 1 taken 1108 times.
✓ Branch 2 taken 149 times.
|
1257 | if(!vector_size(&v)) |
245 | 1108 | vector_release(&v); | |
246 |
2/2✓ Branch 1 taken 125 times.
✓ Branch 2 taken 24 times.
|
149 | else if(vector_size(&v) == 1) { |
247 | 125 | emit_object_release(emit, vector_front(&v)); | |
248 | 125 | vector_release(&v); | |
249 | } else { | ||
250 | 24 | Instr instr = emit_add_instr(emit, ObjectRelease2); | |
251 | 24 | instr->m_val = (m_uint)v.ptr; | |
252 | } | ||
253 | 1257 | vector_pop(&emit->info->pure); | |
254 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1257 times.
|
1257 | if (emit->info->debug) emit_add_instr(emit, DebugPop); |
255 | 1257 | } | |
256 | |||
257 | 402 | ANN static inline void emit_push_code(const Emitter emit, const m_str name) { | |
258 | 402 | vector_add(&emit->stack, (vtype)emit->code); | |
259 | 402 | emit->code = new_code(emit, name); | |
260 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 402 times.
|
402 | if (emit->info->debug) emit_add_instr(emit, DebugLine); |
261 | 402 | } | |
262 | |||
263 | 747 | ANN static inline void emit_pop_code(const Emitter emit) { | |
264 | 747 | emit->code = (Code *)vector_pop(&emit->stack); | |
265 | 747 | } | |
266 | |||
267 | 1257 | ANN void emit_push_scope(const Emitter emit) { | |
268 | 1257 | frame_push(emit->code->frame); | |
269 | 1257 | vector_add(&emit->info->pure, 0); | |
270 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1257 times.
|
1257 | if (emit->info->debug) emit_add_instr(emit, DebugPush); |
271 | 1257 | } | |
272 | |||
273 | 1415 | ANN m_uint emit_code_offset(const Emitter emit) { | |
274 | 1415 | return emit->code->frame->curr_offset; | |
275 | } | ||
276 | |||
277 | 1364 | ANN static Local * add_local(const Emitter emit, const Type t, const bool is_compound) { | |
278 | 1364 | Local *const l = frame_local(emit->gwion->mp, emit->code->frame, t); | |
279 |
2/2✓ Branch 0 taken 220 times.
✓ Branch 1 taken 1144 times.
|
1364 | if (is_compound) { |
280 | 220 | l->is_compound = true; | |
281 | 440 | VMValue vmval = { | |
282 | .t = t, | ||
283 | 220 | .offset = l->offset, | |
284 | 220 | .start = emit_code_size(emit) | |
285 | }; | ||
286 | 220 | m_vector_add(&emit->code->live_values, &vmval); | |
287 | 220 | ++emit->code->frame->value_count; | |
288 | } | ||
289 | 1364 | return l; | |
290 | } | ||
291 | |||
292 | 1312 | ANN m_uint emit_local(const Emitter emit, const Type t) { | |
293 | 1312 | const bool is_compound = tflag(t, tflag_compound); | |
294 | 1312 | Local *const l = add_local(emit, t, is_compound); | |
295 | 1312 | return l->offset; | |
296 | } | ||
297 | |||
298 | 52 | ANN void* emit_localx(const Emitter emit, const Type t) { | |
299 | 52 | Local *const l = add_local(emit, t, 1); | |
300 | 52 | l->instr = emit_regtomem(emit, l->offset, -SZ_INT); | |
301 | 52 | return l; | |
302 | } | ||
303 | |||
304 | 35 | ANN m_uint emit_local_exp(const Emitter emit, const Exp e) { | |
305 | 35 | Local *const l = emit_localx(emit, e->type); | |
306 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 35 times.
|
35 | if(e->ref) e->ref->data = l; |
307 | 35 | return l->offset; | |
308 | } | ||
309 | |||
310 | 194 | ANN m_uint emit_localn(const Emitter emit, const Type t) { | |
311 | 194 | Local *const l = frame_local(emit->gwion->mp, emit->code->frame, t); | |
312 | 194 | l->skip = true; | |
313 | 194 | return l->offset; | |
314 | } | ||
315 | |||
316 | ANN void emit_ext_ctor(const Emitter emit, const Type t); | ||
317 | |||
318 | 560 | ANN static inline void maybe_ctor(const Emitter emit, const Type t) { | |
319 |
2/2✓ Branch 1 taken 113 times.
✓ Branch 2 taken 447 times.
|
560 | if (tflag(t, tflag_ctor))emit_ext_ctor(emit, t); |
320 | 560 | } | |
321 | |||
322 | ANN2(1, 2) | ||
323 | static ArrayInfo *emit_array_extend_inner(const Emitter emit, const Type t, | ||
324 | const Exp e, const uint is_ref); | ||
325 | 560 | ANN static m_bool emit_pre_ctor(const Emitter emit, const Type type) { | |
326 |
2/2✓ Branch 0 taken 388 times.
✓ Branch 1 taken 172 times.
|
560 | if (type->info->parent) { |
327 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 388 times.
|
388 | CHECK_BB(emit_pre_ctor(emit, type->info->parent)); |
328 |
4/4✓ Branch 1 taken 9 times.
✓ Branch 2 taken 379 times.
✓ Branch 3 taken 5 times.
✓ Branch 4 taken 4 times.
|
388 | if (tflag(type, tflag_typedef) && type->info->parent->array_depth) |
329 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 5 times.
|
5 | CHECK_OB(emit_array_extend_inner(emit, type, type->info->cdef->base.ext->array->exp, false)); |
330 | } | ||
331 | 560 | maybe_ctor(emit, type); | |
332 | 560 | return GW_OK; | |
333 | } | ||
334 | |||
335 | 14 | ANN static void struct_expand(const Emitter emit, const Type t) { | |
336 | 14 | const Instr instr = emit_add_instr(emit, Reg2RegDeref); | |
337 | 14 | instr->m_val = -SZ_INT; | |
338 | 14 | instr->m_val2 = t->size; | |
339 | 14 | } | |
340 | |||
341 | 4 | ANN static m_bool emit_pre_constructor_array(const Emitter emit, | |
342 | const Type type) { | ||
343 | 4 | const m_uint start_index = emit_code_size(emit); | |
344 | 4 | const Instr top = emit_add_instr(emit, ArrayTop); | |
345 | 4 | top->m_val2 = (m_uint)type; | |
346 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | if (tflag(type, tflag_struct)) { |
347 | ✗ | const Instr instr = emit_add_instr(emit, ArrayStruct); | |
348 | ✗ | instr->m_val = type->size; | |
349 | } | ||
350 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_BB(emit_pre_ctor(emit, type)); |
351 |
1/2✓ Branch 1 taken 4 times.
✗ Branch 2 not taken.
|
4 | if (!tflag(type, tflag_struct)) |
352 | 4 | emit_add_instr(emit, ArrayBottom); | |
353 | else | ||
354 | ✗ | emit_regmove(emit, -SZ_INT); | |
355 | 4 | emit_regmove(emit, -SZ_INT); | |
356 | 4 | const Instr pc = emit_add_instr(emit, Goto); | |
357 | 4 | pc->m_val = start_index; | |
358 | 4 | top->m_val = emit_code_size(emit); | |
359 | 4 | emit_regmove(emit, -SZ_INT*3); | |
360 | 4 | emit_add_instr(emit, ArrayPost); | |
361 | 4 | return GW_OK; | |
362 | } | ||
363 | |||
364 | ANN2(1) | ||
365 | 13 | static m_bool extend_indices(const Emitter emit, Exp e, const m_uint depth) { | |
366 |
2/4✓ Branch 0 taken 13 times.
✗ Branch 1 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 13 times.
|
13 | if (e) CHECK_BB(emit_exp(emit, e)); |
367 | 13 | m_uint count = 0; | |
368 |
2/2✓ Branch 0 taken 17 times.
✓ Branch 1 taken 13 times.
|
30 | while (e) { |
369 | 17 | ++count; | |
370 | 17 | e = e->next; | |
371 | } | ||
372 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 13 times.
|
13 | for (m_uint i = count; i < depth; ++i) emit_pushimm(emit, 0); |
373 | 13 | return GW_OK; | |
374 | } | ||
375 | |||
376 | 13 | ANEW ANN static ArrayInfo *new_arrayinfo(const Emitter emit, const Type t) { | |
377 | 13 | const Type base = array_base(t); | |
378 | 13 | ArrayInfo *info = mp_calloc(emit->gwion->mp, ArrayInfo); | |
379 | 13 | vector_init(&info->type); | |
380 | 13 | info->depth = get_depth(t); | |
381 |
2/2✓ Branch 0 taken 4 times.
✓ Branch 1 taken 13 times.
|
17 | for (long i = 1; i < info->depth; ++i) |
382 | 4 | vector_add(&info->type, (vtype)array_type(emit->env, base, i)); | |
383 | 13 | vector_add(&info->type, (vtype)t); | |
384 | 13 | info->base = base; | |
385 | 13 | return info; | |
386 | } | ||
387 | |||
388 | 13 | ANN static inline m_bool arrayinfo_ctor(const Emitter emit, ArrayInfo *info) { | |
389 | 13 | const Type base = info->base; | |
390 |
2/2✓ Branch 1 taken 4 times.
✓ Branch 2 taken 9 times.
|
13 | if (tflag(base, tflag_compound) && |
391 |
1/2✓ Branch 0 taken 4 times.
✗ Branch 1 not taken.
|
4 | !GET_FLAG(base, abstract)) { |
392 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_BB(emit_pre_constructor_array(emit, base)); |
393 | 4 | info->is_obj = 1; | |
394 | } | ||
395 | 13 | return GW_OK; | |
396 | } | ||
397 | |||
398 | ANN2(1, 2) | ||
399 | 13 | static ArrayInfo *emit_array_extend_inner(const Emitter emit, const Type t, | |
400 | const Exp e, const uint is_ref) { | ||
401 |
1/2✗ Branch 2 not taken.
✓ Branch 3 taken 13 times.
|
13 | CHECK_BO(extend_indices(emit, e, get_depth(t))); |
402 | 13 | ArrayInfo * info = new_arrayinfo(emit, t); | |
403 | 13 | const Instr alloc = emit_add_instr(emit, ArrayAlloc); | |
404 | 13 | alloc->m_val = (m_uint)info; | |
405 |
2/4✓ Branch 0 taken 13 times.
✗ Branch 1 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 13 times.
|
13 | if (!is_ref) CHECK_BO(arrayinfo_ctor(emit, info)); |
406 | 13 | return info; | |
407 | } | ||
408 | |||
409 | ANN static void call_finish(const Emitter emit, const Func f,const bool); | ||
410 | 138 | ANN void emit_ext_ctor(const Emitter emit, const Type t) { | |
411 | 138 | const Instr cpy = emit_add_instr(emit, Reg2Reg); | |
412 | 138 | cpy->m_val2 = -SZ_INT; | |
413 | 138 | const Func f = (Func)vector_front(&t->nspc->vtable); | |
414 | 138 | emit_regmove(emit, SZ_INT); | |
415 | 138 | emit_pushfunc(emit, f); | |
416 | 138 | call_finish(emit, f, false); | |
417 | 138 | } | |
418 | |||
419 | 182 | ANN static inline void emit_notpure(const Emitter emit) { | |
420 | 182 | ++VPTR(&emit->info->pure, VLEN(&emit->info->pure) - 1); | |
421 | 182 | } | |
422 | |||
423 | ANN2(1, 2) | ||
424 | 176 | m_bool emit_instantiate_object(const Emitter emit, const Type type, | |
425 | const Array_Sub array, const m_bool is_ref) { | ||
426 | 176 | emit_notpure(emit); | |
427 |
2/2✓ Branch 0 taken 8 times.
✓ Branch 1 taken 168 times.
|
176 | if (type->array_depth) { |
428 |
2/4✓ Branch 0 taken 8 times.
✗ Branch 1 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 8 times.
|
8 | DECL_OB(ArrayInfo *, info, |
429 | = emit_array_extend_inner(emit, type, array ? array->exp : NULL, | ||
430 | is_ref)); | ||
431 | 8 | return GW_OK; | |
432 |
1/2✓ Branch 0 taken 168 times.
✗ Branch 1 not taken.
|
168 | } else if (!is_ref) { |
433 |
5/6✓ Branch 1 taken 8 times.
✓ Branch 2 taken 160 times.
✓ Branch 3 taken 4 times.
✓ Branch 4 taken 4 times.
✗ Branch 5 not taken.
✓ Branch 6 taken 4 times.
|
172 | if(!tflag(type, tflag_typedef) || isa(type, emit->gwion->type[et_closure]) > 0 || |
434 | 4 | tflag(type, tflag_union)) { | |
435 | 164 | const Instr instr = emit_add_instr(emit, ObjectInstantiate); | |
436 | 164 | instr->m_val2 = (m_uint)type; | |
437 | } // maybe we should instantiate the first actual type | ||
438 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 168 times.
|
168 | CHECK_BB(emit_pre_ctor(emit, type)); |
439 | } | ||
440 | 168 | return GW_OK; | |
441 | } | ||
442 | |||
443 | ANN2(1, 2) | ||
444 | 159 | m_bool emit_instantiate_decl(const Emitter emit, const Type type, | |
445 | const Type_Decl *td, const m_bool is_ref) { | ||
446 | 159 | return emit_instantiate_object(emit, type, td->array, is_ref); | |
447 | } | ||
448 | |||
449 | 130 | ANN static m_bool emit_symbol_builtin(const Emitter emit, const Symbol *data) { | |
450 | 130 | const Value v = prim_self(data)->value; | |
451 | 130 | const bool emit_addr = exp_getvar(prim_exp(data)); | |
452 |
2/2✓ Branch 1 taken 6 times.
✓ Branch 2 taken 124 times.
|
130 | if (vflag(v, vflag_direct)) { |
453 | 6 | const m_uint size = v->type->size; | |
454 | 6 | emit_dotstatic(emit, (m_uint)&v->d.ptr, size, emit_addr); | |
455 | // prevent invalid access to global variables | ||
456 |
1/2✓ Branch 0 taken 6 times.
✗ Branch 1 not taken.
|
6 | if(!emit_addr && |
457 |
2/2✓ Branch 0 taken 4 times.
✓ Branch 1 taken 2 times.
|
6 | isa(v->type, emit->gwion->type[et_object]) > 0) |
458 | 4 | emit_fast_except(emit, v->from, prim_pos(data)); | |
459 | } else { | ||
460 | 124 | const m_uint size = v->type->size; | |
461 | 124 | const Instr instr = emit_regpushimm(emit, v->d.num, size, emit_addr); | |
462 |
2/2✓ Branch 0 taken 75 times.
✓ Branch 1 taken 49 times.
|
124 | if (v->type->size == SZ_FLOAT) |
463 | 75 | instr->f = v->d.fnum; | |
464 | } | ||
465 | 130 | return GW_OK; | |
466 | } | ||
467 | |||
468 | 1003 | ANN static m_bool _emit_symbol(const Emitter emit, const Symbol *data) { | |
469 | 1003 | const Value v = prim_self(data)->value; | |
470 |
2/2✓ Branch 1 taken 6 times.
✓ Branch 2 taken 997 times.
|
1003 | if (is_class(emit->gwion, v->type)) { |
471 | 6 | emit_pushimm(emit, (m_uint)actual_type(emit->gwion, v->type)); | |
472 | 6 | return GW_OK; | |
473 | } | ||
474 |
4/4✓ Branch 1 taken 873 times.
✓ Branch 2 taken 124 times.
✓ Branch 4 taken 6 times.
✓ Branch 5 taken 867 times.
|
997 | if (vflag(v, vflag_builtin) || vflag(v, vflag_direct)) |
475 | 130 | return emit_symbol_builtin(emit, data); | |
476 | 867 | const Type t = prim_exp(data)->type; | |
477 |
2/2✓ Branch 1 taken 125 times.
✓ Branch 2 taken 742 times.
|
867 | if(is_func(emit->gwion, v->type)) { |
478 | 125 | const Func f = t->info->func; | |
479 |
2/2✓ Branch 0 taken 94 times.
✓ Branch 1 taken 31 times.
|
125 | if(f->code) |
480 | 94 | emit_pushimm(emit, (m_uint)f->code); | |
481 |
2/2✓ Branch 0 taken 6 times.
✓ Branch 1 taken 25 times.
|
31 | else if(!f->def->base->tmpl) { |
482 | 6 | const Instr instr = emit_add_instr(emit, SetFunc); | |
483 | 6 | instr->m_val = (m_uint)f; | |
484 | 25 | } else emit_pushimm(emit, (m_uint)f); | |
485 | 125 | return GW_OK; | |
486 | } | ||
487 |
3/4✓ Branch 1 taken 13 times.
✓ Branch 2 taken 729 times.
✓ Branch 5 taken 13 times.
✗ Branch 6 not taken.
|
742 | if (tflag(v->type, tflag_ref) && !safe_tflag(prim_exp(data)->cast_to, tflag_ref)) { |
488 |
2/2✓ Branch 3 taken 5 times.
✓ Branch 4 taken 8 times.
|
13 | if (exp_getvar(exp_self(prim_self(data)))) { |
489 | 5 | const Instr instr = emit_add_instr(emit, RegPushMem); | |
490 | 5 | instr->m_val = v->from->offset; | |
491 | 5 | instr->m_val2 = SZ_INT; | |
492 | } else { | ||
493 | 8 | const Instr instr = emit_add_instr(emit, RegPushMemDeref); | |
494 | 8 | instr->m_val = v->from->offset; | |
495 | 8 | const Type t = (Type)vector_front(&v->type->info->tuple->contains); | |
496 | 8 | instr->m_val2 = t->size; | |
497 | } | ||
498 | 13 | return GW_OK; | |
499 | } | ||
500 | 729 | const m_uint size = v->type->size; | |
501 |
2/2✓ Branch 1 taken 379 times.
✓ Branch 2 taken 350 times.
|
729 | if(!vflag(v, vflag_fglobal)) |
502 | 379 | emit_regpushmem(emit, v->from->offset, size, exp_getvar(prim_exp(data))); | |
503 | else | ||
504 | 350 | emit_regpushbase(emit, v->from->offset, size, exp_getvar(prim_exp(data))); | |
505 |
3/4✓ Branch 0 taken 5 times.
✓ Branch 1 taken 724 times.
✓ Branch 4 taken 5 times.
✗ Branch 5 not taken.
|
729 | if (GET_FLAG(v, late) && !exp_getvar(prim_exp(data)) && |
506 |
1/2✓ Branch 0 taken 5 times.
✗ Branch 1 not taken.
|
5 | isa(v->type, emit->gwion->type[et_object]) > 0) |
507 | 5 | emit_fast_except(emit, v->from, prim_pos(data)); | |
508 | 729 | return GW_OK; | |
509 | } | ||
510 | |||
511 | 1003 | ANN static m_bool emit_symbol(const Emitter emit, const Exp_Primary *prim) { | |
512 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1003 times.
|
1003 | if (!prim->value) // assume it's an operator |
513 | ✗ | ERR_B(exp_self(prim)->pos, "missing value for operator"); | |
514 | 1003 | return _emit_symbol(emit, &prim->d.var); | |
515 | } | ||
516 | |||
517 | 746 | ANN static VM_Code finalyze(const Emitter emit, const f_instr exec) { | |
518 | 746 | emit_add_instr(emit, exec); | |
519 | 746 | const VM_Code code = emit->info->emit_code(emit); | |
520 | 746 | free_code(emit->gwion->mp, emit->code); | |
521 | 746 | emit_pop_code(emit); | |
522 | 746 | return code; | |
523 | } | ||
524 | |||
525 | 1 | ANN static inline m_uint exp_size(const Exp e) { | |
526 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | if (exp_getvar(e)) return SZ_INT; |
527 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
|
1 | const Type type = e->cast_to ?: e->type; |
528 | 1 | return type->size; | |
529 | } | ||
530 | |||
531 | 334 | ANN void emit_object_addref(const Emitter emit, const m_int size, | |
532 | const bool emit_var) { | ||
533 |
1/2✓ Branch 0 taken 334 times.
✗ Branch 1 not taken.
|
334 | const f_instr exec = !emit_var ? RegAddRef : RegAddRefAddr; |
534 | 334 | const Instr instr = emit_add_instr(emit, exec); | |
535 | 334 | instr->m_val = size; | |
536 | 334 | } | |
537 | |||
538 | 3 | ANN void emit_struct_addref(const Emitter emit, const Type t, const m_int size, | |
539 | const bool emit_var) { | ||
540 |
1/2✓ Branch 1 taken 3 times.
✗ Branch 2 not taken.
|
3 | if(!tflag(t, tflag_release)) return; |
541 | const Instr instr = | ||
542 | ✗ | emit_add_instr(emit, !emit_var ? StructRegAddRef : StructRegAddRefAddr); | |
543 | ✗ | instr->m_val2 = (m_uint)t; | |
544 | ✗ | instr->m_val = !emit_var ? size : (m_int)-SZ_INT; | |
545 | } | ||
546 | |||
547 | ANN2(1) | ||
548 | ✗ | static void emit_exp_addref1(const Emitter emit, const Exp exp, m_int size) { | |
549 | ✗ | const Type t = exp->cast_to ?: exp->type; | |
550 | ✗ | if (tflag(t, tflag_compound)) | |
551 | ✗ | emit_compound_addref(emit, exp->type, size, exp_getvar(exp)); | |
552 | } | ||
553 | |||
554 | /*ANN2(1) | ||
555 | static void emit_exp_addref(const Emitter emit, Exp exp, | ||
556 | m_int size) { | ||
557 | do { | ||
558 | emit_exp_addref1(emit, exp, size); | ||
559 | size += exp_size(exp); | ||
560 | } while ((exp = exp->next)); | ||
561 | }*/ | ||
562 | |||
563 | 16 | ANN static inline m_bool emit_exp1(const Emitter emit, const Exp e) { | |
564 | 16 | const Exp next = e->next; | |
565 | 16 | e->next = NULL; | |
566 | 16 | const m_bool ret = emit_exp(emit, e); | |
567 | 16 | e->next = next; | |
568 | 16 | return ret; | |
569 | } | ||
570 | |||
571 | ✗ | ANN static m_bool emit_prim_array_exp(const Emitter emit, const Type t, Exp e) { | |
572 | do { | ||
573 | ✗ | CHECK_BB(emit_exp1(emit, e)); | |
574 | ✗ | emit_exp_addref1(emit, e, -t->size); | |
575 | ✗ | emit_regmove(emit, - t->size + t->actual_size); | |
576 | ✗ | } while((e = e->next)); | |
577 | ✗ | return GW_OK; | |
578 | } | ||
579 | |||
580 | 6 | ANN static m_bool emit_prim_array(const Emitter emit, const Array_Sub *data) { | |
581 | 6 | Exp e = (*data)->exp; | |
582 | 6 | const Type type = (*data)->type; | |
583 | 6 | const Type base = array_base_simple(type); | |
584 |
2/4✓ Branch 0 taken 6 times.
✗ Branch 1 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 6 times.
|
6 | if(!base->actual_size) CHECK_BB(emit_exp(emit, e)); |
585 | ✗ | else CHECK_BB(emit_prim_array_exp(emit, base, e)); | |
586 | 6 | m_uint count = 0; | |
587 | 12 | do ++count; | |
588 |
2/2✓ Branch 0 taken 6 times.
✓ Branch 1 taken 6 times.
|
12 | while ((e = e->next)); |
589 | 6 | emit_regsetimm(emit, count, 0); | |
590 | 6 | const Instr instr = emit_add_instr(emit, ArrayInit); | |
591 | 6 | instr->m_val = (m_uint)type; | |
592 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 6 times.
|
6 | const m_uint sz = base->actual_size ?: base->size; |
593 |
1/2✓ Branch 0 taken 6 times.
✗ Branch 1 not taken.
|
6 | instr->m_val2 = type->array_depth == 1 ? sz : SZ_INT; |
594 | 6 | emit_local_exp(emit, prim_exp(data)); | |
595 | 6 | emit_notpure(emit); | |
596 | 6 | return GW_OK; | |
597 | } | ||
598 | |||
599 | ANN static inline m_bool emit_exp_pop_next(const Emitter emit, Exp e); | ||
600 | |||
601 | 9 | ANN static m_bool emit_range(const Emitter emit, Range *range) { | |
602 |
2/2✓ Branch 0 taken 8 times.
✓ Branch 1 taken 1 times.
|
9 | if (range->start) |
603 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 8 times.
|
8 | CHECK_BB(emit_exp_pop_next(emit, range->start)); |
604 | 1 | else emit_pushimm(emit, 0); | |
605 |
2/2✓ Branch 0 taken 7 times.
✓ Branch 1 taken 2 times.
|
9 | if (range->end) |
606 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 7 times.
|
7 | CHECK_BB(emit_exp_pop_next(emit, range->end)); |
607 | 2 | else emit_pushimm(emit, -1); | |
608 | 9 | return GW_OK; | |
609 | } | ||
610 | |||
611 | 2 | ANN static m_bool emit_prim_range(const Emitter emit, Range **data) { | |
612 | 2 | Range *range = *data; | |
613 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2 times.
|
2 | CHECK_BB(emit_range(emit, range)); |
614 |
1/2✓ Branch 0 taken 2 times.
✗ Branch 1 not taken.
|
2 | const Exp e = range->start ?: range->end; |
615 | 2 | const Symbol sym = insert_symbol("[:]"); | |
616 | assert(e); | ||
617 | 4 | struct Op_Import opi = {.op = sym, | |
618 | 2 | .lhs = e->type, | |
619 | .pos = e->pos, | ||
620 | 2 | .data = (uintptr_t)prim_exp(data)}; | |
621 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2 times.
|
2 | CHECK_BB(op_emit(emit, &opi)); |
622 | 2 | emit_local_exp(emit, prim_exp(data)); | |
623 | 2 | return GW_OK; | |
624 | } | ||
625 | |||
626 | 2 | static inline m_uint int2pow2(const m_uint x) { | |
627 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 1 times.
|
2 | return x == 1 ? 2 : 1<<(64-__builtin_clzl(x)); |
628 | } | ||
629 | |||
630 | 2 | ANN static m_bool emit_prim_dict(const Emitter emit, Exp *data) { | |
631 | 2 | Exp e = *data; | |
632 | 2 | const Type key = e->type; | |
633 | 2 | const Type val = e->next->type; | |
634 | 2 | const Type t = dict_type(emit->gwion, key, val, e->pos); | |
635 | 2 | const Instr init = emit_add_instr(emit, dict_ctor_alt); | |
636 | 2 | const Exp next = e->next; | |
637 | 2 | e->next = NULL; | |
638 | 2 | struct Exp_ func = { .exp_type = ae_exp_primary, .d = { .prim = { .prim_type = ae_prim_id, .d = { .var = insert_symbol("hash") }} }}; | |
639 | 2 | struct Exp_ call = { .exp_type = ae_exp_call, .d = { .exp_call = { .func = &func, .args = e}}}; | |
640 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2 times.
|
2 | CHECK_BB(traverse_exp(emit->env, &call)); |
641 | 2 | e->next = next; | |
642 | 2 | m_uint count = 0; | |
643 | do { | ||
644 | 4 | const Exp next = e->next; | |
645 | 4 | const Exp nnext = next->next; | |
646 | 4 | next->next = NULL; | |
647 | 4 | e->next = NULL; | |
648 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_BB(emit_exp(emit, e)); |
649 | 4 | e->next = next; | |
650 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_BB(emit_exp(emit, next)); |
651 | 4 | next->next = nnext; | |
652 |
2/2✓ Branch 0 taken 3 times.
✓ Branch 1 taken 1 times.
|
4 | if(key->size == SZ_INT) { |
653 | 3 | const Instr instr = emit_add_instr(emit, Reg2Reg); | |
654 | 3 | instr->m_val2 = -SZ_INT - val->size; | |
655 | 3 | emit_regmove(emit, SZ_INT); | |
656 | } else { | ||
657 | 1 | const Instr instr = emit_add_instr(emit, Reg2RegOther); | |
658 | 1 | instr->m_val = -key->size; | |
659 | 1 | instr->m_val2 = key->size; | |
660 | 1 | emit_regmove(emit, key->size); | |
661 | } | ||
662 | 4 | e->next = next; | |
663 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_BB(emit_exp(emit, &func)); |
664 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_BB(emit_exp_call1(emit, func.type->info->func, true)); |
665 | 4 | count++; | |
666 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 2 times.
|
4 | } while((e = e->next->next)); |
667 | 2 | init->m_val = int2pow2(count); | |
668 | 2 | init->m_val2 = (m_uint)t; | |
669 | 2 | const m_uint sz = (key->size + val->size + SZ_INT) * count; | |
670 | 2 | emit_regmove(emit, -sz); | |
671 | 2 | const Instr ctor = emit_add_instr(emit, dict_lit_ctor); | |
672 | 2 | ctor->m_val = sz; | |
673 | 2 | ctor->m_val2 = count; | |
674 | 2 | return GW_OK; | |
675 | } | ||
676 | |||
677 | 16 | ANN m_bool emit_array_access(const Emitter emit, | |
678 | struct ArrayAccessInfo *const info) { | ||
679 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 16 times.
|
16 | if (tflag(info->array.type, tflag_typedef)) |
680 | ✗ | info->array.type = typedef_base(info->array.type); | |
681 | // look mum no pos | ||
682 | 16 | struct Op_Import opi = {.op = insert_symbol("[]"), | |
683 | 16 | .lhs = info->array.exp->type, | |
684 | 16 | .rhs = info->array.type, | |
685 | 16 | .data = (uintptr_t)info}; | |
686 | /* | ||
687 | if (!info->is_var && | ||
688 | (GET_FLAG(info->array.type, abstract) || type_ref(info->array.type))) | ||
689 | emit_fast_except(emit, NULL, info->array.exp->pos); | ||
690 | */ | ||
691 | 16 | return op_emit(emit, &opi); | |
692 | } | ||
693 | |||
694 | 16 | ANN static m_bool emit_exp_array(const Emitter emit, const Exp_Array *array) { | |
695 | 16 | const Exp e = exp_self(array); | |
696 | 16 | exp_setvar(array->base, get_emit_var(emit, array->base->type, exp_getvar(e))); | |
697 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 16 times.
|
16 | CHECK_BB(emit_exp(emit, array->base)); |
698 | 32 | struct ArrayAccessInfo info = { | |
699 | 16 | .array = *array->array, | |
700 | 16 | .type = e->type, | |
701 | 16 | .is_var = exp_getvar(e)}; | |
702 | 16 | return emit_array_access(emit, &info); | |
703 | } | ||
704 | |||
705 | 7 | ANN static m_bool emit_exp_slice(const Emitter emit, const Exp_Slice *range) { | |
706 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 7 times.
|
7 | CHECK_BB(emit_exp(emit, range->base)); |
707 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 7 times.
|
7 | CHECK_BB(emit_range(emit, range->range)); |
708 | 7 | const Symbol sym = insert_symbol("[:]"); | |
709 |
2/2✓ Branch 0 taken 6 times.
✓ Branch 1 taken 1 times.
|
7 | const Exp e = range->range->start ?: range->range->end; |
710 | assert(e); | ||
711 | 14 | struct Op_Import opi = {.op = sym, | |
712 | 7 | .lhs = e->type, | |
713 | 7 | .rhs = range->base->type, | |
714 | .pos = e->pos, | ||
715 | 7 | .data = (uintptr_t)exp_self(range)}; | |
716 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 7 times.
|
7 | CHECK_BB(op_emit(emit, &opi)); |
717 | 7 | emit_local_exp(emit, exp_self(range)); | |
718 | 7 | return GW_OK; | |
719 | } | ||
720 | |||
721 | 271 | ANN static m_bool specialid_instr(const Emitter emit, | |
722 | struct SpecialId_ *spid, | ||
723 | const Exp_Primary *prim) { | ||
724 |
2/2✓ Branch 0 taken 149 times.
✓ Branch 1 taken 122 times.
|
271 | if(spid->exec) emit_add_instr(emit, spid->exec); |
725 |
1/2✓ Branch 0 taken 122 times.
✗ Branch 1 not taken.
|
122 | else if (spid->em) return spid->em(emit, prim); |
726 | 149 | return GW_OK; | |
727 | } | ||
728 | |||
729 | 1274 | ANN static m_bool emit_prim_id(const Emitter emit, const Symbol *data) { | |
730 | 1274 | struct SpecialId_ *spid = specialid_get(emit->gwion, *data); | |
731 |
2/2✓ Branch 0 taken 271 times.
✓ Branch 1 taken 1003 times.
|
1274 | if (unlikely(spid)) |
732 | 271 | return specialid_instr(emit, spid, prim_self(data)); | |
733 | 1003 | return emit_symbol(emit, prim_self(data)); | |
734 | } | ||
735 | |||
736 | 1 | ANN static m_bool emit_prim_perform(const Emitter emit, const Symbol *xid) { | |
737 | 1 | const Instr instr = emit_add_instr(emit, PerformEffect); | |
738 |
1/2✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
|
1 | if(*xid) instr->m_val = (m_uint)s_name(*xid); |
739 | 1 | instr->m_val2 = emit->status.effect; | |
740 | 1 | return GW_OK; | |
741 | } | ||
742 | |||
743 | 418 | ANN static m_bool emit_prim_num(const Emitter emit, const m_uint *num) { | |
744 | 418 | emit_pushimm(emit, *num); | |
745 | 418 | return GW_OK; | |
746 | } | ||
747 | |||
748 | 48 | ANN static m_bool emit_prim_float(const Emitter emit, const m_float *fnum) { | |
749 | 48 | const Instr instr = emit_add_instr(emit, RegPushImm2); | |
750 | 48 | instr->f = *fnum; | |
751 | 48 | return GW_OK; | |
752 | } | ||
753 | |||
754 | 22 | ANN static m_bool emit_prim_char(const Emitter emit, const m_str *str) { | |
755 | 22 | const char c = str2char(emit, *str, prim_pos(str)); | |
756 | 22 | emit_pushimm(emit, c); | |
757 | 22 | return GW_OK; | |
758 | } | ||
759 | |||
760 | 335 | ANN static m_bool emit_prim_str(const Emitter emit, const struct AstString *str) { | |
761 | 335 | const Value v = prim_self(str)->value; | |
762 | 335 | bool has_obj = v->d.obj; | |
763 |
2/2✓ Branch 0 taken 230 times.
✓ Branch 1 taken 105 times.
|
335 | if (!has_obj) { |
764 | 230 | const size_t sz = strlen(str->data); | |
765 | 230 | char c[sz + 1]; | |
766 |
2/2✓ Branch 0 taken 211 times.
✓ Branch 1 taken 19 times.
|
230 | if (sz) { |
767 | 211 | strcpy(c, str->data); | |
768 |
2/2✓ Branch 2 taken 2 times.
✓ Branch 3 taken 209 times.
|
211 | CHECK_BB(escape_str(emit, c, prim_pos(str))); |
769 | } else | ||
770 | 19 | c[0] = '\0'; | |
771 | 228 | v->d.obj = new_string(emit->gwion, c); | |
772 | } | ||
773 | 333 | emit_pushimm(emit, (m_uint)v->d.obj); | |
774 | 333 | emit_object_addref(emit, -SZ_INT, 0); | |
775 | 333 | return GW_OK; | |
776 | } | ||
777 | |||
778 | #define emit_prim_nil (void *)dummy_func | ||
779 | |||
780 | 863 | ANN static inline void interp_size(const Emitter emit, const Exp e) { | |
781 |
1/2✗ Branch 2 not taken.
✓ Branch 3 taken 7 times.
|
870 | const Type t = !tflag(e->type, tflag_ref) || safe_tflag(e->cast_to, tflag_ref) ? |
782 |
2/2✓ Branch 0 taken 7 times.
✓ Branch 1 taken 856 times.
|
870 | e->type : (Type)vector_front(&e->type->info->tuple->contains); |
783 | 863 | emit_regsetimm(emit, t->size, SZ_INT); | |
784 | 863 | } | |
785 | |||
786 | 863 | ANN static void emit_gack_type(const Emitter emit, const Exp e) { | |
787 |
2/2✓ Branch 0 taken 860 times.
✓ Branch 1 taken 3 times.
|
863 | if (e->exp_type == ae_exp_cast || |
788 |
4/4✓ Branch 0 taken 480 times.
✓ Branch 1 taken 380 times.
✓ Branch 2 taken 241 times.
✓ Branch 3 taken 239 times.
|
860 | (e->exp_type == ae_exp_primary && e->d.prim.prim_type == ae_prim_str)) |
789 | 244 | return; | |
790 | 619 | const m_bool isobj = isa(e->type, emit->gwion->type[et_object]) > 0; | |
791 |
6/6✓ Branch 0 taken 147 times.
✓ Branch 1 taken 472 times.
✓ Branch 3 taken 146 times.
✓ Branch 4 taken 1 times.
✓ Branch 5 taken 131 times.
✓ Branch 6 taken 15 times.
|
619 | if (isobj && (tflag(e->type, tflag_ref) || !GET_FLAG(e->type, final))) |
792 | 132 | emit_add_instr(emit, GackType); | |
793 | } | ||
794 | |||
795 | 655 | ANN /*static*/ m_bool emit_interp(const Emitter emit, const Exp exp) { | |
796 | 655 | emit_pushimm(emit, 0); | |
797 | 655 | emit_local(emit, emit->gwion->type[et_int]); | |
798 | 655 | Exp e = exp, next = NULL; | |
799 | do { | ||
800 | 865 | next = e->next; | |
801 | 865 | e->next = NULL; | |
802 |
2/2✓ Branch 1 taken 2 times.
✓ Branch 2 taken 863 times.
|
865 | if (emit_exp(emit, e) < 0) { |
803 | 2 | e->next = next; | |
804 | 2 | return GW_ERROR; | |
805 | } | ||
806 |
3/4✓ Branch 1 taken 7 times.
✓ Branch 2 taken 856 times.
✓ Branch 4 taken 7 times.
✗ Branch 5 not taken.
|
870 | if(tflag(e->type, tflag_ref) && !safe_tflag(e->cast_to, tflag_ref)) { |
807 | 7 | const Type t = (Type)vector_front(&e->type->info->tuple->contains); | |
808 | 7 | emit_regsetimm(emit, (m_uint)t, 0); | |
809 | } else | ||
810 | 856 | emit_regsetimm(emit, (m_uint)e->type, 0); | |
811 | 863 | interp_size(emit, e); | |
812 | 863 | emit_gack_type(emit, e); | |
813 | 863 | const Instr instr = emit_add_instr(emit, Gack); | |
814 | 863 | instr->m_val = emit_code_offset(emit); | |
815 |
2/2✓ Branch 0 taken 210 times.
✓ Branch 1 taken 653 times.
|
863 | } while ((e = e->next = next)); |
816 | 653 | return GW_OK; | |
817 | } | ||
818 | |||
819 | 638 | ANN static m_bool emit_prim_hack(const Emitter emit, const Exp *exp) { | |
820 |
2/2✓ Branch 1 taken 2 times.
✓ Branch 2 taken 636 times.
|
638 | CHECK_BB(emit_interp(emit, *exp)); |
821 |
2/2✓ Branch 0 taken 178 times.
✓ Branch 1 taken 458 times.
|
636 | if (!(emit->env->func && |
822 |
2/2✓ Branch 0 taken 176 times.
✓ Branch 1 taken 2 times.
|
178 | emit->env->func->def->base->xid == insert_symbol("@gack"))) |
823 | 634 | emit_add_instr(emit, GackEnd); | |
824 | 2 | else emit_regtomem(emit, SZ_INT, -SZ_INT); | |
825 | 636 | return GW_OK; | |
826 | } | ||
827 | |||
828 | 17 | ANN static m_bool emit_prim_interp(const Emitter emit, const Exp *exp) { | |
829 | 17 | const Exp e = *exp; | |
830 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 17 times.
|
17 | CHECK_BB(emit_interp(emit, e)); |
831 | 17 | const Instr instr = emit_add_instr(emit, GackEnd); | |
832 | 17 | instr->m_val = 1; | |
833 | 17 | emit_localx(emit, emit->gwion->type[et_string]); | |
834 | 17 | return GW_OK; | |
835 | } | ||
836 | |||
837 | 17 | ANN m_bool emit_ensure_func(const Emitter emit, const Func f) { | |
838 | 17 | const ValueFrom *from = f->value_ref->from; | |
839 |
2/2✓ Branch 0 taken 10 times.
✓ Branch 1 taken 7 times.
|
17 | if(from->owner_class) |
840 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 10 times.
|
10 | CHECK_BB(ensure_emit(emit, from->owner_class)); |
841 |
2/2✓ Branch 0 taken 3 times.
✓ Branch 1 taken 14 times.
|
17 | if(f->code) return GW_OK; |
842 | 14 | const m_uint scope = emit_push(emit, from->owner_class, from->owner); | |
843 | 14 | const m_bool ret = emit_func_def(emit, f->def); | |
844 | 14 | emit_pop(emit, scope); | |
845 | 14 | return ret; | |
846 | } | ||
847 | |||
848 | 4 | ANN static m_bool emit_prim_locale(const Emitter emit, const Symbol *id) { | |
849 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 2 times.
|
4 | if(emit->locale->def->d.code) { |
850 | 2 | const Stmt stmt = mp_vector_at((emit->locale->def->d.code), struct Stmt_, 0); | |
851 | 2 | const Func f = stmt->d.stmt_exp.val->d.exp_call.func->type->info->func; | |
852 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2 times.
|
2 | CHECK_OB(emit_ensure_func(emit, f)); |
853 | } | ||
854 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_OB(emit_ensure_func(emit, emit->locale)); |
855 | 4 | emit_push_code(emit, "locale"); // new code { | |
856 | 4 | const M_Object string = new_string(emit->gwion, s_name(*id)); | |
857 | 4 | emit_pushimm(emit, (m_uint)string); | |
858 | 4 | emit_pushimm(emit, (m_uint)emit->locale->code); | |
859 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_BB(emit_exp_call1(emit, emit->locale, true)); |
860 | 4 | emit_regmove(emit, -emit->locale->def->base->ret_type->size); | |
861 | 4 | const VM_Code code = finalyze(emit, EOC); | |
862 | 4 | const VM_Shred shred = new_vm_shred(emit->gwion->mp, code); | |
863 | 4 | vm_add_shred(emit->gwion->vm, shred); | |
864 | 4 | shred->info->me->ref++; | |
865 | 4 | vm_run(emit->gwion->vm); | |
866 | 4 | emit->gwion->vm->bbq->is_running = true; | |
867 | 4 | const m_float ret = *(m_float*)shred->reg; | |
868 | 4 | release(shred->info->me, shred); | |
869 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 3 times.
|
4 | if(ret == -1.0) |
870 | 1 | ERR_B(prim_pos(id), "error in locale"); | |
871 | 3 | const Instr instr = emit_add_instr(emit, RegPushImm2); | |
872 | 3 | instr->f = ret; | |
873 | 3 | return GW_OK; | |
874 | } | ||
875 | |||
876 | DECL_PRIM_FUNC(emit, m_bool, Emitter); | ||
877 | 2774 | ANN static m_bool emit_prim(const Emitter emit, Exp_Primary *const prim) { | |
878 | 2774 | return emit_prim_func[prim->prim_type](emit, &prim->d); | |
879 | } | ||
880 | |||
881 | 16 | ANN static m_bool emit_dot_static_data(const Emitter emit, const Value v, | |
882 | const bool emit_var) { | ||
883 | 16 | const m_uint size = v->type->size; | |
884 | 16 | emit_dotstatic(emit, (m_uint)(v->from->owner->class_data + v->from->offset), size, emit_var); | |
885 | 16 | return GW_OK; | |
886 | } | ||
887 | |||
888 | 5 | ANN static m_bool _decl_static(const Emitter emit, const Exp_Decl *decl, | |
889 | const Var_Decl *var_decl, const uint is_ref) { | ||
890 | 5 | const Value v = var_decl->value; | |
891 |
2/4✓ Branch 0 taken 5 times.
✗ Branch 1 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 5 times.
|
5 | if(!decl->args) CHECK_BB(emit_instantiate_decl(emit, v->type, decl->td, is_ref)); |
892 | ✗ | else CHECK_BB(emit_exp(emit, decl->args)); | |
893 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 5 times.
|
5 | CHECK_BB(emit_dot_static_data(emit, v, 1)); |
894 | 5 | emit_add_instr(emit, Assign); | |
895 | // if(get_depth(var_decl->value->type) && !is_ref) | ||
896 | // (void)emit_object_addref(emit, -SZ_INT, 0); | ||
897 | 5 | emit_regmove(emit, -SZ_INT); | |
898 | 5 | return GW_OK; | |
899 | } | ||
900 | |||
901 | 5 | ANN static m_bool decl_static(const Emitter emit, const Exp_Decl *decl, | |
902 | const Var_Decl *var_decl, const uint is_ref) { | ||
903 | 5 | Code *const code = emit->code; | |
904 | 5 | emit->code = (Code *)vector_back(&emit->stack); | |
905 | 5 | const m_bool ret = _decl_static(emit, decl, var_decl, is_ref); | |
906 | 5 | emit->code = code; | |
907 | 5 | return ret; | |
908 | } | ||
909 | |||
910 | 521 | ANN static inline int struct_ctor(const Value v) { | |
911 |
3/4✓ Branch 1 taken 19 times.
✓ Branch 2 taken 502 times.
✓ Branch 4 taken 19 times.
✗ Branch 5 not taken.
|
521 | return tflag(v->type, tflag_struct) && tflag(v->type, tflag_ctor); |
912 | } | ||
913 | |||
914 | 14 | ANN static void decl_expand(const Emitter emit, const Type t) { | |
915 | 14 | struct_expand(emit, t); | |
916 | 14 | emit_regmove(emit, t->size - SZ_INT); | |
917 | 14 | } | |
918 | |||
919 | 391 | ANN static m_uint decl_non_static_offset(const Emitter emit, const Exp_Decl *decl, const Type t) { | |
920 |
1/2✓ Branch 1 taken 391 times.
✗ Branch 2 not taken.
|
391 | if(!exp_self(decl)->data) |
921 | 391 | return emit_local(emit, t); | |
922 | ✗ | const Local *l = exp_self(decl)->data; | |
923 | ✗ | exp_self(decl)->data = (void*)-1; | |
924 | ✗ | return l->offset; | |
925 | } | ||
926 | |||
927 | 19 | ANN static m_bool struct_finish(const Emitter emit, const Exp_Decl *decl) { | |
928 | 19 | const Type t = decl->type; | |
929 | 19 | const bool emit_addr = exp_getvar(exp_self(decl)); | |
930 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 17 times.
|
19 | if (decl->args) { |
931 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2 times.
|
2 | CHECK_BB(emit_exp(emit, decl->args)); |
932 |
1/2✓ Branch 0 taken 2 times.
✗ Branch 1 not taken.
|
2 | if (emit_addr) { |
933 | 2 | emit_regmove(emit, -t->size); | |
934 | 2 | emit_regpushmem4(emit, decl->vd.value->from->offset, 0); | |
935 | } | ||
936 | 2 | return GW_OK; | |
937 | } | ||
938 |
1/2✓ Branch 1 taken 17 times.
✗ Branch 2 not taken.
|
17 | if(tflag(t, tflag_ctor)) { |
939 | 17 | emit_ext_ctor(emit, t); | |
940 |
2/2✓ Branch 0 taken 14 times.
✓ Branch 1 taken 3 times.
|
17 | if (!emit_addr) decl_expand(emit, t); |
941 | } | ||
942 | 17 | return GW_OK; | |
943 | } | ||
944 | |||
945 | 11 | ANN static m_bool emit_exp_decl_static(const Emitter emit, const Exp_Decl *decl, | |
946 | const Var_Decl *var_decl, | ||
947 | const bool is_ref, | ||
948 | const bool emit_addr) { | ||
949 | 11 | const Value v = var_decl->value; | |
950 |
3/4✓ Branch 0 taken 5 times.
✓ Branch 1 taken 6 times.
✓ Branch 2 taken 5 times.
✗ Branch 3 not taken.
|
11 | if (isa(v->type, emit->gwion->type[et_object]) > 0 && !is_ref) |
951 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 5 times.
|
5 | CHECK_BB(decl_static(emit, decl, var_decl, 0)); |
952 |
4/6✓ Branch 1 taken 11 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 1 times.
✓ Branch 4 taken 10 times.
✗ Branch 6 not taken.
✓ Branch 7 taken 11 times.
|
11 | CHECK_BB(emit_dot_static_data(emit, v, !struct_ctor(v) ? emit_addr : 1)); |
953 |
1/4✗ Branch 1 not taken.
✓ Branch 2 taken 11 times.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
|
11 | if (tflag(v->type, tflag_struct)) CHECK_BB(struct_finish(emit, decl)); |
954 |
3/4✓ Branch 0 taken 5 times.
✓ Branch 1 taken 6 times.
✓ Branch 2 taken 5 times.
✗ Branch 3 not taken.
|
11 | if (isa(v->type, emit->gwion->type[et_object]) > 0 && !is_ref) { |
955 |
1/4✗ Branch 1 not taken.
✓ Branch 2 taken 5 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
|
5 | if(safe_tflag(emit->env->class_def, tflag_struct) && GET_FLAG(emit->env->class_def, global)) |
956 | ✗ | emit_object_addref(emit, 0, emit_addr); | |
957 | } | ||
958 | 11 | return GW_OK; | |
959 | } | ||
960 | |||
961 | 38 | ANN static Instr emit_struct_decl(const Emitter emit, const Value v, | |
962 | const bool emit_addr) { | ||
963 | 38 | emit_add_instr(emit, RegPushMem); | |
964 | 38 | const Instr instr = emit_structmember(emit, v->from->offset, v->type->size, emit_addr); | |
965 |
2/2✓ Branch 0 taken 22 times.
✓ Branch 1 taken 16 times.
|
38 | if (!emit_addr) { |
966 | 22 | const m_int sz = v->type->size - SZ_INT; | |
967 |
2/2✓ Branch 0 taken 14 times.
✓ Branch 1 taken 8 times.
|
22 | if (sz) emit_regmove(emit, sz); |
968 | } | ||
969 | 38 | return instr; | |
970 | } | ||
971 | |||
972 | ✗ | ANN void unset_local(const Emitter emit, Local *const l) { | |
973 | ✗ | l->instr->opcode = eNoOp; | |
974 | ✗ | for(m_uint i = m_vector_size(&emit->code->live_values) + 1; --i;) { | |
975 | ✗ | VMValue vmval = *(VMValue*)(ARRAY_PTR((&emit->code->live_values)) + (i-1) * sizeof(VMValue)); | |
976 | ✗ | if(vmval.offset != l->offset) continue; | |
977 | ✗ | m_vector_rem(&emit->code->live_values, i-1); | |
978 | ✗ | vector_rem2(&emit->code->frame->stack, (m_uint)l); | |
979 | ✗ | vector_rem2(&emit->code->instr, (m_uint)l->instr); | |
980 | ✗ | free_instr(emit->gwion, l->instr); | |
981 | ✗ | emit->code->frame->curr_offset -= l->type->size; | |
982 | ✗ | --emit->code->frame->value_count; | |
983 | ✗ | break; | |
984 | } | ||
985 | } | ||
986 | |||
987 | 5 | static INSTR(UsedBy) { | |
988 | 5 | const MP_Vector *v =(MP_Vector*)instr->m_val; | |
989 |
2/2✓ Branch 0 taken 6 times.
✓ Branch 1 taken 5 times.
|
11 | for(uint32_t i = 0; i < v->len; i++) { |
990 | 6 | const Func f = *mp_vector_at(v, Func, i); | |
991 | 6 | const Instr instr = (Instr)vector_front(&f->code->instr); | |
992 | 6 | instr->m_val2++; | |
993 | } | ||
994 | 5 | } | |
995 | |||
996 | 5 | ANN static void used_by(const Emitter emit, const Value v) { | |
997 | 5 | MP_Vector *vec = new_mp_vector(emit->gwion->mp, Func, 0); | |
998 |
2/2✓ Branch 0 taken 6 times.
✓ Branch 1 taken 5 times.
|
11 | for(uint32_t i = 0; i < v->used_by->len; i++) { |
999 | 6 | const Func f = *mp_vector_at(v->used_by, Func, i); | |
1000 |
2/4✓ Branch 0 taken 6 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 6 times.
✗ Branch 3 not taken.
|
6 | if(f->_wait) mp_vector_add(emit->gwion->mp, &vec, Func, f); |
1001 | } | ||
1002 | 5 | free_mp_vector(emit->gwion->mp, Func, v->used_by); | |
1003 | 5 | v->used_by = vec; | |
1004 |
1/2✓ Branch 0 taken 5 times.
✗ Branch 1 not taken.
|
5 | if(vec->len) { |
1005 | 5 | const Instr instr = emit_add_instr(emit, UsedBy); | |
1006 | 5 | instr->m_val = (m_uint)vec; | |
1007 | } | ||
1008 | 5 | } | |
1009 | 505 | ANN static m_bool emit_exp_decl_non_static(const Emitter emit, | |
1010 | const Exp_Decl *decl, | ||
1011 | const Var_Decl *var_decl, | ||
1012 | const uint is_ref, | ||
1013 | const uint emit_var) { | ||
1014 | 505 | const Value v = var_decl->value; | |
1015 | 505 | const Type type = v->type; | |
1016 | 505 | const bool is_obj = isa(type, emit->gwion->type[et_object]) > 0; | |
1017 |
8/8✓ Branch 0 taken 177 times.
✓ Branch 1 taken 328 times.
✓ Branch 2 taken 155 times.
✓ Branch 3 taken 22 times.
✓ Branch 4 taken 350 times.
✓ Branch 5 taken 155 times.
✓ Branch 6 taken 80 times.
✓ Branch 7 taken 270 times.
|
505 | const bool emit_addr = (!is_obj || is_ref) ? emit_var : true; |
1018 |
5/6✓ Branch 0 taken 177 times.
✓ Branch 1 taken 328 times.
✓ Branch 2 taken 155 times.
✓ Branch 3 taken 22 times.
✓ Branch 5 taken 155 times.
✗ Branch 6 not taken.
|
505 | if (is_obj && !is_ref && !exp_self(decl)->ref) { |
1019 |
3/4✓ Branch 0 taken 153 times.
✓ Branch 1 taken 2 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 153 times.
|
155 | if(!decl->args) CHECK_BB(emit_instantiate_decl(emit, type, decl->td, is_ref)); |
1020 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2 times.
|
2 | else CHECK_BB(emit_exp(emit, decl->args)); |
1021 | } | ||
1022 | 505 | f_instr *exec = (f_instr *)allocmember; | |
1023 |
2/2✓ Branch 0 taken 324 times.
✓ Branch 1 taken 181 times.
|
505 | if (!emit->env->scope->depth) emit_debug(emit, v); |
1024 |
2/2✓ Branch 1 taken 391 times.
✓ Branch 2 taken 114 times.
|
505 | if (!vflag(v, vflag_member)) { |
1025 |
2/2✓ Branch 0 taken 3 times.
✓ Branch 1 taken 388 times.
|
391 | if(v->used_by) used_by(emit, v); |
1026 | 391 | v->from->offset = decl_non_static_offset(emit, decl, type); | |
1027 | 391 | exec = (f_instr *)(allocword); | |
1028 |
2/2✓ Branch 0 taken 21 times.
✓ Branch 1 taken 370 times.
|
391 | if (GET_FLAG(v, late)) // ref or emit_var ? |
1029 | 21 | emit_memsetimm(emit, v->from->offset, 0); | |
1030 | } | ||
1031 |
3/4✓ Branch 1 taken 38 times.
✓ Branch 2 taken 467 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 38 times.
|
505 | if(!(safe_tflag(emit->env->class_def, tflag_struct) && !emit->env->scope->depth)) |
1032 |
4/4✓ Branch 1 taken 449 times.
✓ Branch 2 taken 18 times.
✓ Branch 3 taken 214 times.
✓ Branch 4 taken 235 times.
|
467 | emit_kind(emit, v->from->offset, v->type->size, !struct_ctor(v) ? emit_addr : true, |
1033 | exec); | ||
1034 |
3/4✓ Branch 1 taken 38 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 16 times.
✓ Branch 4 taken 22 times.
|
38 | else emit_struct_decl(emit, v, !struct_ctor(v) ? emit_addr : 1); |
1035 |
5/6✓ Branch 0 taken 177 times.
✓ Branch 1 taken 328 times.
✓ Branch 2 taken 155 times.
✓ Branch 3 taken 22 times.
✓ Branch 5 taken 155 times.
✗ Branch 6 not taken.
|
505 | if (is_obj && !is_ref && !exp_self(decl)->ref) { |
1036 |
1/2✓ Branch 0 taken 155 times.
✗ Branch 1 not taken.
|
155 | if (!emit_var) |
1037 | 155 | emit_add_instr(emit, Assign); | |
1038 | else { | ||
1039 | ✗ | emit_regmove(emit, -SZ_INT); | |
1040 | ✗ | const Instr instr = emit_add_instr(emit, Reg2Reg); | |
1041 | ✗ | instr->m_val = -SZ_INT; | |
1042 | } | ||
1043 | // if(safe_tflag(emit->env->class_def, tflag_struct) && GET_FLAG(emit->env->class_def, global)) | ||
1044 | // emit_object_addref(emit, 0, emit_addr); | ||
1045 |
2/2✓ Branch 1 taken 18 times.
✓ Branch 2 taken 332 times.
|
350 | } else if (tflag(v->type, tflag_struct)) |
1046 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 18 times.
|
18 | CHECK_BB(struct_finish(emit, decl)); |
1047 | 505 | return GW_OK; | |
1048 | } | ||
1049 | |||
1050 | 5 | ANN static m_bool emit_exp_decl_global(const Emitter emit, const Exp_Decl *decl, | |
1051 | const Var_Decl *var_decl, | ||
1052 | const uint is_ref, const bool emit_var) { | ||
1053 | 5 | const Value v = var_decl->value; | |
1054 | 5 | const Type type = v->type; | |
1055 | 5 | const bool is_obj = isa(type, emit->gwion->type[et_object]) > 0; | |
1056 |
7/8✓ Branch 0 taken 1 times.
✓ Branch 1 taken 4 times.
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 4 times.
✓ Branch 5 taken 1 times.
✓ Branch 6 taken 1 times.
✓ Branch 7 taken 3 times.
|
5 | const bool emit_addr = (!is_obj || is_ref) ? emit_var : true; |
1057 |
3/4✓ Branch 0 taken 1 times.
✓ Branch 1 taken 4 times.
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
|
5 | if (is_obj && !is_ref) { |
1058 |
2/4✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 1 times.
|
1 | if(!decl->args) CHECK_BB(emit_instantiate_decl(emit, type, decl->td, is_ref)); |
1059 | ✗ | else CHECK_BB(emit_exp(emit, decl->args)); | |
1060 | } | ||
1061 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 4 times.
|
5 | if (type->size > SZ_INT) |
1062 | 1 | v->d.ptr = mp_calloc2(emit->gwion->mp, v->type->size); | |
1063 |
4/4✓ Branch 1 taken 4 times.
✓ Branch 2 taken 1 times.
✓ Branch 3 taken 2 times.
✓ Branch 4 taken 2 times.
|
5 | emit_dotstatic(emit, (m_uint)&v->d.ptr, v->type->size, !struct_ctor(v) ? emit_addr : 1); |
1064 | // set_vflag(v, vflag_direct); // mpalloc // set in check.c | ||
1065 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 3 times.
|
5 | if(v->used_by) used_by(emit, v); |
1066 |
3/4✓ Branch 0 taken 1 times.
✓ Branch 1 taken 4 times.
✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
|
6 | if (is_obj && !is_ref) { |
1067 | 1 | const Instr assign = emit_add_instr(emit, Assign); | |
1068 | 1 | assign->m_val = emit_var; | |
1069 | 1 | (void)emit_object_addref(emit, -SZ_INT, emit_var); | |
1070 |
2/2✓ Branch 1 taken 1 times.
✓ Branch 2 taken 3 times.
|
4 | } else if (tflag(v->type, tflag_struct)) { |
1071 | // (void)emit_struct_addref(emit, v->type, -v->type->size, emit_var); | ||
1072 | 1 | struct_finish(emit, decl); | |
1073 | } | ||
1074 | 5 | return GW_OK; | |
1075 | } | ||
1076 | |||
1077 | 521 | ANN static void set_late(const Exp_Decl *decl, const Var_Decl *var) { | |
1078 | 521 | const Value v = var->value; | |
1079 |
2/2✓ Branch 2 taken 439 times.
✓ Branch 3 taken 82 times.
|
521 | if (!exp_getvar(exp_self(decl)) && |
1080 |
4/4✓ Branch 1 taken 437 times.
✓ Branch 2 taken 2 times.
✓ Branch 3 taken 5 times.
✓ Branch 4 taken 432 times.
|
439 | (GET_FLAG(array_base_simple(v->type), abstract) || GET_FLAG(decl->td, late))) |
1081 | 7 | SET_FLAG(v, late); | |
1082 | 514 | else UNSET_FLAG(v, late); | |
1083 | 521 | } | |
1084 | |||
1085 | ✗ | static inline bool late_array(const Type_Decl* td) { | |
1086 | ✗ | return !td->array || !td->array->exp; | |
1087 | } | ||
1088 | |||
1089 | 521 | ANN static m_bool emit_decl(const Emitter emit, Exp_Decl *const decl) { | |
1090 | 521 | const m_bool global = GET_FLAG(decl->td, global); | |
1091 | 521 | const uint var = exp_getvar(exp_self(decl)); | |
1092 |
3/4✓ Branch 0 taken 516 times.
✓ Branch 1 taken 5 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 516 times.
|
521 | const uint ref = GET_FLAG(decl->td, late) || type_ref(decl->type); |
1093 | 521 | Var_Decl *vd = &decl->vd; | |
1094 | 521 | const Value v = vd->value; | |
1095 |
4/4✓ Branch 0 taken 516 times.
✓ Branch 1 taken 5 times.
✓ Branch 2 taken 19 times.
✓ Branch 3 taken 497 times.
|
521 | const uint r = ref || GET_FLAG(v, late); |
1096 |
2/2✓ Branch 0 taken 11 times.
✓ Branch 1 taken 510 times.
|
521 | if (GET_FLAG(decl->td, static)) |
1097 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 11 times.
|
11 | CHECK_BB(emit_exp_decl_static(emit, decl, vd, r, var)); |
1098 |
2/2✓ Branch 0 taken 505 times.
✓ Branch 1 taken 5 times.
|
510 | else if (!global) |
1099 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 505 times.
|
505 | CHECK_BB(emit_exp_decl_non_static(emit, decl, vd, r, var)); |
1100 | else | ||
1101 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 5 times.
|
5 | CHECK_BB(emit_exp_decl_global(emit, decl, vd, r, var)); |
1102 |
1/4✗ Branch 1 not taken.
✓ Branch 2 taken 521 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
|
521 | if (tflag(v->type, tflag_contract) && |
1103 | ✗ | !exp_getvar(exp_self(decl))) { | |
1104 | ✗ | const Type t = v->type; | |
1105 | ✗ | struct Op_Import opi = {.lhs = t->info->base_type, | |
1106 | ✗ | .op = insert_symbol("@implicit"), | |
1107 | .rhs = t}; | ||
1108 | ✗ | CHECK_BB(op_emit(emit, &opi)); | |
1109 | } | ||
1110 | 521 | set_late(decl, vd); | |
1111 |
5/8✓ Branch 0 taken 517 times.
✓ Branch 1 taken 4 times.
✓ Branch 4 taken 437 times.
✓ Branch 5 taken 80 times.
✗ Branch 7 not taken.
✓ Branch 8 taken 437 times.
✗ Branch 9 not taken.
✗ Branch 10 not taken.
|
521 | if (!decl->args && !exp_getvar(exp_self(decl)) && GET_FLAG(array_base_simple(v->type), abstract) && !GET_FLAG(decl->td, late) && |
1112 | ✗ | GET_FLAG(v, late) && late_array(decl->td) | |
1113 | ✗ | && GET_FLAG(v->type, abstract)) { | |
1114 | ✗ | env_err(emit->env, decl->td->pos, _("Type '%s' is abstract, use {+G}late{0} instead of {G+}%s{0}"), | |
1115 | ✗ | v->type->name, !GET_FLAG(decl->td, const) ? "var" : "const"); | |
1116 | ✗ | if(v->type->nspc->vtable.ptr) { | |
1117 | ✗ | const Vector vec = &v->type->nspc->vtable; | |
1118 | ✗ | for(m_uint i = 0; i < vector_size(vec); i++) { | |
1119 | ✗ | const Func f = (Func)vector_at(vec, i); | |
1120 | ✗ | if(is_new(f->def)) { | |
1121 | ✗ | gw_err(_("maybe use a constructor?\n")); | |
1122 | ✗ | break; | |
1123 | } | ||
1124 | } | ||
1125 | } | ||
1126 | ✗ | return GW_ERROR; | |
1127 | } | ||
1128 |
4/4✓ Branch 0 taken 7 times.
✓ Branch 1 taken 514 times.
✓ Branch 4 taken 1 times.
✓ Branch 5 taken 6 times.
|
521 | if(GET_FLAG(v, late) && exp_getuse(exp_self(decl))) |
1129 | 1 | emit_add_instr(emit, GWOP_EXCEPT); | |
1130 | 521 | return GW_OK; | |
1131 | } | ||
1132 | |||
1133 | 521 | ANN /*static */ m_bool emit_exp_decl(const Emitter emit, Exp_Decl *const decl) { | |
1134 | 521 | const Type t = decl->type; | |
1135 |
3/4✓ Branch 0 taken 4 times.
✓ Branch 1 taken 517 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 4 times.
|
521 | if(decl->args && !strncmp(decl->args->type->name, "partial:", 8)) |
1136 | ✗ | ERR_B(decl->args->pos, "unresolved partial"); | |
1137 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 521 times.
|
521 | CHECK_BB(ensure_emit(emit, t)); |
1138 | 521 | const m_bool global = GET_FLAG(decl->td, global); | |
1139 | 521 | const m_uint scope = | |
1140 |
2/2✓ Branch 0 taken 516 times.
✓ Branch 1 taken 5 times.
|
521 | !global ? emit->env->scope->depth : emit_push_global(emit); |
1141 | 521 | const m_bool ret = emit_decl(emit, decl); | |
1142 |
2/2✓ Branch 0 taken 5 times.
✓ Branch 1 taken 516 times.
|
521 | if (global) emit_pop(emit, scope); |
1143 |
1/6✗ Branch 0 not taken.
✓ Branch 1 taken 521 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
✗ Branch 5 not taken.
|
521 | if(emit->status.in_return && GET_FLAG(decl->vd.value, late) && isa(t, emit->gwion->type[et_object]) > 0) |
1144 | ✗ | emit_add_instr(emit, GWOP_EXCEPT); | |
1145 | 521 | return ret; | |
1146 | } | ||
1147 | |||
1148 | |||
1149 | // see take exp | ||
1150 | ✗ | Exp nth_exp(Exp e, uint32_t n) { | |
1151 | ✗ | for(uint32_t i = 0; i < n; i++) | |
1152 | ✗ | e = e->next; | |
1153 | ✗ | return e; | |
1154 | } | ||
1155 | |||
1156 | 384 | ANN static m_bool emit_func_args(const Emitter emit, const Exp_Call *exp_call) { | |
1157 |
3/4✓ Branch 0 taken 212 times.
✓ Branch 1 taken 172 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 212 times.
|
384 | if (exp_call->args) CHECK_BB(emit_exp(emit, exp_call->args)); |
1158 | 384 | return GW_OK; | |
1159 | } | ||
1160 | |||
1161 | 363 | ANN static m_bool prepare_call(const Emitter emit, const Exp_Call *exp_call) { | |
1162 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 363 times.
|
363 | CHECK_BB(emit_func_args(emit, exp_call)); |
1163 | 363 | return emit_exp(emit, exp_call->func); | |
1164 | } | ||
1165 | |||
1166 | 347 | ANN static inline void emit_return_pc(const Emitter emit, const m_uint val) { | |
1167 | LOOP_OPTIM | ||
1168 |
2/2✓ Branch 1 taken 64 times.
✓ Branch 2 taken 347 times.
|
411 | for (m_uint i = vector_size(&emit->code->stack_return) + 1; --i;) { |
1169 | 64 | const Instr instr = (Instr)vector_at(&emit->code->stack_return, i - 1); | |
1170 | 64 | instr->m_val = val; | |
1171 | } | ||
1172 | 347 | } | |
1173 | |||
1174 | ANN static inline void pop_exp(const Emitter emit, Exp e); | ||
1175 | |||
1176 | 314 | ANN static inline void scoped_ini(const Emitter emit) { | |
1177 | 314 | ++emit->env->scope->depth; | |
1178 | 314 | emit_push_scope(emit); | |
1179 | 314 | } | |
1180 | |||
1181 | 314 | ANN static inline void scoped_end(const Emitter emit) { | |
1182 | 314 | emit_pop_scope(emit); | |
1183 | 314 | --emit->env->scope->depth; | |
1184 | 314 | } | |
1185 | |||
1186 | 100 | ANN static m_bool scoped_stmt(const Emitter emit, const Stmt stmt) { | |
1187 | 100 | scoped_ini(emit); | |
1188 | 100 | const m_bool ret = emit_stmt(emit, stmt); | |
1189 | 100 | scoped_end(emit); | |
1190 | 100 | return ret; | |
1191 | } | ||
1192 | |||
1193 | #ifdef GWION_INLINE | ||
1194 | ANN static inline bool check_inline(const Emitter emit, const Func f) { | ||
1195 | const uint16_t caller_size = emit->env->func ? emit->env->func->weight | ||
1196 | : emit->env->class_def | ||
1197 | ? emit->env->class_def->weight | ||
1198 | : emit->env->context ? emit->env->context->weight | ||
1199 | : 0; | ||
1200 | const float threshold = caller_size * f->inline_mult; | ||
1201 | return f->weight < threshold; | ||
1202 | } | ||
1203 | |||
1204 | ANN static inline bool member_inlinable(const Emitter emit, const Func f, const Exp e) { | ||
1205 | if (f!= emit->env->func)return false; | ||
1206 | const Type owner_class = f->value_ref->from->owner_class; | ||
1207 | if (!owner_class) return true; | ||
1208 | return GET_FLAG(owner_class, final) || GET_FLAG(f->def->base, final) || | ||
1209 | (e->exp_type == ae_exp_dot && | ||
1210 | e->d.exp_dot.base->exp_type == ae_exp_cast); | ||
1211 | } | ||
1212 | |||
1213 | ANN static inline Func is_inlinable(const Emitter emit, | ||
1214 | const Exp_Call *exp_call) { | ||
1215 | const Type ftype = exp_call->func->type; | ||
1216 | if (!is_func(emit->gwion, ftype) || | ||
1217 | !ftype->info->func->code || ftype->info->func->code->builtin) | ||
1218 | return false; | ||
1219 | const Func f = ftype->info->func; | ||
1220 | return (member_inlinable(emit, f, exp_call->func) && check_inline(emit, f)) ? f | ||
1221 | : NULL; | ||
1222 | } | ||
1223 | |||
1224 | ANN static inline void inline_args_ini(const Emitter emit, const Func f, | ||
1225 | const Vector v) { | ||
1226 | const bool member = f->value_ref->from->owner_class && vflag(f->value_ref, vflag_member); | ||
1227 | if(member) | ||
1228 | emit->status.this_offset = emit_local(emit, emit->gwion->type[et_int]); | ||
1229 | const m_uint start_offset = emit_code_offset(emit) - (member ? SZ_INT : 0); | ||
1230 | Arg_List args = f->def->base->args; | ||
1231 | for(uint32_t i = 0; i < args->len; i++) { | ||
1232 | const Arg *arg = mp_vector_at(args, Arg, i); | ||
1233 | const Value value = arg->var_decl.value; | ||
1234 | vector_add(v, value->from->offset); | ||
1235 | value->from->offset = emit_local(emit, value->type); | ||
1236 | _nspc_add_value(emit->env->curr, arg->var_decl.xid, value); | ||
1237 | } | ||
1238 | emit_regmove(emit, -f->code->stack_depth); | ||
1239 | emit_regtomem4(emit, f->code->stack_depth, start_offset); | ||
1240 | } | ||
1241 | |||
1242 | ANN static inline void inline_args_end(const Func f, const Vector v) { | ||
1243 | Arg_List args = f->def->base->args; | ||
1244 | for(uint32_t i = 0; i < args->len; i++) { | ||
1245 | const Arg *arg = mp_vector_at(args, Arg, i); | ||
1246 | const Value value = arg->var_decl.value; | ||
1247 | value->from->offset = vector_at(v, i++); | ||
1248 | } | ||
1249 | } | ||
1250 | |||
1251 | ANN static inline m_bool inline_body(const Emitter emit, const Func f) { | ||
1252 | struct Vector_ v = {.ptr = emit->code->stack_return.ptr}; | ||
1253 | vector_init(&emit->code->stack_return); | ||
1254 | nspc_push_value(emit->gwion->mp, emit->env->curr); | ||
1255 | scoped_ini(emit); | ||
1256 | const m_bool ret = emit_stmt_list(emit, f->def->d.code); | ||
1257 | scoped_end(emit); | ||
1258 | emit_return_pc(emit, emit_code_size(emit)); | ||
1259 | nspc_pop_value(emit->gwion->mp, emit->env->curr); | ||
1260 | vector_release(&emit->code->stack_return); | ||
1261 | emit->code->stack_return.ptr = v.ptr; | ||
1262 | return ret; | ||
1263 | } | ||
1264 | |||
1265 | ANN static inline m_bool inline_run(const Emitter emit, const Func f) { | ||
1266 | struct Vector_ arg_offset; | ||
1267 | vector_init(&arg_offset); | ||
1268 | inline_args_ini(emit, f, &arg_offset); | ||
1269 | const m_bool ret = inline_body(emit, f); | ||
1270 | inline_args_end(f, &arg_offset); | ||
1271 | vector_release(&arg_offset); | ||
1272 | return ret; | ||
1273 | } | ||
1274 | |||
1275 | ANN static inline m_bool _emit_inline(const Emitter emit, const Func f, | ||
1276 | const Exp_Call *exp_call) { | ||
1277 | if (!f->weight) return GW_OK; | ||
1278 | if (f->value_ref->from->owner_class && vflag(f->value_ref, vflag_member)) | ||
1279 | CHECK_BB(emit_exp(emit, exp_call->func->d.exp_dot.base)); | ||
1280 | CHECK_BB(emit_func_args(emit, exp_call)); | ||
1281 | return inline_run(emit, f); | ||
1282 | } | ||
1283 | |||
1284 | ANN static inline m_bool emit_inline(const Emitter emit, const Func f, | ||
1285 | const Exp_Call *exp_call) { | ||
1286 | const EmitterStatus status = emit->status; | ||
1287 | nspc_push_value(emit->gwion->mp, emit->env->curr); | ||
1288 | const m_bool ret = _emit_inline(emit, f, exp_call); | ||
1289 | nspc_pop_value(emit->gwion->mp, emit->env->curr); | ||
1290 | emit->status = status; | ||
1291 | return ret; | ||
1292 | } | ||
1293 | #endif | ||
1294 | |||
1295 | |||
1296 | 358 | ANN static inline bool is_new_struct(const Func f, const Type t) { | |
1297 |
4/4✓ Branch 0 taken 17 times.
✓ Branch 1 taken 341 times.
✓ Branch 3 taken 8 times.
✓ Branch 4 taken 9 times.
|
358 | return is_new(f->def) && tflag(t, tflag_struct); |
1298 | } | ||
1299 | |||
1300 | 8 | ANN static m_bool emit_new_struct(const Emitter emit,const Exp_Call *call) { | |
1301 | 8 | const Exp self = exp_self(call); | |
1302 | 8 | const Type t = self->type; | |
1303 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 6 times.
|
8 | const m_int offset = self->ref ? emit->code->frame->curr_offset - t->size: emit_local(emit, t); |
1304 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 6 times.
|
8 | const Instr back = self->ref ? (Instr)vector_pop(&emit->code->instr) : NULL; |
1305 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 8 times.
|
8 | CHECK_BB(emit_func_args(emit, call)); |
1306 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 6 times.
|
8 | if(back) |
1307 | 2 | vector_add(&emit->code->instr, (m_uint)back); | |
1308 |
1/2✓ Branch 1 taken 6 times.
✗ Branch 2 not taken.
|
6 | else if(tflag(t, tflag_ctor)) |
1309 | 6 | emit_regpushmem4(emit, offset, 0); | |
1310 |
1/2✓ Branch 1 taken 8 times.
✗ Branch 2 not taken.
|
8 | if(tflag(t, tflag_ctor)) emit_ext_ctor(emit, t); |
1311 | ✗ | else if(!back) { | |
1312 | ✗ | emit_regmove(emit, -SZ_INT + t->size); | |
1313 | ✗ | emit_regpushmem4(emit, offset, 0); | |
1314 | } | ||
1315 | 8 | emit_add_instr(emit, NoOp); | |
1316 |
1/2✗ Branch 2 not taken.
✓ Branch 3 taken 8 times.
|
8 | CHECK_BB(emit_exp_call1(emit, call->func->type->info->func, is_static_call(emit->gwion, call->func))); // is a ctor, is_static is true |
1317 | 8 | return GW_OK; | |
1318 | } | ||
1319 | |||
1320 | 358 | ANN static m_bool _emit_exp_call(const Emitter emit, const Exp_Call *call) { | |
1321 | #ifdef GWION_INLINE | ||
1322 | const Func _f = is_inlinable(emit, call); | ||
1323 | if(_f) { | ||
1324 | const Func base = emit->env->func; | ||
1325 | emit->env->func = _f; | ||
1326 | const m_uint scope = emit_push(emit, _f->value_ref->from->owner_class, _f->value_ref->from->owner); | ||
1327 | const m_bool ret = emit_inline(emit, _f, call); | ||
1328 | emit_pop(emit, scope); | ||
1329 | emit->env->func = base; | ||
1330 | return ret; | ||
1331 | } | ||
1332 | #endif | ||
1333 | |||
1334 | 358 | const Type t = call->func->type; | |
1335 | |||
1336 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 358 times.
|
358 | if(unlikely(!is_func(emit->gwion, t))) { |
1337 | ✗ | const Type t = actual_type(emit->gwion, call->func->type); | |
1338 | ✗ | struct Op_Import opi = {.op = insert_symbol("call_type"), | |
1339 | .rhs = t, | ||
1340 | ✗ | .data = (uintptr_t)call, | |
1341 | ✗ | .pos = exp_self(call)->pos}; | |
1342 | ✗ | CHECK_BB(op_emit(emit, &opi)); | |
1343 | } | ||
1344 | 358 | const Func f = t->info->func; | |
1345 |
2/2✓ Branch 2 taken 8 times.
✓ Branch 3 taken 350 times.
|
358 | if(unlikely(is_new_struct(f, exp_self(call)->type))) |
1346 | 8 | emit_new_struct(emit, call); | |
1347 | else { | ||
1348 |
5/6✓ Branch 0 taken 12 times.
✓ Branch 1 taken 338 times.
✓ Branch 2 taken 12 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 1 times.
✓ Branch 5 taken 11 times.
|
350 | if (f != emit->env->func || (f && f->value_ref->from->owner_class)) |
1349 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 339 times.
|
339 | CHECK_BB(prepare_call(emit, call)); |
1350 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 11 times.
|
11 | else CHECK_BB(emit_func_args(emit, call)); |
1351 |
1/2✗ Branch 2 not taken.
✓ Branch 3 taken 350 times.
|
350 | CHECK_BB(emit_exp_call1(emit, f, is_static_call(emit->gwion, call->func))); |
1352 | } | ||
1353 | 358 | return GW_OK; | |
1354 | } | ||
1355 | |||
1356 | 358 | ANN static m_bool emit_exp_call(const Emitter emit, const Exp_Call *exp_call) { | |
1357 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 358 times.
|
358 | CHECK_BB(_emit_exp_call(emit, exp_call)); |
1358 | 358 | const Exp e = exp_self(exp_call); | |
1359 |
2/2✓ Branch 1 taken 6 times.
✓ Branch 2 taken 352 times.
|
358 | if (exp_getvar(e)) { |
1360 | 6 | const m_uint size = exp_self(exp_call)->type->size; | |
1361 | 6 | emit_regmove(emit, -size); | |
1362 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 6 times.
|
6 | const Local *l = e->ref ? e->ref->data : NULL; |
1363 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 6 times.
|
6 | const m_uint offset = l ? l->offset : emit_local_exp(emit, e); |
1364 | 6 | emit_regtomem4(emit, offset, size); | |
1365 | 6 | emit_regpushmem4(emit, offset, 0); | |
1366 | } | ||
1367 | 358 | return GW_OK; | |
1368 | } | ||
1369 | |||
1370 | 1569 | ANN static m_uint get_type_size(const Exp e) { | |
1371 |
3/4✓ Branch 1 taken 1 times.
✓ Branch 2 taken 1568 times.
✓ Branch 4 taken 1 times.
✗ Branch 5 not taken.
|
1569 | if(tflag(e->type, tflag_ref)&& !safe_tflag(e->cast_to, tflag_ref)) { |
1372 | 1 | const Type base =(Type)vector_front(&e->type->info->tuple->contains); | |
1373 | 1 | return base->size; | |
1374 | } | ||
1375 | 1568 | return e->type->size; | |
1376 | } | ||
1377 | |||
1378 | 1567 | ANN static m_uint pop_exp_size(Exp e) { | |
1379 | 1567 | const bool emit_addr = exp_getvar(e); | |
1380 | 1567 | m_uint size = 0; | |
1381 |
1/2✓ Branch 0 taken 1569 times.
✗ Branch 1 not taken.
|
1569 | do size += !emit_addr ? get_type_size(e) : SZ_INT; |
1382 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 1567 times.
|
1569 | while ((e = e->next)); |
1383 | 1567 | return size; | |
1384 | } | ||
1385 | |||
1386 | 1567 | ANN static inline void pop_exp(const Emitter emit, Exp e) { | |
1387 | 1567 | const m_uint size = pop_exp_size(e); | |
1388 |
2/2✓ Branch 0 taken 1396 times.
✓ Branch 1 taken 171 times.
|
1567 | if (size) emit_regmove(emit, -size); |
1389 | 1567 | } | |
1390 | |||
1391 | 1068 | ANN static inline m_bool emit_exp_pop_next(const Emitter emit, Exp e) { | |
1392 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1068 times.
|
1068 | CHECK_BB(emit_exp(emit, e)); |
1393 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1068 times.
|
1068 | if (e->next) pop_exp(emit, e->next); |
1394 | 1068 | return GW_OK; | |
1395 | } | ||
1396 | |||
1397 | 438 | ANN static m_bool emit_exp_binary(const Emitter emit, const Exp_Binary *bin) { | |
1398 | 438 | const Exp lhs = bin->lhs; | |
1399 | 438 | const Exp rhs = bin->rhs; | |
1400 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 438 times.
|
438 | CHECK_BB(emit_exp_pop_next(emit, lhs)); |
1401 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 438 times.
|
438 | CHECK_BB(emit_exp_pop_next(emit, rhs)); |
1402 | 876 | struct Op_Import opi = {.op = bin->op, | |
1403 | 438 | .lhs = lhs->type, | |
1404 | 438 | .rhs = rhs->type, | |
1405 | 438 | .pos = exp_self(bin)->pos, | |
1406 | 438 | .data = (uintptr_t)bin}; | |
1407 | 438 | return op_emit(emit, &opi); | |
1408 | } | ||
1409 | |||
1410 | 8 | ANN static m_bool emit_exp_cast(const Emitter emit, const Exp_Cast *cast) { | |
1411 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 8 times.
|
8 | CHECK_BB(emit_exp(emit, cast->exp)); |
1412 | 16 | struct Op_Import opi = {.op = insert_symbol("$"), | |
1413 | 8 | .lhs = cast->exp->type, | |
1414 | 8 | .rhs = exp_self(cast)->type, | |
1415 | 8 | .data = (uintptr_t)cast}; // no pos ? | |
1416 | 8 | (void)op_emit(emit, &opi); | |
1417 | 8 | return GW_OK; | |
1418 | } | ||
1419 | |||
1420 | 27 | ANN static m_bool emit_exp_post(const Emitter emit, const Exp_Postfix *post) { | |
1421 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 27 times.
|
27 | CHECK_BB(emit_exp(emit, post->exp)); |
1422 | 27 | struct Op_Import opi = {.op = post->op, | |
1423 | 27 | .lhs = post->exp->type, | |
1424 | 27 | .data = (uintptr_t)post}; // no pos ? | |
1425 | 27 | return op_emit(emit, &opi); | |
1426 | } | ||
1427 | |||
1428 | 6 | ANN static inline m_bool traverse_emit_func_def(const Emitter emit, | |
1429 | const Func_Def fdef) { | ||
1430 |
2/4✓ Branch 0 taken 6 times.
✗ Branch 1 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 6 times.
|
6 | if (!fdef->base->ret_type) CHECK_BB(traverse_func_def(emit->env, fdef)); |
1431 | 6 | return emit_func_def(emit, fdef); | |
1432 | } | ||
1433 | |||
1434 | 6 | ANN m_bool traverse_dot_tmpl(const Emitter emit, const Func_Def fdef, const Value v) { | |
1435 | 6 | const m_uint scope = emit->env->scope->depth; | |
1436 | 6 | const bool shadowing = emit->env->scope->shadowing; | |
1437 | 6 | emit->env->scope->shadowing = true; | |
1438 | 6 | struct EnvSet es = {.env = emit->env, | |
1439 | .data = emit, | ||
1440 | .func = (_exp_func)emit_cdef, | ||
1441 | .scope = scope, | ||
1442 | .flag = tflag_emit}; | ||
1443 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 6 times.
|
6 | CHECK_BB(envset_pushv(&es, v)); |
1444 | 6 | (void)emit_push(emit, v->from->owner_class, v->from->owner); | |
1445 | 6 | const m_bool ret = traverse_emit_func_def(emit, fdef); | |
1446 | 6 | emit_pop(emit, scope); | |
1447 | 6 | envset_pop(&es, v->from->owner_class); | |
1448 | 6 | emit->env->scope->shadowing = shadowing; | |
1449 | 6 | return ret; | |
1450 | } | ||
1451 | |||
1452 | 41 | static INSTR(fptr_call) { | |
1453 | 41 | const M_Object o = *(M_Object*)REG(-SZ_INT); | |
1454 | 41 | *(VM_Code*)REG(-SZ_INT) = *(VM_Code*)(o->data + instr->m_val); | |
1455 | 41 | const m_bit *caps = *(m_bit**)(o->data + SZ_INT); | |
1456 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 41 times.
|
41 | if(caps) { |
1457 | ✗ | const Func_Def fdef = *(Func_Def*) caps; | |
1458 | ✗ | const Capture *cap = mp_vector_at(fdef->captures, Capture, fdef->captures->len - 1); | |
1459 | ✗ | const uint32_t sz = cap->offset + cap->temp->type->size - fdef->stack_depth; | |
1460 | ✗ | memcpy(REG(SZ_INT), caps + SZ_INT, sz); | |
1461 | } | ||
1462 | 41 | } | |
1463 | |||
1464 | 222 | static inline m_bool push_func_code(const Emitter emit, const Func f) { | |
1465 |
2/2✓ Branch 1 taken 3 times.
✓ Branch 2 taken 219 times.
|
222 | if (!vector_size(&emit->code->instr)) { |
1466 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 3 times.
|
3 | if(fflag(f, fflag_tmpl)) { |
1467 | // we are sporking a template | ||
1468 | // assume static call for now | ||
1469 | ✗ | emit_regsetimm(emit, (m_uint)f->code, -SZ_INT); | |
1470 | } | ||
1471 | 3 | return GW_OK; | |
1472 | } | ||
1473 | 219 | const Instr instr = (Instr)vector_back(&emit->code->instr); | |
1474 |
2/2✓ Branch 0 taken 210 times.
✓ Branch 1 taken 9 times.
|
219 | if(f->code) { |
1475 | 210 | instr->opcode = eRegPushImm; | |
1476 | 210 | instr->m_val = (m_uint)f->code; | |
1477 | } | ||
1478 | 219 | return GW_OK; | |
1479 | } | ||
1480 | |||
1481 | 31 | ANN static m_bool emit_template_code(const Emitter emit, const Func f) { | |
1482 | 31 | const Value v = f->value_ref; | |
1483 | 31 | const size_t scope = emit->env->scope->depth; | |
1484 | 31 | struct EnvSet es = {.env = emit->env, | |
1485 | .data = emit, | ||
1486 | .func = (_exp_func)emit_cdef, | ||
1487 | .scope = scope, | ||
1488 | .flag = tflag_emit}; | ||
1489 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 31 times.
|
31 | CHECK_BB(envset_pushv(&es, v)); |
1490 | 31 | (void)emit_push(emit, v->from->owner_class, v->from->owner); | |
1491 | 31 | const m_bool ret = emit_func_def(emit, f->def); | |
1492 | 31 | envset_pop(&es, v->from->owner_class); | |
1493 | 31 | emit_pop(emit, scope); | |
1494 |
1/2✓ Branch 0 taken 31 times.
✗ Branch 1 not taken.
|
31 | return ret > 0 ? push_func_code(emit, f) : GW_ERROR; |
1495 | } | ||
1496 | |||
1497 | 10 | ANN static void tmpl_prelude(const Emitter emit, const Func f) { | |
1498 | 10 | const Instr gtmpl = emit_add_instr(emit, GTmpl); | |
1499 | 10 | gtmpl->m_val = (m_uint)f->def; | |
1500 | 10 | gtmpl->m_val2 = (m_uint)tl2str(emit->gwion, f->def->base->tmpl->call, f->def->base->pos); | |
1501 | 10 | } | |
1502 | |||
1503 | 540 | ANN static Instr get_prelude(const Emitter emit, const Func f, | |
1504 | const bool is_static) { | ||
1505 |
4/4✓ Branch 0 taken 15 times.
✓ Branch 1 taken 525 times.
✓ Branch 2 taken 3 times.
✓ Branch 3 taken 12 times.
|
540 | if (f != emit->env->func || !is_static) { |
1506 | 528 | const Instr instr = emit_add_instr(emit, SetCode); | |
1507 | 528 | instr->udata.one = 1; | |
1508 | 528 | return instr; | |
1509 | } | ||
1510 | 12 | const Instr instr = emit_add_instr(emit, Recurs); | |
1511 | 12 | instr->m_val = SZ_INT; | |
1512 | 12 | instr->udata.one = 1; | |
1513 | 12 | instr->udata.two = emit_code_offset(emit) + sizeof(frame_t); | |
1514 | 12 | return instr; | |
1515 | } | ||
1516 | |||
1517 | 226 | ANN static void emit_args(const Emitter emit, const Func f) { | |
1518 |
2/2✓ Branch 1 taken 85 times.
✓ Branch 2 taken 141 times.
|
226 | const m_uint member = vflag(f->value_ref, vflag_member) ? SZ_INT : 0; |
1519 |
2/2✓ Branch 0 taken 135 times.
✓ Branch 1 taken 91 times.
|
226 | if ((f->def->stack_depth - member) == SZ_INT) |
1520 | 135 | emit_regtomem(emit, member, 0); | |
1521 | else | ||
1522 | 91 | emit_regtomem4(emit, member, f->def->stack_depth - member); | |
1523 | 226 | } | |
1524 | |||
1525 | typedef struct { | ||
1526 | const Emitter emit; | ||
1527 | const Func_Def fdef; | ||
1528 | struct Vector_ branch; | ||
1529 | const m_uint offset; | ||
1530 | m_uint arg_offset; | ||
1531 | } MemoizeEmitter; | ||
1532 | |||
1533 | 1 | static m_bool me_cmp(MemoizeEmitter *me, const Arg *arg) { | |
1534 | 1 | const Emitter emit = me->emit; | |
1535 | 1 | const Symbol sym = insert_symbol("?="); | |
1536 | 1 | struct Exp_ lhs = { | |
1537 | .exp_type = ae_exp_primary, | ||
1538 | 1 | .type = arg->type, | |
1539 | 1 | .pos = arg->td->pos, | |
1540 | .d = { | ||
1541 | .prim = { .prim_type = ae_prim_id } | ||
1542 | } | ||
1543 | }; | ||
1544 | 1 | struct Exp_ rhs = { | |
1545 | .exp_type = ae_exp_primary, | ||
1546 | 1 | .type = me->emit->gwion->type[et_bool], | |
1547 | 1 | .pos = arg->td->pos, | |
1548 | .d = { | ||
1549 | .prim = { .prim_type = ae_prim_id } | ||
1550 | } | ||
1551 | }; | ||
1552 | 1 | struct Exp_ bin = { | |
1553 | .exp_type = ae_exp_binary, | ||
1554 | 1 | .type = arg->type, | |
1555 | 1 | .pos = arg->td->pos, | |
1556 | .d = { | ||
1557 | .exp_binary = { | ||
1558 | .lhs = &lhs, | ||
1559 | .op = sym, | ||
1560 | .rhs = &rhs | ||
1561 | } | ||
1562 | } | ||
1563 | }; | ||
1564 | 1 | struct Op_Import opi = {.op = sym, | |
1565 | 1 | .lhs = arg->type, | |
1566 | 1 | .rhs = arg->type, | |
1567 | 1 | .pos = me->fdef->base->pos, | |
1568 | 1 | .data = (uintptr_t)&bin.d}; | |
1569 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | CHECK_BB(op_emit(emit, &opi)); |
1570 | 1 | const Instr instr = emit_add_instr(emit, BranchEqInt); | |
1571 | 1 | vector_add(&me->branch, (vtype)instr); | |
1572 | 1 | return GW_OK; | |
1573 | } | ||
1574 | |||
1575 | 1 | ANN static m_bool me_arg(MemoizeEmitter *me) { | |
1576 | 1 | Arg_List args = me->fdef->base->args; | |
1577 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 1 times.
|
2 | for(uint32_t i = 0; i < args->len; i++) { |
1578 | 1 | Arg *arg = mp_vector_at(args, Arg, i); | |
1579 | 1 | const m_uint sz = arg->type->size; | |
1580 | 1 | emit_regpushmem(me->emit, me->arg_offset, sz, false); | |
1581 | 1 | emit_regpushmem(me->emit, me->offset + SZ_INT * 2, sz, false); | |
1582 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | CHECK_BB(me_cmp(me, arg)); |
1583 | 1 | me->arg_offset += sz; | |
1584 | } | ||
1585 | 1 | return GW_OK; | |
1586 | } | ||
1587 | |||
1588 | 540 | ANN static Instr emit_call(const Emitter emit, const Func f, | |
1589 | const bool is_static) { | ||
1590 | 540 | const Instr prelude = get_prelude(emit, f, is_static); | |
1591 | 540 | prelude->m_val += -f->def->stack_depth - SZ_INT; | |
1592 |
2/2✓ Branch 1 taken 333 times.
✓ Branch 2 taken 207 times.
|
540 | const m_uint member = vflag(f->value_ref, vflag_member) ? SZ_INT : 0; |
1593 |
2/2✓ Branch 0 taken 333 times.
✓ Branch 1 taken 207 times.
|
540 | if (member) { |
1594 | 333 | emit_regtomem(emit, 0, f->def->stack_depth - SZ_INT); | |
1595 | 333 | ++prelude->m_val2; | |
1596 | } | ||
1597 |
2/2✓ Branch 0 taken 224 times.
✓ Branch 1 taken 316 times.
|
540 | if (f->def->stack_depth - member) { |
1598 | // f != emit->env->func || | ||
1599 | // f->value_ref->from->owner_class || strstr(emit->code->name, "ork~")) | ||
1600 | { | ||
1601 | 224 | emit_args(emit, f); | |
1602 | 224 | ++prelude->m_val2; | |
1603 | } | ||
1604 | } | ||
1605 | 540 | return emit_add_instr(emit, Overflow); | |
1606 | } | ||
1607 | |||
1608 | 47 | ANN static void emit_fptr_call(const Emitter emit, const Func f) { | |
1609 | 47 | const Instr call = emit_add_instr(emit, fptr_call); | |
1610 |
2/2✓ Branch 0 taken 10 times.
✓ Branch 1 taken 37 times.
|
47 | if(f->def->base->tmpl) { |
1611 | // maybe merge those | ||
1612 | 10 | call->m_val = SZ_INT*2; | |
1613 | 10 | tmpl_prelude(emit, f); | |
1614 | } | ||
1615 | 47 | } | |
1616 | |||
1617 | 540 | ANN static void call_finish(const Emitter emit, const Func f, | |
1618 | const bool is_static) { | ||
1619 | 540 | const m_uint offset = emit_code_offset(emit); | |
1620 |
5/6✓ Branch 0 taken 15 times.
✓ Branch 1 taken 525 times.
✓ Branch 2 taken 12 times.
✓ Branch 3 taken 3 times.
✓ Branch 4 taken 12 times.
✗ Branch 5 not taken.
|
540 | if (f != emit->env->func || !is_static || !is_new(f->def)) |
1621 | 540 | emit_regsetimm(emit, offset, 0); | |
1622 | 540 | const Instr instr = emit_call(emit, f, is_static); | |
1623 | 540 | instr->m_val = f->def->base->ret_type->size; | |
1624 | 540 | instr->m_val2 = offset; | |
1625 | 540 | } | |
1626 | |||
1627 | 402 | ANN m_bool emit_exp_call1(const Emitter emit, const Func f, | |
1628 | const bool is_static) { | ||
1629 | 402 | const EmitterStatus status = emit->status; | |
1630 | 402 | emit->status = (EmitterStatus){}; | |
1631 |
2/2✓ Branch 1 taken 47 times.
✓ Branch 2 taken 355 times.
|
402 | if(unlikely(fflag(f, fflag_fptr))) emit_fptr_call(emit, f); |
1632 |
4/4✓ Branch 0 taken 56 times.
✓ Branch 1 taken 299 times.
✓ Branch 2 taken 42 times.
✓ Branch 3 taken 14 times.
|
355 | else if (unlikely(!f->code && emit->env->func != f)) { |
1633 |
3/4✓ Branch 1 taken 31 times.
✓ Branch 2 taken 11 times.
✗ Branch 4 not taken.
✓ Branch 5 taken 31 times.
|
42 | if (fflag(f, fflag_tmpl)) CHECK_BB(emit_template_code(emit, f)); |
1634 | else //if(is_new(f->def))//if(tflag(f->value_ref->type, tflag_ftmpl)) | ||
1635 | { | ||
1636 | 11 | const Type t = f->value_ref->from->owner_class; | |
1637 |
5/6✓ Branch 0 taken 9 times.
✓ Branch 1 taken 2 times.
✓ Branch 2 taken 9 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 2 times.
✓ Branch 5 taken 7 times.
|
11 | if(t && (!emit->env->curr || isa(t, emit->env->class_def) < 0)) |
1638 | //!is_new(f->def) || f->value_ref->from->owner_class->array_depth) | ||
1639 | //if(f->value_ref->from->owner_class->array_depth) | ||
1640 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2 times.
|
2 | CHECK_BB(emit_ensure_func(emit, f)); |
1641 | } | ||
1642 |
2/2✓ Branch 0 taken 191 times.
✓ Branch 1 taken 122 times.
|
313 | } else if(is_static) |
1643 | 191 | push_func_code(emit, f); | |
1644 | 402 | call_finish(emit, f, is_static); | |
1645 | 402 | emit->status = status; | |
1646 | 402 | return GW_OK; | |
1647 | } | ||
1648 | |||
1649 | 24 | ANN static void emit_exp_spork_finish(const Emitter emit, const m_uint depth) { | |
1650 | 24 | emit_regmove(emit, -depth); | |
1651 | 24 | const Instr spork = emit_add_instr(emit, SporkFunc); | |
1652 | 24 | spork->m_val = depth + SZ_INT; | |
1653 | 24 | spork->m_val2 = -SZ_INT; | |
1654 | 24 | } | |
1655 | |||
1656 | 224 | ANN static inline void stack_alloc(const Emitter emit) { | |
1657 | 224 | emit_local(emit, | |
1658 | 224 | emit->gwion->type[et_int]); // hiding the fact it is an object | |
1659 | 224 | emit->code->stack_depth += SZ_INT; | |
1660 | 224 | } | |
1661 | |||
1662 | #define SPORK_FUNC_PREFIX "spork~func:%u" | ||
1663 | #define FORK_FUNC_PREFIX "fork~func:%u" | ||
1664 | #define SPORK_CODE_PREFIX "spork~code:%u" | ||
1665 | #define FORK_CODE_PREFIX "fork~code:%u" | ||
1666 | |||
1667 | 50 | static void push_spork_code(const Emitter emit, const m_str prefix, | |
1668 | 50 | const loc_t pos) { | |
1669 | 50 | char c[strlen(SPORK_FUNC_PREFIX) + num_digit(pos.first.line) + 1]; | |
1670 | 50 | sprintf(c, prefix, pos.first.line); | |
1671 | 50 | emit_push_code(emit, c); | |
1672 | 50 | } | |
1673 | |||
1674 | struct Sporker { | ||
1675 | const Stmt_List code; | ||
1676 | const Exp exp; | ||
1677 | VM_Code vm_code; | ||
1678 | const Type type; | ||
1679 | const Capture_List captures; | ||
1680 | const loc_t pos; | ||
1681 | const bool emit_var; | ||
1682 | const bool is_spork; | ||
1683 | }; | ||
1684 | |||
1685 | 26 | ANN static m_bool spork_prepare_code(const Emitter emit, | |
1686 | const struct Sporker *sp) { | ||
1687 | 26 | emit_pushimm(emit, 0); | |
1688 |
2/2✓ Branch 0 taken 21 times.
✓ Branch 1 taken 5 times.
|
26 | push_spork_code(emit, sp->is_spork ? SPORK_CODE_PREFIX : FORK_CODE_PREFIX, |
1689 | sp->pos); | ||
1690 |
2/2✓ Branch 0 taken 5 times.
✓ Branch 1 taken 21 times.
|
26 | if (emit->env->class_def) stack_alloc(emit); |
1691 |
4/4✓ Branch 0 taken 6 times.
✓ Branch 1 taken 20 times.
✓ Branch 3 taken 5 times.
✓ Branch 4 taken 1 times.
|
26 | if (emit->env->func && vflag(emit->env->func->value_ref, vflag_member)) |
1692 | 5 | stack_alloc(emit); | |
1693 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 25 times.
|
26 | if(sp->captures) emit->code->frame->curr_offset += captures_sz(sp->captures); |
1694 | // return scoped_stmt(emit, sp->code); | ||
1695 | 26 | return emit_stmt_list(emit, sp->code); | |
1696 | } | ||
1697 | |||
1698 | 24 | ANN static m_bool spork_prepare_func(const Emitter emit, | |
1699 | const struct Sporker *sp) { | ||
1700 | 24 | const Type t = actual_type(emit->gwion, sp->exp->d.exp_call.func->type); | |
1701 | 24 | const Func f = t->info->func; | |
1702 |
4/4✓ Branch 0 taken 10 times.
✓ Branch 1 taken 14 times.
✓ Branch 2 taken 8 times.
✓ Branch 3 taken 2 times.
|
24 | if(!f->code && f != emit->env->func) |
1703 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 8 times.
|
8 | CHECK_BB(emit_ensure_func(emit, f)); |
1704 | 24 | push_spork_code(emit, sp->is_spork ? SPORK_FUNC_PREFIX : FORK_CODE_PREFIX, | |
1705 |
1/2✓ Branch 0 taken 24 times.
✗ Branch 1 not taken.
|
24 | sp->exp->pos); |
1706 | 24 | return emit_exp_call1(emit, f, false); | |
1707 | } | ||
1708 | |||
1709 | 50 | ANN static VM_Code spork_prepare(const Emitter emit, const struct Sporker *sp) { | |
1710 |
2/2✓ Branch 0 taken 24 times.
✓ Branch 1 taken 26 times.
|
50 | if (!sp->code) { |
1711 | assert(sp->exp); | ||
1712 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 24 times.
|
24 | CHECK_BO(prepare_call(emit, &sp->exp->d.exp_call)); |
1713 | } | ||
1714 |
3/4✓ Branch 0 taken 26 times.
✓ Branch 1 taken 24 times.
✓ Branch 3 taken 50 times.
✗ Branch 4 not taken.
|
50 | if ((sp->code ? spork_prepare_code : spork_prepare_func)(emit, sp) > 0) |
1715 | 50 | return finalyze(emit, EOC); | |
1716 | ✗ | emit_pop_code(emit); | |
1717 | ✗ | return NULL; | |
1718 | } | ||
1719 | |||
1720 | 26 | ANN void spork_code(const Emitter emit, const struct Sporker *sp) { | |
1721 | 26 | const Instr args = emit_add_instr(emit, SporkExp); | |
1722 | 26 | args->m_val = emit->code->stack_depth; | |
1723 |
2/2✓ Branch 0 taken 21 times.
✓ Branch 1 taken 5 times.
|
26 | const Instr instr = emit_add_instr(emit, sp->is_spork ? SporkEnd : ForkEnd); |
1724 | 26 | instr->m_val = sp->emit_var; | |
1725 | 26 | } | |
1726 | |||
1727 | 24 | ANN void spork_func(const Emitter emit, const struct Sporker *sp) { | |
1728 | 24 | const Func f = | |
1729 | 24 | actual_type(emit->gwion, sp->exp->d.exp_call.func->type)->info->func; | |
1730 | 24 | emit_exp_spork_finish(emit, f->def->stack_depth); | |
1731 | 24 | (void)emit_add_instr(emit, SporkEnd); | |
1732 | 24 | } | |
1733 | |||
1734 | 50 | ANN static void spork_ini(const Emitter emit, const struct Sporker *sp) { | |
1735 |
2/2✓ Branch 0 taken 45 times.
✓ Branch 1 taken 5 times.
|
50 | if (sp->is_spork) { |
1736 | 45 | const Instr instr = emit_add_instr(emit, SporkIni); | |
1737 | 45 | instr->m_val = (m_uint)sp->vm_code; | |
1738 | 45 | return; | |
1739 | } | ||
1740 | 5 | const Instr instr = emit_add_instr(emit, ForkIni); | |
1741 | 5 | instr->m_val = (m_uint)sp->vm_code; | |
1742 | 5 | instr->m_val2 = (m_uint)sp->type; | |
1743 | } | ||
1744 | |||
1745 | 50 | ANN m_bool emit_exp_spork(const Emitter emit, const Exp_Unary *unary) { | |
1746 | 300 | struct Sporker sporker = { | |
1747 |
2/2✓ Branch 0 taken 24 times.
✓ Branch 1 taken 26 times.
|
50 | .exp = unary->unary_type == unary_exp ? unary->exp : NULL, |
1748 |
2/2✓ Branch 0 taken 26 times.
✓ Branch 1 taken 24 times.
|
50 | .code = unary->unary_type == unary_code ? unary->code : NULL, |
1749 | 50 | .type = exp_self(unary)->type, | |
1750 | 50 | .captures = unary->captures, | |
1751 | 50 | .pos = exp_self(unary)->pos, | |
1752 | 50 | .is_spork = (unary->op == insert_symbol("spork")), | |
1753 | 50 | .emit_var = exp_getvar(exp_self(unary))}; | |
1754 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 50 times.
|
50 | CHECK_OB((sporker.vm_code = spork_prepare(emit, &sporker))); |
1755 |
2/2✓ Branch 0 taken 5 times.
✓ Branch 1 taken 45 times.
|
50 | if(!sporker.is_spork) |
1756 | 5 | emit_local_exp(emit, exp_self(unary)); | |
1757 | 50 | spork_ini(emit, &sporker); | |
1758 | // add this if needed | ||
1759 | // uint32_t offset = 0; | ||
1760 | 50 | m_uint offset = 0; | |
1761 |
4/4✓ Branch 0 taken 18 times.
✓ Branch 1 taken 32 times.
✓ Branch 2 taken 5 times.
✓ Branch 3 taken 13 times.
|
50 | if(emit->env->class_def && sporker.code) { |
1762 | 5 | struct Exp_ exp = { | |
1763 | .d = { .prim = { | ||
1764 | 5 | .d = { .var = insert_symbol("this") }, | |
1765 | .prim_type = ae_prim_id | ||
1766 | }}, | ||
1767 | 5 | .type = emit->env->class_def, | |
1768 | .exp_type = ae_exp_primary | ||
1769 | }; | ||
1770 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 5 times.
|
5 | CHECK_BB(emit_exp(emit, &exp)); |
1771 | 5 | offset += SZ_INT; | |
1772 | } | ||
1773 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 49 times.
|
50 | if(sporker.captures) { |
1774 | 1 | Capture_List caps = sporker.captures; | |
1775 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 1 times.
|
2 | for (uint32_t i = 0; i < caps->len; i++) { |
1776 | 1 | Capture *cap = mp_vector_at(caps, Capture, i); | |
1777 | 1 | const Value v = cap->orig; | |
1778 | 1 | struct Exp_ exp = { | |
1779 | .d = { .prim = { | ||
1780 | 1 | .d = { .var = cap->xid }, | |
1781 | .value = v, | ||
1782 | .prim_type = ae_prim_id | ||
1783 | }}, | ||
1784 | 1 | .type = v->type, | |
1785 | .exp_type = ae_exp_primary | ||
1786 | }; | ||
1787 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
|
1 | if(cap->is_ref) exp_setvar(&exp, true); |
1788 | 1 | offset += exp_size(&exp); | |
1789 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | CHECK_BB(emit_exp(emit, &exp)); |
1790 | // emit_exp_addref(emit, &exp, -exp_size(&exp)); | ||
1791 | } | ||
1792 | } | ||
1793 |
2/2✓ Branch 0 taken 6 times.
✓ Branch 1 taken 44 times.
|
50 | if(offset) { |
1794 | 6 | emit_regmove(emit, -offset); | |
1795 | 6 | const Instr args = emit_add_instr(emit, SporkCode); | |
1796 | 6 | args->m_val = offset; | |
1797 | } | ||
1798 |
2/2✓ Branch 0 taken 26 times.
✓ Branch 1 taken 24 times.
|
50 | (unary->unary_type == unary_code ? spork_code : spork_func)(emit, &sporker); |
1799 | 50 | return GW_OK; | |
1800 | } | ||
1801 | |||
1802 | 87 | ANN static m_bool emit_exp_unary(const Emitter emit, const Exp_Unary *unary) { | |
1803 | 87 | const Type t = exp_self(unary)->type; | |
1804 | 87 | const Type base = actual_type(emit->gwion, t); | |
1805 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 87 times.
|
87 | CHECK_BB(ensure_emit(emit, base)); |
1806 | // no pos ? | ||
1807 | 87 | struct Op_Import opi = {.op = unary->op, .data = (uintptr_t)unary}; | |
1808 |
4/4✓ Branch 0 taken 44 times.
✓ Branch 1 taken 43 times.
✓ Branch 2 taken 20 times.
✓ Branch 3 taken 24 times.
|
87 | if (unary->unary_type == unary_exp && unary->op != insert_symbol("spork") && |
1809 |
1/2✓ Branch 0 taken 20 times.
✗ Branch 1 not taken.
|
20 | unary->op != insert_symbol("fork")) { |
1810 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 20 times.
|
20 | CHECK_BB(emit_exp_pop_next(emit, unary->exp)); |
1811 | 20 | opi.rhs = unary->exp->type; | |
1812 | } | ||
1813 | 87 | return op_emit(emit, &opi); | |
1814 | } | ||
1815 | |||
1816 | 25 | ANN static m_bool emit_implicit_cast(const Emitter emit, | |
1817 | const restrict Exp from, | ||
1818 | const restrict Type to) { | ||
1819 | 25 | const struct Implicit imp = { .e=from, .t=to, .pos=from->pos}; | |
1820 | // no pos | ||
1821 | 25 | struct Op_Import opi = {.op = insert_symbol("@implicit"), | |
1822 | 25 | .lhs = from->type, | |
1823 | .rhs = to, | ||
1824 | 25 | .data = (m_uint)&imp}; | |
1825 | 25 | return op_emit(emit, &opi); | |
1826 | } | ||
1827 | |||
1828 | 78 | ANN2(1,2) static Instr _flow(const Emitter emit, const Exp e, Instr *const instr, /*const */bool b) { | |
1829 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 78 times.
|
78 | CHECK_BO(emit_exp_pop_next(emit, e)); |
1830 | { | ||
1831 | 78 | const Instr ex = (Instr)vector_back(&emit->code->instr); | |
1832 |
1/4✗ Branch 0 not taken.
✓ Branch 1 taken 78 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
|
78 | if(ex->opcode == eOP_MAX && ex->execute == fast_except) { |
1833 | ✗ | vector_rem(&emit->code->instr, vector_size(&emit->code->instr) - 1); | |
1834 | ✗ | free_instr(emit->gwion, ex); | |
1835 | } | ||
1836 | } | ||
1837 | |||
1838 |
2/2✓ Branch 0 taken 5 times.
✓ Branch 1 taken 73 times.
|
78 | if(instr) |
1839 | 5 | *instr = emit_add_instr(emit, NoOp); | |
1840 | 156 | struct Op_Import opi = { | |
1841 | 78 | .op = insert_symbol(b ? "@conditional" : "@unconditional"), | |
1842 | 78 | .rhs = e->type, | |
1843 | .pos = e->pos, | ||
1844 |
2/2✓ Branch 0 taken 65 times.
✓ Branch 1 taken 13 times.
|
78 | .data = (uintptr_t)e}; |
1845 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 78 times.
|
78 | CHECK_BO(op_emit(emit, &opi)); |
1846 | 78 | return (Instr)vector_back(&emit->code->instr); | |
1847 | } | ||
1848 | #define emit_flow(emit, b) _flow(emit, b, NULL, true) | ||
1849 | |||
1850 | ✗ | static void emit_maybe_stack(const Emitter emit, const Instr instr, const MaybeVal *mv) { | |
1851 | ✗ | instr->opcode = eReg2Mem; | |
1852 | ✗ | instr->m_val = -SZ_INT; | |
1853 | ✗ | instr->m_val2 = mv->reg; | |
1854 | ✗ | if(!emit->code->frame->maybe_stack) | |
1855 | ✗ | emit->code->frame->maybe_stack = new_mp_vector(emit->gwion->mp, MaybeVal, 0); | |
1856 | ✗ | mp_vector_add(emit->gwion->mp, &emit->code->frame->maybe_stack, MaybeVal, *mv); | |
1857 | } | ||
1858 | |||
1859 | 5 | ANN static m_bool emit_exp_if(const Emitter emit, const Exp_If *exp_if) { | |
1860 |
1/2✓ Branch 0 taken 5 times.
✗ Branch 1 not taken.
|
5 | const Exp e = exp_if->if_exp ?: exp_if->cond; |
1861 | Instr instr; | ||
1862 | 5 | struct M_Vector_ v = {}; | |
1863 | 5 | const m_uint reg = emit_local(emit, emit->gwion->type[et_bool]); | |
1864 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 5 times.
|
5 | DECL_OB(const Instr, op, = _flow(emit, exp_if->cond, &instr, true)); |
1865 |
1/2✗ Branch 2 not taken.
✓ Branch 3 taken 5 times.
|
5 | if (exp_getvar(exp_self(exp_if))) { |
1866 | ✗ | exp_setvar(e, 1); | |
1867 | ✗ | exp_setvar(exp_if->else_exp, 1); | |
1868 | } | ||
1869 | 5 | const m_uint nloc = vector_size(&emit->code->frame->stack); | |
1870 | 5 | const m_uint nval = m_vector_size(&emit->code->live_values); | |
1871 | 5 | const uint16_t offset = emit->code->frame->curr_offset; | |
1872 | 5 | const uint16_t vcount = emit->code->frame->value_count; | |
1873 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 5 times.
|
5 | CHECK_BB(emit_exp_pop_next(emit, e)); |
1874 | 5 | const m_uint nval_if = m_vector_size(&emit->code->live_values); | |
1875 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 5 times.
|
5 | if(nval < nval_if) { |
1876 | ✗ | const m_uint diff = nval_if - nval; | |
1877 | ✗ | m_vector_init(&v, sizeof(VMValue), diff); | |
1878 | ✗ | memcpy(v.ptr + ARRAY_OFFSET, emit->code->live_values.ptr + ARRAY_OFFSET + nval * sizeof(VMValue), diff * sizeof(VMValue)); | |
1879 | } | ||
1880 | 5 | emit->code->frame->curr_offset = offset; | |
1881 | 5 | emit->code->frame->value_count = vcount; | |
1882 | 5 | VLEN(&emit->code->live_values) = nval; | |
1883 | 5 | VLEN(&emit->code->frame->stack) = nloc; | |
1884 | |||
1885 | 5 | const Instr op2 = emit_add_instr(emit, Goto); | |
1886 | 5 | op->m_val = emit_code_size(emit); | |
1887 | 5 | const m_bool ret = emit_exp_pop_next(emit, exp_if->else_exp); | |
1888 | 5 | const m_uint nval_else = m_vector_size(&emit->code->live_values); | |
1889 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 5 times.
|
5 | if(nval < nval_else) { |
1890 | ✗ | const m_uint diff = nval_else - nval; | |
1891 | ✗ | if(!v.ptr) { | |
1892 | ✗ | m_vector_init(&v, sizeof(VMValue), diff); | |
1893 | ✗ | memcpy(v.ptr + ARRAY_OFFSET, emit->code->live_values.ptr + ARRAY_OFFSET + nval * sizeof(VMValue), diff * sizeof(VMValue)); | |
1894 | } else { | ||
1895 | ✗ | for(m_uint i = 0; i < diff; i++) { | |
1896 | ✗ | m_vector_add(&v, m_vector_addr(&emit->code->live_values, i + nval)); | |
1897 | } | ||
1898 | } | ||
1899 | } | ||
1900 | 5 | emit->code->frame->curr_offset = offset; | |
1901 | 5 | emit->code->frame->value_count = vcount; | |
1902 | 5 | VLEN(&emit->code->live_values) = nval; | |
1903 | 5 | VLEN(&emit->code->frame->stack) = nloc; | |
1904 | |||
1905 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 5 times.
|
5 | if(v.ptr) { |
1906 | ✗ | MaybeVal mv = (MaybeVal) { | |
1907 | ✗ | .ptr = v.ptr, | |
1908 | .reg = reg, | ||
1909 | ✗ | .limit = nval_if - nval, | |
1910 | }; | ||
1911 | ✗ | emit_maybe_stack(emit, instr, &mv); | |
1912 | } | ||
1913 | 5 | op2->m_val = emit_code_size(emit); | |
1914 | 5 | return ret; | |
1915 | } | ||
1916 | |||
1917 | 17 | ANN static m_bool emit_lambda(const Emitter emit, const Exp_Lambda *lambda) { | |
1918 | 17 | const EmitterStatus status = emit->status; | |
1919 | 17 | emit->status = (EmitterStatus){}; | |
1920 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 17 times.
|
17 | CHECK_BB(emit_func_def(emit, lambda->def)); |
1921 |
3/4✓ Branch 1 taken 3 times.
✓ Branch 2 taken 14 times.
✓ Branch 3 taken 3 times.
✗ Branch 4 not taken.
|
20 | if (vflag(lambda->def->base->func->value_ref, vflag_member) && |
1922 | 3 | !exp_getvar(exp_self(lambda))) | |
1923 | 3 | emit_add_instr(emit, RegPushMem); | |
1924 | 17 | emit_pushimm(emit, (m_uint)lambda->def->base->func->code); | |
1925 | 17 | emit->status = status; | |
1926 | 17 | return GW_OK; | |
1927 | } | ||
1928 | |||
1929 | 17 | ANN static m_bool emit_exp_lambda(const Emitter emit, | |
1930 | const Exp_Lambda *lambda) { | ||
1931 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 17 times.
|
17 | if (!lambda->def->base->func) { |
1932 | ✗ | exp_self(lambda)->type = emit->gwion->type[et_void]; | |
1933 | ✗ | return GW_OK; | |
1934 | } | ||
1935 | 17 | struct EnvSet es = {.env = emit->env, | |
1936 | .data = emit, | ||
1937 | .func = (_exp_func)emit_cdef, | ||
1938 | 17 | .scope = emit->env->scope->depth, | |
1939 | .flag = tflag_emit}; | ||
1940 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 17 times.
|
17 | CHECK_BB(envset_pushv(&es, lambda->def->base->func->value_ref)); |
1941 | 17 | const m_bool ret = emit_lambda(emit, lambda); | |
1942 | 17 | envset_pop(&es, lambda->owner); | |
1943 | 17 | return ret; | |
1944 | } | ||
1945 | |||
1946 | ✗ | ANN static m_bool emit_exp_td(const Emitter emit, Type_Decl *td) { | |
1947 | ✗ | const Type base = exp_self(td)->type; | |
1948 | ✗ | if(!is_func(emit->gwion, base)) | |
1949 | ✗ | emit_pushimm(emit, (m_uint)base); | |
1950 | else { | ||
1951 | ✗ | const Instr instr = emit_add_instr(emit, SetFunc); | |
1952 | ✗ | instr->m_val = (m_uint)base->info->func; | |
1953 | } | ||
1954 | ✗ | return GW_OK; | |
1955 | } | ||
1956 | |||
1957 | DECL_EXP_FUNC(emit, m_bool, Emitter) | ||
1958 | |||
1959 | 4572 | ANN2(1) /*static */ m_bool emit_exp(const Emitter emit, /* const */ Exp e) { | |
1960 | 4572 | Exp exp = e; | |
1961 | do { | ||
1962 |
1/4✗ Branch 0 not taken.
✓ Branch 1 taken 4657 times.
✗ Branch 2 not taken.
✗ Branch 3 not taken.
|
4657 | if (emit->info->debug && emit->status.line < e->pos.first.line) { |
1963 | ✗ | const Instr instr = emit_add_instr(emit, DebugLine); | |
1964 | ✗ | instr->m_val = emit->status.line = e->pos.first.line; | |
1965 | } | ||
1966 |
2/2✓ Branch 1 taken 6 times.
✓ Branch 2 taken 4651 times.
|
4657 | CHECK_BB(emit_exp_func[exp->exp_type](emit, &exp->d)); |
1967 |
3/4✓ Branch 0 taken 25 times.
✓ Branch 1 taken 4626 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 25 times.
|
4651 | if (exp->cast_to) CHECK_BB(emit_implicit_cast(emit, exp, exp->cast_to)); |
1968 |
2/2✓ Branch 0 taken 1232 times.
✓ Branch 1 taken 3419 times.
|
4651 | if (isa(e->type, emit->gwion->type[et_object]) > 0 && |
1969 |
3/4✓ Branch 0 taken 1 times.
✓ Branch 1 taken 1231 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 1 times.
|
1232 | (e->cast_to ? isa(e->cast_to, emit->gwion->type[et_object]) > 0 : 1) && |
1970 |
6/6✓ Branch 0 taken 183 times.
✓ Branch 1 taken 1048 times.
✓ Branch 2 taken 5 times.
✓ Branch 3 taken 178 times.
✓ Branch 4 taken 1 times.
✓ Branch 5 taken 4 times.
|
1236 | e->exp_type == ae_exp_decl && GET_FLAG(e->d.exp_decl.td, late) && |
1971 |
1/2✓ Branch 2 taken 1 times.
✗ Branch 3 not taken.
|
6 | exp_getuse(e) && !exp_getvar(e) && |
1972 |
1/2✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
|
1 | GET_FLAG(e->d.exp_decl.vd.value, late)) |
1973 | 1 | emit_fast_except(emit, e->d.exp_decl.vd.value->from, e->pos); | |
1974 |
2/2✓ Branch 0 taken 85 times.
✓ Branch 1 taken 4566 times.
|
4651 | } while ((exp = exp->next)); |
1975 | 4566 | return GW_OK; | |
1976 | } | ||
1977 | |||
1978 | ✗ | ANN static m_bool emit_if_const(const Emitter emit, const Stmt_If stmt) { | |
1979 | ✗ | if (stmt->cond->d.prim.d.num) return emit_stmt(emit, stmt->if_body); | |
1980 | ✗ | return stmt->else_body ? emit_stmt(emit, stmt->else_body) : GW_OK; | |
1981 | } | ||
1982 | |||
1983 | 32 | ANN static m_bool emit_if(const Emitter emit, const Stmt_If stmt) { | |
1984 |
2/2✓ Branch 0 taken 19 times.
✓ Branch 1 taken 13 times.
|
32 | if (stmt->cond->exp_type == ae_exp_primary && |
1985 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 19 times.
|
19 | stmt->cond->d.prim.prim_type == ae_prim_num) |
1986 | ✗ | return emit_if_const(emit, stmt); | |
1987 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 32 times.
|
32 | DECL_OB(const Instr, op, = emit_flow(emit, stmt->cond)); |
1988 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 32 times.
|
32 | CHECK_BB(scoped_stmt(emit, stmt->if_body)); |
1989 | 32 | const Instr op2 = emit_add_instr(emit, Goto); | |
1990 | 32 | op->m_val = emit_code_size(emit); | |
1991 |
3/4✓ Branch 0 taken 8 times.
✓ Branch 1 taken 24 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 8 times.
|
32 | if (stmt->else_body) CHECK_BB(scoped_stmt(emit, stmt->else_body)); |
1992 | 32 | op2->m_val = emit_code_size(emit); | |
1993 | 32 | return GW_OK; | |
1994 | } | ||
1995 | |||
1996 | 32 | ANN static m_bool emit_stmt_if(const Emitter emit, const Stmt_If stmt) { | |
1997 | 32 | emit_push_scope(emit); | |
1998 | 32 | const m_bool ret = emit_if(emit, stmt); | |
1999 | 32 | emit_pop_scope(emit); | |
2000 | 32 | return ret; | |
2001 | } | ||
2002 | |||
2003 | 134 | ANN static m_bool emit_stmt_code(const Emitter emit, const Stmt_Code stmt) { | |
2004 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 133 times.
|
134 | if(!stmt->stmt_list) return GW_OK; |
2005 | 133 | emit_push_scope(emit); | |
2006 | 133 | ++emit->env->scope->depth; | |
2007 | 133 | const m_bool ret = emit_stmt_list(emit, stmt->stmt_list); | |
2008 | 133 | emit_pop_scope(emit); | |
2009 | 133 | --emit->env->scope->depth; | |
2010 | 133 | return ret; | |
2011 | } | ||
2012 | |||
2013 | 2 | ANN static m_bool optimize_tail_call(const Emitter emit, const Exp_Call *e) { | |
2014 |
1/2✓ Branch 0 taken 2 times.
✗ Branch 1 not taken.
|
2 | if (e->args) { |
2015 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2 times.
|
2 | CHECK_BB(emit_func_args(emit, e)); |
2016 | 2 | const Func f = e->func->type->info->func; | |
2017 | 2 | emit_regmove(emit, -f->def->stack_depth); | |
2018 | 2 | emit_args(emit, f); | |
2019 | } | ||
2020 | 2 | emit_add_instr(emit, Goto); | |
2021 | 2 | return GW_OK; | |
2022 | } | ||
2023 | |||
2024 | 65 | ANN static m_bool emit_stmt_return(const Emitter emit, const Stmt_Exp stmt) { | |
2025 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 65 times.
|
65 | CHECK_BB(emit_defers2(emit)); |
2026 |
2/2✓ Branch 0 taken 63 times.
✓ Branch 1 taken 2 times.
|
65 | if (stmt->val) { |
2027 |
2/2✓ Branch 0 taken 9 times.
✓ Branch 1 taken 54 times.
|
63 | if (stmt->val->exp_type == ae_exp_call) { |
2028 | 9 | const Func f = stmt->val->d.exp_call.func->type->info->func; | |
2029 |
3/4✓ Branch 0 taken 9 times.
✗ Branch 1 not taken.
✓ Branch 2 taken 2 times.
✓ Branch 3 taken 7 times.
|
9 | if (stmt->val->exp_type == ae_exp_call && emit->env->func == f) |
2030 | 2 | return optimize_tail_call(emit, &stmt->val->d.exp_call); | |
2031 | } | ||
2032 | // if(!stmt->val->ref && tflag(stmt->val->type, tflag_compound)) | ||
2033 | // emit_local(emit, stmt->val->type); | ||
2034 | 61 | emit->status.in_return = true; | |
2035 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 61 times.
|
61 | CHECK_BB(emit_exp_pop_next(emit, stmt->val)); |
2036 | 61 | emit->status.in_return = false; | |
2037 | } | ||
2038 | 63 | vector_add(&emit->code->stack_return, (vtype)emit_add_instr(emit, Goto)); | |
2039 | 63 | return GW_OK; | |
2040 | } | ||
2041 | |||
2042 | 2 | ANN static inline m_bool emit_jump_index(const Emitter emit, const Vector v, | |
2043 | const m_int n) { | ||
2044 | 2 | vector_add(v, 0); // make room | |
2045 | 2 | const m_uint sz = vector_size(v); | |
2046 | 2 | m_int idx = 1; | |
2047 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 1 times.
|
3 | for (m_uint i = sz; --i > 1;) { |
2048 |
3/4✓ Branch 1 taken 2 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 1 times.
✓ Branch 4 taken 1 times.
|
2 | if (!vector_at(v, i) && ++idx == n) { |
2049 | 1 | m_uint *data = v->ptr + OFFSET + i; | |
2050 | 1 | memmove(data + 1, data, (sz - i) * SZ_INT); | |
2051 | 1 | const Instr instr = emit_add_instr(emit, Goto); | |
2052 | 1 | VPTR(v, i - 1) = (m_uint)instr; | |
2053 | 1 | return GW_OK; | |
2054 | } | ||
2055 | } | ||
2056 | 1 | return GW_ERROR; | |
2057 | } | ||
2058 | |||
2059 | 20 | ANN static inline m_bool emit_jump(const Emitter emit, const Stmt_Index stmt, | |
2060 | const Vector v) { | ||
2061 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 20 times.
|
20 | CHECK_BB(emit_defers2(emit)); |
2062 |
4/4✓ Branch 0 taken 4 times.
✓ Branch 1 taken 16 times.
✓ Branch 2 taken 1 times.
✓ Branch 3 taken 3 times.
|
20 | if (stmt->idx == -1 || stmt->idx == 1) |
2063 | 17 | vector_add(v, (vtype)emit_add_instr(emit, Goto)); | |
2064 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 1 times.
|
3 | else if (stmt->idx) { |
2065 |
2/2✓ Branch 1 taken 1 times.
✓ Branch 2 taken 1 times.
|
2 | if (emit_jump_index(emit, v, stmt->idx) < 0) |
2066 | 1 | ERR_B(stmt_self(stmt)->pos, _("too many jumps required.")) | |
2067 | } | ||
2068 | 19 | return GW_OK; | |
2069 | } | ||
2070 | |||
2071 | 8 | ANN static inline m_bool emit_stmt_continue(const Emitter emit, | |
2072 | const Stmt_Index stmt) { | ||
2073 | 8 | return emit_jump(emit, stmt, &emit->code->stack_cont); | |
2074 | } | ||
2075 | 12 | ANN static inline m_bool emit_stmt_break(const Emitter emit, | |
2076 | const Stmt_Index stmt NUSED) { | ||
2077 | 12 | return emit_jump(emit, stmt, &emit->code->stack_break); | |
2078 | } | ||
2079 | |||
2080 | 53 | ANN static inline void emit_push_stack(const Emitter emit) { | |
2081 | 53 | emit_push_scope(emit); | |
2082 | 53 | vector_add(&emit->code->stack_cont, (vtype)NULL); | |
2083 | 53 | vector_add(&emit->code->stack_break, (vtype)NULL); | |
2084 | 53 | } | |
2085 | |||
2086 | 106 | ANN static void set_pcs(const Vector v, const m_uint pc) { | |
2087 | m_uint i; | ||
2088 |
1/2✓ Branch 1 taken 124 times.
✗ Branch 2 not taken.
|
124 | for(i = vector_size(v) + 1; --i;) { |
2089 | 124 | Instr instr = (Instr)vector_at(v, i - 1); | |
2090 |
2/2✓ Branch 0 taken 106 times.
✓ Branch 1 taken 18 times.
|
124 | if(!instr) break; |
2091 | 18 | instr->m_val = pc; | |
2092 | } | ||
2093 | 106 | VLEN(v) = i - 1; | |
2094 | 106 | } | |
2095 | |||
2096 | 53 | ANN static void emit_pop_stack(const Emitter emit, const m_uint index) { | |
2097 | 53 | set_pcs(&emit->code->stack_cont, index); | |
2098 | 53 | set_pcs(&emit->code->stack_break, emit_code_size(emit)); | |
2099 | 53 | emit_pop_scope(emit); | |
2100 | 53 | } | |
2101 | |||
2102 | 1 | static INSTR(run_always) { | |
2103 | 1 | shreduler_remove(shred->tick->shreduler, shred, 0); | |
2104 | 1 | } | |
2105 | |||
2106 | 35 | ANN static m_bool _emit_stmt_flow(const Emitter emit, const Stmt_Flow stmt, | |
2107 | const m_uint index) { | ||
2108 | 35 | Instr op = NULL; | |
2109 | 35 | const bool is_while = stmt_self(stmt)->stmt_type == ae_stmt_while; | |
2110 |
2/2✓ Branch 0 taken 21 times.
✓ Branch 1 taken 14 times.
|
56 | const bool is_const = stmt->cond->exp_type == ae_exp_primary && |
2111 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 21 times.
|
21 | stmt->cond->d.prim.prim_type == ae_prim_num; |
2112 |
2/2✓ Branch 0 taken 21 times.
✓ Branch 1 taken 14 times.
|
35 | if (!stmt->is_do) { |
2113 |
1/2✓ Branch 0 taken 21 times.
✗ Branch 1 not taken.
|
21 | if (!is_const) { |
2114 |
4/4✓ Branch 0 taken 16 times.
✓ Branch 1 taken 5 times.
✓ Branch 2 taken 1 times.
✓ Branch 3 taken 15 times.
|
21 | if(is_while && !stmt->body->d.stmt_code.stmt_list && |
2115 |
1/2✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
|
1 | stmt->cond->d.prim.prim_type == ae_prim_id && |
2116 |
1/2✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
|
1 | !strcmp("true", s_name(stmt->cond->d.prim.d.var))) { |
2117 | 1 | (void)emit_add_instr(emit, run_always); | |
2118 | } | ||
2119 | 21 | op = _flow(emit, stmt->cond, NULL, is_while); | |
2120 | ✗ | } else if ((!is_while && stmt->cond->d.prim.d.num) || | |
2121 | ✗ | (is_while && !stmt->cond->d.prim.d.num)) | |
2122 | ✗ | return GW_OK; | |
2123 | } | ||
2124 |
2/2✓ Branch 1 taken 1 times.
✓ Branch 2 taken 34 times.
|
35 | CHECK_BB(scoped_stmt(emit, stmt->body)); |
2125 |
2/2✓ Branch 0 taken 14 times.
✓ Branch 1 taken 20 times.
|
34 | if (stmt->is_do) { |
2126 |
1/2✓ Branch 0 taken 14 times.
✗ Branch 1 not taken.
|
14 | if (!is_const) { |
2127 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 14 times.
|
14 | CHECK_OB((op = _flow(emit, stmt->cond, NULL, !is_while))); |
2128 | 14 | op->m_val = index; | |
2129 | ✗ | } else if ((is_while && stmt->cond->d.prim.d.num) || | |
2130 | ✗ | (!is_while && !stmt->cond->d.prim.d.num)) { | |
2131 | ✗ | const Instr goto_ = emit_add_instr(emit, Goto); | |
2132 | ✗ | goto_->m_val = index; | |
2133 | } | ||
2134 | } else { | ||
2135 | 20 | const Instr goto_ = emit_add_instr(emit, Goto); | |
2136 | 20 | goto_->m_val = index; | |
2137 |
1/2✓ Branch 0 taken 20 times.
✗ Branch 1 not taken.
|
20 | if (op) op->m_val = emit_code_size(emit); |
2138 | } | ||
2139 | 34 | return GW_OK; | |
2140 | } | ||
2141 | |||
2142 | 35 | ANN static m_bool emit_stmt_flow(const Emitter emit, const Stmt_Flow stmt) { | |
2143 | 35 | const m_uint index = emit_code_size(emit); | |
2144 | 35 | emit_push_stack(emit); | |
2145 | 35 | const m_bool ret = _emit_stmt_flow(emit, stmt, index); | |
2146 | 35 | emit_pop_stack(emit, index); | |
2147 | 35 | return ret; | |
2148 | } | ||
2149 | |||
2150 | 4 | ANN static m_bool _emit_stmt_for(const Emitter emit, const Stmt_For stmt, | |
2151 | m_uint *action_index) { | ||
2152 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_BB(emit_stmt(emit, stmt->c1)); |
2153 | 4 | const m_uint index = emit_code_size(emit); | |
2154 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | DECL_OB(const Instr, op, = emit_flow(emit, stmt->c2->d.stmt_exp.val)); |
2155 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_BB(scoped_stmt(emit, stmt->body)); |
2156 | 4 | *action_index = emit_code_size(emit); | |
2157 |
1/2✓ Branch 0 taken 4 times.
✗ Branch 1 not taken.
|
4 | if (stmt->c3) { |
2158 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 4 times.
|
4 | CHECK_BB(emit_exp(emit, stmt->c3)); |
2159 | 4 | pop_exp(emit, stmt->c3); | |
2160 | } | ||
2161 | 4 | const Instr _goto = emit_add_instr(emit, Goto); | |
2162 | 4 | _goto->m_val = index; | |
2163 | 4 | op->m_val = emit_code_size(emit); | |
2164 | 4 | return GW_OK; | |
2165 | } | ||
2166 | |||
2167 | 4 | ANN static m_bool emit_stmt_for(const Emitter emit, const Stmt_For stmt) { | |
2168 | 4 | emit_push_stack(emit); | |
2169 | 4 | m_uint action_index = 0; | |
2170 | 4 | const m_bool ret = _emit_stmt_for(emit, stmt, &action_index); | |
2171 | 4 | emit_pop_stack(emit, action_index); | |
2172 | 4 | return ret; | |
2173 | } | ||
2174 | |||
2175 | 7 | ANN static Instr each_op(const Emitter emit, const Looper *loop) { | |
2176 | 7 | struct Op_Import opi = { | |
2177 | 7 | .lhs = loop->exp->type, | |
2178 | 7 | .op = insert_symbol("@each"), | |
2179 | 7 | .data = (m_uint)loop | |
2180 | }; | ||
2181 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 7 times.
|
7 | CHECK_BO(op_emit(emit, &opi)); |
2182 | 7 | return loop->instr; | |
2183 | } | ||
2184 | |||
2185 | 13 | ANN static inline m_bool roll(const Emitter emit, Looper*const loop) { | |
2186 | 13 | const Instr instr = loop->roll(emit, loop); | |
2187 | // DECL_OB(const Instr, instr, = each_op(emit, loop)); // maybe check in check.c | ||
2188 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 13 times.
|
13 | CHECK_BB(scoped_stmt(emit, loop->stmt)); |
2189 | 13 | instr->m_val = emit_code_size(emit) + 1; // pass after goto | |
2190 | 13 | return GW_OK; | |
2191 | } | ||
2192 | |||
2193 | 1 | ANN static inline void unroll_init(const Emitter emit, const m_uint n) { | |
2194 | 1 | emit_memsetimm(emit, emit_local(emit, emit->gwion->type[et_int]), n); | |
2195 | 1 | } | |
2196 | |||
2197 | 2 | ANN static inline m_bool unroll_run(const Emitter emit, | |
2198 | struct Looper *loop) { | ||
2199 | 2 | const Instr instr = each_op(emit, loop); | |
2200 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 2 times.
|
2 | CHECK_BB(scoped_stmt(emit, loop->stmt)); |
2201 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 2 times.
|
2 | if(instr) |
2202 | ✗ | vector_add(&loop->unroll_v, (m_uint)instr); | |
2203 | 2 | return GW_OK; | |
2204 | } | ||
2205 | |||
2206 | 1 | ANN static m_bool _unroll(const Emitter emit, Looper *loop) { | |
2207 | 1 | scoped_ini(emit); | |
2208 | 1 | const Instr unroll = emit_add_instr(emit, Unroll); | |
2209 | 1 | unroll->m_val = loop->offset; | |
2210 | 1 | const m_uint start = emit_code_size(emit); | |
2211 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | CHECK_BB(unroll_run(emit, loop)); |
2212 | 1 | const m_uint end = emit_code_size(emit); | |
2213 |
3/4✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
✓ Branch 3 taken 1 times.
✓ Branch 4 taken 1 times.
|
2 | for (m_uint i = 1; i < loop->n; ++i) CHECK_BB(unroll_run(emit, loop)); |
2214 | 1 | unroll->m_val2 = end - start; | |
2215 | 1 | const Instr unroll2 = emit_add_instr(emit, VM_IN); | |
2216 | 1 | unroll2->m_val = (m_uint)unroll; | |
2217 | 1 | scoped_end(emit); | |
2218 | 1 | return GW_OK; | |
2219 | } | ||
2220 | |||
2221 | 1 | ANN static m_bool unroll(const Emitter emit, Looper *loop) { | |
2222 |
1/2✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
|
1 | if(loop->unroll) |
2223 | 1 | vector_init(&loop->unroll_v); | |
2224 | 1 | const m_bool ret = _unroll(emit, loop); | |
2225 |
1/2✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
|
1 | if(loop->unroll) { |
2226 |
2/2✓ Branch 1 taken 2 times.
✓ Branch 2 taken 1 times.
|
3 | for(m_uint i = 0; i < vector_size(&loop->unroll_v); i++) { |
2227 | 2 | const Instr instr = (Instr)vector_at(&loop->unroll_v, i); | |
2228 | 2 | instr->m_val = emit_code_size(emit) + 1; // + 2 for arrays | |
2229 | } | ||
2230 | 1 | vector_release(&loop->unroll_v); | |
2231 | } | ||
2232 | 1 | return ret; | |
2233 | } | ||
2234 | |||
2235 | 14 | ANN static inline m_bool looper_run(const Emitter emit, | |
2236 | Looper *const loop) { | ||
2237 |
2/2✓ Branch 0 taken 13 times.
✓ Branch 1 taken 1 times.
|
14 | return (!loop->n ? roll : unroll)(emit, loop); |
2238 | } | ||
2239 | |||
2240 | 6 | ANN static m_bool _emit_stmt_each(const Emitter emit, const Stmt_Each stmt, | |
2241 | m_uint *end_pc) { | ||
2242 | 6 | const uint n = emit->status.unroll; | |
2243 | 6 | const m_uint arr_offset = emit_local(emit, emit->gwion->type[et_int]); // array? | |
2244 | const m_uint key_offset = /*!stmt->idx | ||
2245 | 6 | ? */emit_local(emit, emit->gwion->type[et_int]) | |
2246 | /*: emit_local(emit, stmt->idx->v->type)*/; | ||
2247 | 6 | const m_uint val_offset = emit_localn(emit, stmt->v->type); // localn ? | |
2248 | 6 | emit_regtomem(emit, arr_offset, 0); | |
2249 | 6 | emit_memsetimm(emit, key_offset, -1); | |
2250 | 6 | stmt->v->from->offset = val_offset; | |
2251 | //value_addref(stmt->v); | ||
2252 | 6 | _nspc_add_value(emit->env->curr, stmt->sym, stmt->v); | |
2253 | 6 | emit_debug(emit, stmt->v); | |
2254 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 5 times.
|
6 | if (stmt->idx) { |
2255 | 1 | stmt->idx->v->from->offset = key_offset; | |
2256 | 1 | _nspc_add_value(emit->env->curr, stmt->idx->sym, stmt->idx->v); | |
2257 | //value_addref(stmt->idx->v); | ||
2258 | 1 | emit_debug(emit, stmt->idx->v); | |
2259 | } | ||
2260 | 6 | struct Looper loop = {.exp = stmt->exp, | |
2261 | 6 | .stmt = stmt->body, | |
2262 | .offset = arr_offset, | ||
2263 | .n = n, | ||
2264 | .roll = each_op, | ||
2265 | .unroll = each_op, | ||
2266 | 6 | .idx = stmt->idx, | |
2267 | .init = false | ||
2268 | }; | ||
2269 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 5 times.
|
6 | if (n) { |
2270 | 1 | loop.offset -= SZ_INT; | |
2271 | 1 | struct Op_Import opi = { | |
2272 | 1 | .lhs = loop.exp->type, | |
2273 | 1 | .op = insert_symbol("@each_init"), | |
2274 | 1 | .data = (m_uint)&loop | |
2275 | }; | ||
2276 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | CHECK_BB(op_emit(emit, &opi)); |
2277 | } | ||
2278 | 6 | const m_uint ini_pc = emit_code_size(emit); | |
2279 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 6 times.
|
6 | CHECK_BB(looper_run(emit, &loop)); |
2280 | 6 | *end_pc = emit_code_size(emit); | |
2281 | 6 | const Instr tgt = emit_add_instr(emit, Goto); | |
2282 | 6 | tgt->m_val = ini_pc; | |
2283 | 6 | return GW_OK; | |
2284 | } | ||
2285 | |||
2286 | 6 | ANN static m_bool emit_stmt_each(const Emitter emit, const Stmt_Each stmt) { | |
2287 | 6 | const uint n = emit->status.unroll; | |
2288 | 6 | nspc_push_value(emit->gwion->mp, emit->env->curr); | |
2289 | |||
2290 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 6 times.
|
6 | CHECK_BB(emit_exp(emit, stmt->exp)); // add ref? |
2291 | 6 | emit_regmove(emit, -SZ_INT); | |
2292 | |||
2293 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 5 times.
|
6 | if (n) { |
2294 | 1 | unroll_init(emit, n); | |
2295 | 1 | emit_local(emit, emit->gwion->type[et_int]); | |
2296 | } | ||
2297 | |||
2298 | 6 | emit_push_stack(emit); | |
2299 | 6 | m_uint end_pc = 0; | |
2300 | 6 | const m_bool ret = _emit_stmt_each(emit, stmt, &end_pc); | |
2301 | 6 | emit_pop_stack(emit, end_pc); | |
2302 | 6 | nspc_pop_value(emit->gwion->mp, emit->env->curr); | |
2303 | 6 | emit->status.unroll = 0; | |
2304 | 6 | return ret; | |
2305 | } | ||
2306 | |||
2307 | 7 | ANN static Instr stmt_loop_roll(const Emitter emit, const Looper *loop) { | |
2308 | 7 | const Instr eq = emit_add_instr(emit, Repeat); | |
2309 | 7 | eq->m_val2 = loop->offset; | |
2310 | 7 | return eq; | |
2311 | } | ||
2312 | |||
2313 | 1 | ANN static Instr stmt_loop_roll_idx(const Emitter emit, | |
2314 | const Looper *loop) { | ||
2315 | 1 | const Instr instr = emit_add_instr(emit, RepeatIdx); | |
2316 | 1 | instr->m_val2 = loop->offset; | |
2317 | 1 | return instr; | |
2318 | } | ||
2319 | |||
2320 | 8 | ANN static m_bool _emit_stmt_loop(const Emitter emit, const Stmt_Loop stmt, | |
2321 | m_uint *index) { | ||
2322 | 8 | const uint n = emit->status.unroll; | |
2323 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 8 times.
|
8 | if (n) { |
2324 | ✗ | unroll_init(emit, n); | |
2325 | ✗ | emit->status.unroll = 0; | |
2326 | } | ||
2327 | 8 | const m_uint offset = emit_local(emit, emit->gwion->type[et_int]); | |
2328 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 7 times.
|
8 | if (stmt->idx) { |
2329 | 1 | emit_memsetimm(emit, emit_local(emit, emit->gwion->type[et_int]), 0); | |
2330 | 1 | emit_memsetimm(emit, offset, -1); | |
2331 | 1 | stmt->idx->v->from->offset = offset; | |
2332 | } | ||
2333 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 8 times.
|
8 | CHECK_BB(emit_exp_pop_next(emit, stmt->cond)); |
2334 | 8 | emit_regmove(emit, -SZ_INT); | |
2335 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 7 times.
|
8 | emit_regtomem(emit, offset + !!stmt->idx * SZ_INT, 0); |
2336 | 8 | *index = emit_code_size(emit); | |
2337 | 8 | struct Looper loop = {.exp = stmt->cond, | |
2338 | 8 | .stmt = stmt->body, | |
2339 | .offset = offset, | ||
2340 | .n = n, | ||
2341 | .roll = | ||
2342 |
2/2✓ Branch 0 taken 7 times.
✓ Branch 1 taken 1 times.
|
8 | !stmt->idx ? stmt_loop_roll : stmt_loop_roll_idx}; |
2343 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 8 times.
|
8 | CHECK_BB(looper_run(emit, &loop)); |
2344 | 8 | const Instr _goto = emit_add_instr(emit, Goto); | |
2345 | 8 | _goto->m_val = *index; | |
2346 | 8 | return GW_OK; | |
2347 | } | ||
2348 | |||
2349 | 8 | ANN static m_bool emit_stmt_loop(const Emitter emit, const Stmt_Loop stmt) { | |
2350 | 8 | emit_push_stack(emit); | |
2351 | 8 | m_uint index = 0; | |
2352 | 8 | const m_bool ret = _emit_stmt_loop(emit, stmt, &index); | |
2353 | 8 | emit_pop_stack(emit, index); | |
2354 | 8 | return ret; | |
2355 | } | ||
2356 | |||
2357 | 13 | ANN static m_bool emit_type_def(const Emitter emit, const Type_Def tdef) { | |
2358 |
3/4✓ Branch 0 taken 2 times.
✓ Branch 1 taken 11 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 2 times.
|
13 | if (tdef->when_def) CHECK_BB(emit_func_def(emit, tdef->when_def)); |
2359 |
2/2✓ Branch 1 taken 6 times.
✓ Branch 2 taken 7 times.
|
13 | if (tflag(tdef->type, tflag_cdef)) |
2360 | 6 | return emit_class_def(emit, tdef->type->info->cdef); | |
2361 | 7 | return GW_OK; | |
2362 | } | ||
2363 | |||
2364 | 6 | ANN static m_bool emit_enum_def(const Emitter emit NUSED, const Enum_Def edef) { | |
2365 | LOOP_OPTIM | ||
2366 |
2/2✓ Branch 1 taken 16 times.
✓ Branch 2 taken 6 times.
|
22 | for (m_uint i = 0; i < vector_size(&edef->values); ++i) { |
2367 | 16 | const Value v = (Value)vector_at(&edef->values, i); | |
2368 | 16 | *(m_uint *)(v->from->owner->class_data + v->from->offset) = i; | |
2369 | } | ||
2370 | 6 | set_tflag(edef->type, tflag_emit); | |
2371 | 6 | return GW_OK; | |
2372 | } | ||
2373 | |||
2374 | 1 | ANN static m_bool emit_union_def(const Emitter emit NUSED, | |
2375 | const Union_Def udef) { | ||
2376 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | if (tmpl_base(udef->tmpl)) return GW_OK; |
2377 | 1 | set_tflag(udef->type, tflag_emit); | |
2378 | 1 | return GW_OK; | |
2379 | } | ||
2380 | |||
2381 | // add a Goto. later the index is set to the ont of the happy path | ||
2382 | // maybe this and the function above can use the same machinery as returns or | ||
2383 | // breaks | ||
2384 | 6 | ANN static inline void emit_try_goto(const restrict Emitter emit, | |
2385 | const Vector v) { | ||
2386 | 6 | const Instr instr = emit_add_instr(emit, Goto); | |
2387 | 6 | vector_add(v, (m_uint)instr); | |
2388 | 6 | } | |
2389 | |||
2390 | // set Goto indexes the one of the happy path | ||
2391 | 3 | ANN static inline void try_goto_indexes(const Vector v, const m_uint pc) { | |
2392 |
2/2✓ Branch 1 taken 6 times.
✓ Branch 2 taken 3 times.
|
9 | for (m_uint i = 0; i < vector_size(v); i++) { |
2393 | 6 | const Instr instr = (Instr)vector_at(v, i); | |
2394 | 6 | instr->m_val = pc; | |
2395 | } | ||
2396 | 3 | } | |
2397 | |||
2398 | 3 | ANN static inline m_bool emit_handler_list(const restrict Emitter emit, | |
2399 | const Handler_List handlers, | ||
2400 | const Vector v) { | ||
2401 | 3 | emit_push_scope(emit); | |
2402 | 3 | const m_uint offset = emit_local(emit, emit->gwion->type[et_int]); | |
2403 |
2/2✓ Branch 0 taken 3 times.
✓ Branch 1 taken 3 times.
|
6 | for(uint32_t i = 0; i < handlers->len; i++) { |
2404 | 3 | Handler *handler = mp_vector_at(handlers, Handler, i); | |
2405 | 3 | const Instr instr = emit_add_instr(emit, HandleEffect); | |
2406 | 3 | instr->m_val = emit->status.effect = offset; | |
2407 | 3 | instr->m_val2 = (m_uint)handler->xid; | |
2408 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 3 times.
|
3 | CHECK_BB(scoped_stmt(emit, handler->stmt)); |
2409 | 3 | emit_try_goto(emit, v); | |
2410 | 3 | instr->m_val = emit_code_size(emit); | |
2411 | } | ||
2412 | // emit->status.effect = 0; | ||
2413 | 3 | emit_pop_scope(emit); | |
2414 | 3 | return GW_OK; | |
2415 | } | ||
2416 | |||
2417 | 3 | ANN static inline m_bool emit_stmt_try(const restrict Emitter emit, | |
2418 | const Stmt_Try stmt) { | ||
2419 | 3 | const m_uint top = emit->code->frame->try_top; | |
2420 | 3 | emit->code->frame->try_top = emit_code_size(emit); | |
2421 | 3 | (void)emit_add_instr(emit, TryIni); | |
2422 | struct Vector_ v; // store Gotos to the happy path | ||
2423 | 3 | vector_init(&v); | |
2424 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 3 times.
|
3 | CHECK_BB(scoped_stmt(emit, stmt->stmt)); |
2425 | 3 | emit_try_goto(emit, &v); | |
2426 |
1/2✓ Branch 0 taken 3 times.
✗ Branch 1 not taken.
|
3 | if (!emit->code->frame->handlers.ptr) map_init(&emit->code->frame->handlers); |
2427 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 3 times.
|
3 | CHECK_BB(emit_handler_list(emit, stmt->handler, &v)); |
2428 | 3 | try_goto_indexes(&v, emit_code_size(emit)); | |
2429 | 3 | vector_release(&v); | |
2430 | 3 | emit->code->frame->try_top = top; | |
2431 | 3 | (void)emit_add_instr(emit, TryEnd); | |
2432 | 3 | return GW_OK; | |
2433 | } | ||
2434 | |||
2435 | 1576 | ANN static m_bool emit_stmt_exp(const Emitter emit, | |
2436 | const struct Stmt_Exp_ *exp) { | ||
2437 |
2/2✓ Branch 0 taken 1567 times.
✓ Branch 1 taken 9 times.
|
1576 | return exp->val ? emit_exp(emit, exp->val) : GW_OK; |
2438 | } | ||
2439 | |||
2440 | 8 | ANN static m_bool emit_case_head(const Emitter emit, const Exp base, | |
2441 | const Exp e, const Symbol op, const Vector v) { | ||
2442 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 8 times.
|
8 | CHECK_BB(emit_exp1(emit, base)); |
2443 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 8 times.
|
8 | CHECK_BB(emit_exp1(emit, e)); |
2444 | 8 | const Exp_Binary bin = {.lhs = base, .rhs = e, .op = op}; | |
2445 | 8 | struct Exp_ ebin = { .d = {.exp_binary = bin}, .exp_type = ae_exp_binary, .pos = e->pos }; | |
2446 | 8 | struct Op_Import opi = {.op = op, | |
2447 | 8 | .lhs = base->type, | |
2448 | 8 | .rhs = e->type, | |
2449 | 8 | .data = (uintptr_t)&ebin.d.exp_binary, | |
2450 | .pos = e->pos}; | ||
2451 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 8 times.
|
8 | CHECK_BB(op_emit(emit, &opi)); |
2452 | 8 | const Instr instr = emit_add_instr(emit, BranchEqInt); | |
2453 | 8 | vector_add(v, (vtype)instr); | |
2454 | 8 | return GW_OK; | |
2455 | } | ||
2456 | |||
2457 | 10 | ANN static m_bool emit_case_body(const Emitter emit, | |
2458 | const struct Stmt_Match_ *stmt) { | ||
2459 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 8 times.
|
10 | const Instr when = stmt->when ? emit_flow(emit, stmt->when) : NULL; |
2460 |
3/4✓ Branch 0 taken 2 times.
✓ Branch 1 taken 8 times.
✗ Branch 2 not taken.
✓ Branch 3 taken 2 times.
|
10 | if (stmt->when) CHECK_OB(when); |
2461 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 10 times.
|
10 | CHECK_BB(emit_stmt_list(emit, stmt->list)); |
2462 | 10 | const Instr instr = emit_add_instr(emit, Goto); | |
2463 | 10 | vector_add(&emit->env->scope->match->vec, (vtype)instr); | |
2464 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 8 times.
|
10 | if (when) when->m_val = emit_code_size(emit); |
2465 | 10 | return GW_OK; | |
2466 | } | ||
2467 | |||
2468 | 1 | ANN static m_bool case_value(const Emitter emit, const Exp base, const Exp e) { | |
2469 | 1 | const Value v = e->d.prim.value; | |
2470 | 1 | v->from->offset = emit_local(emit, base->type); | |
2471 | 1 | emit_regtomem4(emit, v->from->offset, base->type->size); | |
2472 | 1 | return GW_OK; | |
2473 | } | ||
2474 | |||
2475 | ANN Symbol case_basic_op(const Env env, const Type base, const Exp e); | ||
2476 | #define CASE_PASS (Symbol)1 | ||
2477 | 10 | ANN static Symbol case_op(const Emitter emit, const Exp base, const Exp e, | |
2478 | const Vector vec, const uint n) { | ||
2479 |
1/2✓ Branch 0 taken 10 times.
✗ Branch 1 not taken.
|
10 | if (e->exp_type == ae_exp_primary) { |
2480 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 8 times.
|
10 | if (e->d.prim.prim_type == ae_prim_id) { |
2481 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 1 times.
|
2 | if (e->d.prim.d.var == insert_symbol("_")) return CASE_PASS; |
2482 |
1/2✓ Branch 1 taken 1 times.
✗ Branch 2 not taken.
|
1 | if (!nspc_lookup_value1(emit->env->curr, e->d.prim.d.var)) { |
2483 |
1/2✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
|
1 | if (!n) { |
2484 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | CHECK_BO(emit_exp(emit, base)); |
2485 | 1 | emit_regmove(emit, -base->type->size); | |
2486 | } | ||
2487 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | CHECK_BO(case_value(emit, base, e)); |
2488 | 1 | return CASE_PASS; | |
2489 | } | ||
2490 | } | ||
2491 | ✗ | } else if (isa(base->type, emit->gwion->type[et_union]) > 0 && | |
2492 | ✗ | e->exp_type == ae_exp_call) { | |
2493 | ✗ | const Exp func = e->d.exp_call.func; | |
2494 | ✗ | if (func->d.prim.prim_type == ae_prim_id) { | |
2495 | ✗ | const Map map = &base->type->nspc->info->value->map; | |
2496 | ✗ | for (m_uint i = 0; i < map_size(map); ++i) { | |
2497 | ✗ | if (VKEY(map, i) == (m_uint)func->d.prim.d.var) { | |
2498 | ✗ | const Value v = (Value)VVAL(map, i); | |
2499 | ✗ | if (v) { | |
2500 | ✗ | if (!n) | |
2501 | ✗ | CHECK_BO(emit_exp(emit, base)); | |
2502 | else | ||
2503 | ✗ | emit_regmove(emit, SZ_INT); | |
2504 | ✗ | const Instr check = emit_add_instr(emit, UnionCheck); | |
2505 | ✗ | check->m_val2 = i; | |
2506 | ✗ | vector_add(vec, (m_uint)check); | |
2507 | ✗ | emit_unionmember(emit, i, v->type->size, false); | |
2508 | ✗ | emit_regmove(emit, -v->type->size); | |
2509 | ✗ | case_op(emit, e->d.exp_call.args, e->d.exp_call.args, vec, i + 1); | |
2510 | ✗ | return CASE_PASS; | |
2511 | } | ||
2512 | } | ||
2513 | } | ||
2514 | } | ||
2515 | } | ||
2516 |
1/2✓ Branch 0 taken 8 times.
✗ Branch 1 not taken.
|
8 | if (!n) return case_basic_op(emit->env, base->type, e); |
2517 | ✗ | emit_regmove(emit, SZ_INT); | |
2518 | ✗ | CHECK_BO(emit_exp(emit, e)); | |
2519 | ✗ | const Exp_Binary bin = {.lhs = base, .rhs = e, .op = insert_symbol("?=")}; | |
2520 | ✗ | struct Exp_ ebin = {.d = {.exp_binary = bin}, .pos = e->pos }; | |
2521 | ✗ | struct Op_Import opi = {.op = insert_symbol("?="), | |
2522 | ✗ | .lhs = base->type, | |
2523 | ✗ | .rhs = e->type, | |
2524 | ✗ | .data = (uintptr_t)&ebin.d.exp_binary, | |
2525 | .pos = e->pos}; | ||
2526 | ✗ | CHECK_BO(op_emit(emit, &opi)); | |
2527 | ✗ | const Instr instr = emit_add_instr(emit, BranchEqInt); | |
2528 | ✗ | vector_add(vec, (vtype)instr); | |
2529 | ✗ | return CASE_PASS; | |
2530 | } | ||
2531 | |||
2532 | 10 | ANN static m_bool _emit_stmt_match_case(const Emitter emit, | |
2533 | const struct Stmt_Match_ *stmt, | ||
2534 | const Vector v) { | ||
2535 | 10 | Exp e = stmt->cond; | |
2536 | 10 | const Vector cond = &emit->env->scope->match->cond; | |
2537 |
3/4✓ Branch 1 taken 10 times.
✓ Branch 2 taken 10 times.
✓ Branch 3 taken 10 times.
✗ Branch 4 not taken.
|
20 | for (m_uint i = 0; i < vector_size(cond) && e; e = e->next, ++i) { |
2538 | 10 | const Exp base = (Exp)vector_at(cond, i); | |
2539 | 10 | const Symbol op = case_op(emit, base, e, v, 0); | |
2540 |
3/4✓ Branch 0 taken 8 times.
✓ Branch 1 taken 2 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 8 times.
|
10 | if (op != CASE_PASS) CHECK_BB(emit_case_head(emit, base, e, op, v)); |
2541 | } | ||
2542 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 10 times.
|
10 | CHECK_BB(emit_case_body(emit, stmt)); |
2543 | 10 | return GW_OK; | |
2544 | } | ||
2545 | |||
2546 | 10 | ANN static m_bool emit_stmt_match_case(const Emitter emit, | |
2547 | const struct Stmt_Match_ *stmt) { | ||
2548 | 10 | emit_push_scope(emit); | |
2549 | struct Vector_ v; | ||
2550 | 10 | vector_init(&v); | |
2551 | 10 | const m_bool ret = _emit_stmt_match_case(emit, stmt, &v); | |
2552 | 10 | emit_pop_scope(emit); | |
2553 |
2/2✓ Branch 1 taken 8 times.
✓ Branch 2 taken 10 times.
|
18 | for (m_uint i = 0; i < vector_size(&v); ++i) { |
2554 | 8 | const Instr instr = (Instr)vector_at(&v, i); | |
2555 | 8 | instr->m_val = emit_code_size(emit); | |
2556 | } | ||
2557 | 10 | vector_release(&v); | |
2558 | 10 | return ret; | |
2559 | } | ||
2560 | |||
2561 | 6 | ANN static inline void match_unvec(struct Match_ *const match, | |
2562 | const m_uint pc) { | ||
2563 | 6 | const Vector vec = &match->vec; | |
2564 |
2/2✓ Branch 1 taken 10 times.
✓ Branch 2 taken 6 times.
|
16 | for (m_uint i = 0; i < vector_size(vec); ++i) { |
2565 | 10 | const Instr instr = (Instr)VPTR(vec, i); | |
2566 | 10 | instr->m_val = pc; | |
2567 | } | ||
2568 | 6 | vector_release(vec); | |
2569 | 6 | } | |
2570 | |||
2571 | 6 | ANN static m_bool emit_stmt_cases(const Emitter emit, Stmt_List list) { | |
2572 |
2/2✓ Branch 0 taken 10 times.
✓ Branch 1 taken 6 times.
|
16 | for(m_uint i = 0; i < list->len; i++) { |
2573 | 10 | const Stmt stmt = mp_vector_at(list, struct Stmt_, i); | |
2574 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 10 times.
|
10 | CHECK_BB(emit_stmt_match_case(emit, &stmt->d.stmt_match)); |
2575 | } | ||
2576 | 6 | return GW_OK; | |
2577 | } | ||
2578 | |||
2579 | 6 | ANN static m_bool emit_match(const Emitter emit, | |
2580 | const struct Stmt_Match_ *stmt) { | ||
2581 |
3/4✓ Branch 0 taken 1 times.
✓ Branch 1 taken 5 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 1 times.
|
6 | if (stmt->where) CHECK_BB(emit_stmt(emit, stmt->where)); |
2582 | 6 | MATCH_INI(emit->env->scope) | |
2583 | 6 | vector_init(&m.vec); | |
2584 | 6 | const m_bool ret = emit_stmt_cases(emit, stmt->list); | |
2585 | 6 | match_unvec(&m, emit_code_size(emit)); | |
2586 | 6 | MATCH_END(emit->env->scope) | |
2587 | 6 | return ret; | |
2588 | } | ||
2589 | |||
2590 | 6 | ANN static m_bool emit_stmt_match(const Emitter emit, | |
2591 | const struct Stmt_Match_ *stmt) { | ||
2592 | 6 | emit_push_scope(emit); | |
2593 | 6 | const m_bool ret = emit_match(emit, stmt); | |
2594 | 6 | emit_pop_scope(emit); | |
2595 | 6 | return ret; | |
2596 | } | ||
2597 | |||
2598 | 6 | ANN static m_bool emit_stmt_pp(const Emitter emit, | |
2599 | const struct Stmt_PP_ *stmt) { | ||
2600 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 4 times.
|
6 | if (stmt->pp_type == ae_pp_include) |
2601 | 2 | emit->env->name = stmt->data; | |
2602 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 2 times.
|
4 | else if (stmt->pp_type == ae_pp_locale) |
2603 | 2 | emit->locale = stmt->exp->d.exp_lambda.def->base->func; | |
2604 |
1/2✓ Branch 0 taken 2 times.
✗ Branch 1 not taken.
|
2 | else if (stmt->pp_type == ae_pp_pragma) { |
2605 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 1 times.
|
2 | if (!strncmp(stmt->data, "unroll", strlen("unroll"))) |
2606 | 1 | emit->status.unroll = strtol(stmt->data + 6, NULL, 10); | |
2607 | } | ||
2608 | 6 | return GW_OK; | |
2609 | } | ||
2610 | |||
2611 | ✗ | ANN static m_bool emit_stmt_defer(const Emitter emit, | |
2612 | const struct Stmt_Defer_ *stmt) { | ||
2613 | ✗ | vector_add(&emit->code->frame->defer, (m_uint)stmt->stmt); | |
2614 | ✗ | return GW_OK; | |
2615 | } | ||
2616 | |||
2617 | 1 | ANN static m_bool emit_stmt_retry(const Emitter emit, | |
2618 | const struct Stmt_Index_ *stmt NUSED) { | ||
2619 | 1 | const Instr instr = emit_add_instr(emit, Goto); | |
2620 | 1 | instr->m_val = emit->code->frame->try_top + 1; | |
2621 | 1 | return GW_OK; | |
2622 | } | ||
2623 | |||
2624 | #define emit_stmt_while emit_stmt_flow | ||
2625 | #define emit_stmt_until emit_stmt_flow | ||
2626 | #define emit_stmt_spread dummy_func | ||
2627 | |||
2628 | DECL_STMT_FUNC(emit, m_bool, Emitter); | ||
2629 | |||
2630 | 1896 | ANN static m_bool emit_stmt(const Emitter emit, const Stmt stmt) { | |
2631 |
2/2✓ Branch 1 taken 7 times.
✓ Branch 2 taken 1889 times.
|
1896 | CHECK_BB(emit_stmt_func[stmt->stmt_type](emit, &stmt->d)); |
2632 |
4/4✓ Branch 0 taken 1572 times.
✓ Branch 1 taken 317 times.
✓ Branch 2 taken 1563 times.
✓ Branch 3 taken 9 times.
|
1889 | if (stmt->stmt_type == ae_stmt_exp && stmt->d.stmt_exp.val) |
2633 | 1563 | pop_exp(emit, stmt->d.stmt_exp.val); | |
2634 | 1889 | return GW_OK; | |
2635 | } | ||
2636 | |||
2637 | 853 | ANN static m_bool emit_stmt_list(const Emitter emit, Stmt_List l) { | |
2638 |
2/2✓ Branch 0 taken 1791 times.
✓ Branch 1 taken 847 times.
|
2638 | for(m_uint i = 0; i < l->len; i++) { |
2639 | 1791 | const Stmt stmt = mp_vector_at(l, struct Stmt_, i); | |
2640 |
2/2✓ Branch 1 taken 6 times.
✓ Branch 2 taken 1785 times.
|
1791 | CHECK_BB(emit_stmt(emit, stmt)); |
2641 | } | ||
2642 | 847 | return GW_OK; | |
2643 | } | ||
2644 | |||
2645 | 399 | ANN static m_bool emit_exp_dot(const Emitter emit, const Exp_Dot *member) { | |
2646 | 1197 | struct Op_Import opi = {.op = insert_symbol("."), | |
2647 | 399 | .lhs = member->base->type, | |
2648 | 399 | .rhs = exp_self(member)->type, | |
2649 | 399 | .data = (uintptr_t)member, | |
2650 | 399 | .pos = exp_self(member)->pos}; | |
2651 | 399 | return op_emit(emit, &opi); | |
2652 | } | ||
2653 | |||
2654 | 348 | ANN static inline void emit_func_def_init(const Emitter emit, const Func func) { | |
2655 | 348 | emit_push_code(emit, func->name); | |
2656 |
2/2✓ Branch 1 taken 5 times.
✓ Branch 2 taken 343 times.
|
348 | if(mp_vector_len(func->_wait)) { |
2657 | 5 | const Instr instr = emit_add_instr(emit, FuncWait); | |
2658 | 5 | instr->m_val = (m_uint) func; | |
2659 | } | ||
2660 | 348 | } | |
2661 | |||
2662 | 125 | ANN static void emit_func_def_args(const Emitter emit, Arg_List args) { | |
2663 |
2/2✓ Branch 0 taken 172 times.
✓ Branch 1 taken 125 times.
|
297 | for(uint32_t i = 0; i < args->len; i++) { |
2664 | 172 | Arg *arg = mp_vector_at(args, Arg, i); | |
2665 | 172 | const Type type = arg->var_decl.value->type; | |
2666 | 172 | emit->code->stack_depth += type->size; | |
2667 | 172 | arg->var_decl.value->from->offset = emit_localn(emit, type); | |
2668 | 172 | emit_debug(emit, arg->var_decl.value); | |
2669 | 172 | _nspc_add_value(emit->env->curr, insert_symbol(arg->var_decl.value->name), arg->var_decl.value); | |
2670 | } | ||
2671 | 125 | } | |
2672 | |||
2673 | 347 | ANN static m_bool emit_func_def_return(const Emitter emit) { | |
2674 | 347 | const m_uint val = emit_code_size(emit); | |
2675 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 347 times.
|
347 | CHECK_BB(emit_defers(emit)); |
2676 | 347 | emit_return_pc(emit, val); | |
2677 | 347 | vector_clear(&emit->code->stack_return); | |
2678 | 347 | const Func f = emit->env->func; | |
2679 |
3/4✓ Branch 0 taken 1 times.
✓ Branch 1 taken 346 times.
✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
|
347 | if (f->memoize && fflag(f, fflag_pure)) { |
2680 | 1 | const Instr instr = emit_add_instr(emit, MemoizeStore); | |
2681 | 1 | instr->m_val = f->def->stack_depth; | |
2682 | } | ||
2683 | 347 | return GW_OK; | |
2684 | } | ||
2685 | |||
2686 | 7 | ANN static VM_Code emit_internal(const Emitter emit, const Func f) { | |
2687 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 5 times.
|
7 | if (f->def->base->xid == insert_symbol("@dtor")) |
2688 | 2 | return emit->env->class_def->nspc->dtor = finalyze(emit, DTOR_EOC); | |
2689 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 3 times.
|
5 | else if (f->def->base->xid == insert_symbol("@gack")) { |
2690 | 2 | emit_regmove(emit, -SZ_INT - f->value_ref->from->owner_class->size); | |
2691 | 2 | const Instr instr = emit_add_instr(emit, RegPushMem); | |
2692 | 2 | instr->m_val = SZ_INT; | |
2693 | 2 | f->code = finalyze(emit, FuncReturn); | |
2694 | 2 | return emit->env->class_def->info->gack = f->code; | |
2695 | } | ||
2696 | 3 | return finalyze(emit, FuncReturn); | |
2697 | } | ||
2698 | |||
2699 | 347 | ANN static inline VM_Code _emit_func_def_code(const Emitter emit, | |
2700 | const Func func) { | ||
2701 |
2/2✓ Branch 0 taken 15 times.
✓ Branch 1 taken 332 times.
|
347 | if(is_new(func->def)) { |
2702 | 15 | const Type t = func->value_ref->from->owner_class; | |
2703 |
2/2✓ Branch 1 taken 7 times.
✓ Branch 2 taken 8 times.
|
15 | if(!tflag(t, tflag_struct)) |
2704 | 7 | emit_add_instr(emit, RegPushMem); | |
2705 | else { | ||
2706 | 8 | const Instr instr = emit_add_instr(emit, RegPushMemDeref); | |
2707 | 8 | instr->m_val2 = t->size; | |
2708 | } | ||
2709 | } | ||
2710 | 687 | const VM_Code code = !fbflag(func->def->base, fbflag_internal) ? finalyze(emit, FuncReturn) | |
2711 |
2/2✓ Branch 0 taken 340 times.
✓ Branch 1 taken 7 times.
|
347 | : emit_internal(emit, func); |
2712 | 347 | return code; | |
2713 | } | ||
2714 | |||
2715 | 347 | ANN static VM_Code emit_func_def_code(const Emitter emit, const Func func) { | |
2716 | 347 | const VM_Code code = _emit_func_def_code(emit, func); | |
2717 |
3/4✓ Branch 0 taken 1 times.
✓ Branch 1 taken 346 times.
✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
|
347 | if (func->memoize && fflag(func, fflag_pure)) code->is_memoize = true; |
2718 | 347 | code->ret_type = func->def->base->ret_type; | |
2719 | 347 | return code; | |
2720 | } | ||
2721 | |||
2722 | 348 | ANN static m_bool emit_func_def_body(const Emitter emit, const Func_Def fdef) { | |
2723 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 346 times.
|
348 | if (fdef->base->xid == insert_symbol("@dtor")) emit_local(emit, emit->gwion->type[et_int]); |
2724 |
2/2✓ Branch 0 taken 125 times.
✓ Branch 1 taken 223 times.
|
348 | if (fdef->base->args) emit_func_def_args(emit, fdef->base->args); |
2725 |
2/2✓ Branch 0 taken 344 times.
✓ Branch 1 taken 4 times.
|
348 | if (fdef->d.code) { |
2726 |
1/2✓ Branch 0 taken 344 times.
✗ Branch 1 not taken.
|
344 | if(!fdef->builtin) { |
2727 | 344 | const bool ctor = is_ctor(fdef); | |
2728 |
2/2✓ Branch 0 taken 213 times.
✓ Branch 1 taken 131 times.
|
344 | if(!ctor) |
2729 | 213 | scoped_ini(emit); | |
2730 | 344 | const m_bool ret = emit_stmt_list(emit, fdef->d.code); | |
2731 |
2/2✓ Branch 0 taken 213 times.
✓ Branch 1 taken 131 times.
|
344 | if(!ctor) |
2732 | 213 | scoped_end(emit); | |
2733 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 343 times.
|
344 | CHECK_BB(ret); |
2734 | } | ||
2735 | ✗ | else fdef->base->func->code = (VM_Code)vector_at(&fdef->base->func->value_ref->from->owner_class->nspc->vtable, fdef->vt_index); | |
2736 | } | ||
2737 | 347 | emit_func_def_return(emit); | |
2738 | 347 | return GW_OK; | |
2739 | } | ||
2740 | |||
2741 | 1 | ANN static Instr me_top(MemoizeEmitter *me) { | |
2742 | 1 | emit_memsetimm(me->emit, me->offset, 0); // idx | |
2743 | 1 | return emit_memsetimm(me->emit, me->offset + SZ_INT, 0); // pc | |
2744 | } | ||
2745 | |||
2746 | 1 | ANN static void me_ini(MemoizeEmitter *me) { | |
2747 | 1 | const Instr ini = emit_add_instr(me->emit, MemoizeIni); | |
2748 | 1 | ini->m_val = me->offset; | |
2749 | 1 | ini->m_val2 = me->fdef->stack_depth + me->fdef->base->ret_type->size; | |
2750 | 1 | } | |
2751 | |||
2752 | 1 | ANN static void me_end(MemoizeEmitter *me, const m_uint pc) { | |
2753 |
2/2✓ Branch 1 taken 1 times.
✓ Branch 2 taken 1 times.
|
2 | for (m_uint i = 0; i < vector_size(&me->branch); ++i) |
2754 | 1 | ((Instr)vector_at(&me->branch, i))->m_val = pc; | |
2755 | 1 | } | |
2756 | |||
2757 | 1 | ANN static void me_bottom(MemoizeEmitter *me, const m_uint pc) { | |
2758 | 1 | emit_regpushmem4(me->emit, me->offset, 0); | |
2759 | 1 | emit_add_instr(me->emit, int_pre_inc); | |
2760 | 1 | emit_regmove(me->emit, -SZ_INT); | |
2761 | 1 | const Instr loop = emit_add_instr(me->emit, Goto); | |
2762 | 1 | loop->m_val = pc; | |
2763 | 1 | } | |
2764 | |||
2765 | 1 | ANN static void me_ret(MemoizeEmitter *me) { | |
2766 | 1 | emit_regpushmem(me->emit, (me->offset + SZ_INT) * 2, me->fdef->base->ret_type->size, false); | |
2767 | 1 | vector_add(&me->emit->code->stack_return, (vtype)emit_add_instr(me->emit, Goto)); | |
2768 | 1 | } | |
2769 | |||
2770 | 1 | ANN static m_bool me_run(MemoizeEmitter *me, const m_uint pc) { | |
2771 | 1 | me_ini(me); | |
2772 |
2/4✓ Branch 0 taken 1 times.
✗ Branch 1 not taken.
✗ Branch 3 not taken.
✓ Branch 4 taken 1 times.
|
1 | if (me->fdef->base->args) CHECK_BB(me_arg(me)); |
2773 | 1 | me_ret(me); | |
2774 | 1 | me_end(me, emit_code_size(me->emit)); | |
2775 | 1 | me_bottom(me, pc); | |
2776 | 1 | return GW_OK; | |
2777 | } | ||
2778 | |||
2779 | 1 | ANN static m_bool emit_memoize(const Emitter emit, const Func_Def fdef) { | |
2780 | 1 | MemoizeEmitter me = {.emit = emit, .fdef = fdef, .offset = fdef->stack_depth}; | |
2781 | 1 | const Instr pc = me_top(&me); | |
2782 | 1 | const m_uint top = emit_code_size(emit); | |
2783 | 1 | vector_init(&me.branch); | |
2784 | 1 | const m_bool ret = me_run(&me, top); | |
2785 | 1 | vector_release(&me.branch); | |
2786 | 1 | pc->m_val2 = emit_code_size(emit); | |
2787 | 1 | return ret; | |
2788 | } | ||
2789 | |||
2790 | 348 | ANN static m_bool emit_fdef(const Emitter emit, const Func_Def fdef) { | |
2791 | 348 | const Func f = fdef->base->func; | |
2792 |
3/4✓ Branch 0 taken 1 times.
✓ Branch 1 taken 347 times.
✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
|
348 | if (f->memoize && fflag(f, fflag_pure)) |
2793 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | CHECK_BB(emit_memoize(emit, fdef)); |
2794 | 348 | nspc_push_value(emit->gwion->mp, emit->env->curr); // handle | |
2795 | 348 | const m_bool ret = emit_func_def_body(emit, fdef); | |
2796 | 348 | nspc_pop_value(emit->gwion->mp, emit->env->curr); // handle | |
2797 | 348 | return ret; | |
2798 | } | ||
2799 | |||
2800 | 347 | ANN static void emit_fdef_finish(const Emitter emit, const Func_Def fdef) { | |
2801 | 347 | const Func func = fdef->base->func; | |
2802 | 347 | func->code = emit_func_def_code(emit, func); | |
2803 |
3/4✓ Branch 0 taken 1 times.
✓ Branch 1 taken 346 times.
✓ Branch 3 taken 1 times.
✗ Branch 4 not taken.
|
347 | if (func->memoize && fflag(func, fflag_pure)) |
2804 | 1 | func->code->memoize = memoize_ini(emit, func); | |
2805 | 347 | } | |
2806 | |||
2807 | ✗ | ANN static inline Capture* get_capture(const Emitter emit, const Capture_List captures, const uint32_t i) { | |
2808 | ✗ | Capture *const cap = mp_vector_at(captures, Capture, i); | |
2809 | ✗ | emit_localn(emit, cap->temp->type); | |
2810 | ✗ | return cap; | |
2811 | } | ||
2812 | |||
2813 | ✗ | ANN static void emit_lambda_capture(const Emitter emit, const Func_Def fdef) { | |
2814 | ✗ | for(uint32_t i = 0; i < fdef->captures->len - 1; i++) | |
2815 | ✗ | (void)get_capture(emit, fdef->captures, i); | |
2816 | ✗ | const Capture *cap = get_capture(emit, fdef->captures, fdef->captures->len - 1); | |
2817 | ✗ | const m_uint offset = cap->temp->from->offset + cap->temp->type->size - fdef->stack_depth; | |
2818 | ✗ | emit_regtomem4(emit, fdef->stack_depth, offset); | |
2819 | } | ||
2820 | |||
2821 | 384 | ANN static m_bool _emit_func_def(const Emitter emit, const Func_Def f) { | |
2822 |
4/4✓ Branch 1 taken 27 times.
✓ Branch 2 taken 357 times.
✓ Branch 4 taken 1 times.
✓ Branch 5 taken 26 times.
|
384 | if (tmpl_base(f->base->tmpl) && fbflag(f->base, fbflag_op)) return GW_OK; |
2823 | 383 | const Func func = f->base->func; | |
2824 | 383 | const Func_Def fdef = func->def; | |
2825 | 383 | const Func former = emit->env->func; | |
2826 |
6/6✓ Branch 0 taken 377 times.
✓ Branch 1 taken 6 times.
✓ Branch 3 taken 351 times.
✓ Branch 4 taken 26 times.
✓ Branch 6 taken 1 times.
✓ Branch 7 taken 350 times.
|
383 | if (func->code || tmpl_base(fdef->base->tmpl) || fflag(func, fflag_emit)) |
2827 | 33 | return GW_OK; | |
2828 | 350 | set_fflag(func, fflag_emit); | |
2829 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 348 times.
|
350 | if(fdef->builtin) { |
2830 | 2 | fdef->base->func->code = new_vmcode(emit->gwion->mp, NULL, NULL, func->name, fdef->stack_depth, true, false); | |
2831 | 2 | fdef->base->func->code->native_func = (m_uint)fdef->d.dl_func_ptr; | |
2832 | 2 | return GW_OK; | |
2833 | } | ||
2834 |
1/4✗ Branch 1 not taken.
✓ Branch 2 taken 348 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
|
348 | if ((vflag(func->value_ref, vflag_builtin) && |
2835 |
3/4✓ Branch 1 taken 37 times.
✓ Branch 2 taken 311 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 37 times.
|
348 | safe_tflag(emit->env->class_def, tflag_tmpl)) || (fdef->base->tmpl && is_new(f))) { |
2836 | const Func base = | ||
2837 | ✗ | nspc_lookup_func1(func->value_ref->from->owner, f->base->xid); | |
2838 | ✗ | builtin_func(emit->gwion, func, (f_xfun)base->code->native_func); | |
2839 | ✗ | return GW_OK; | |
2840 | } | ||
2841 | 348 | const uint global = GET_FLAG(f->base, global); | |
2842 | 348 | const m_uint scope = | |
2843 |
2/2✓ Branch 0 taken 347 times.
✓ Branch 1 taken 1 times.
|
348 | !global ? emit->env->scope->depth : env_push_global(emit->env); |
2844 | 348 | emit_func_def_init(emit, func); | |
2845 |
2/2✓ Branch 1 taken 214 times.
✓ Branch 2 taken 134 times.
|
348 | if (vflag(func->value_ref, vflag_member)) stack_alloc(emit); |
2846 | 348 | emit->env->func = func; | |
2847 | 348 | emit_push_scope(emit); | |
2848 |
2/2✓ Branch 0 taken 2 times.
✓ Branch 1 taken 346 times.
|
348 | if (!strcmp(s_name(fdef->base->xid), "@gack")) { |
2849 | 2 | emit_local(emit, emit->gwion->type[et_int]); | |
2850 | 2 | emit_memsetimm(emit, SZ_INT, 0); | |
2851 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 346 times.
|
346 | } else if(fdef->captures) emit_lambda_capture(emit, fdef); |
2852 | 348 | const m_bool ret = scanx_fdef(emit->env, emit, fdef, (_exp_func)emit_fdef); | |
2853 | 348 | emit_pop_scope(emit); | |
2854 | 348 | emit->env->func = former; | |
2855 |
2/2✓ Branch 0 taken 347 times.
✓ Branch 1 taken 1 times.
|
348 | if (ret > 0) |
2856 | 347 | emit_fdef_finish(emit, fdef); | |
2857 | else | ||
2858 | 1 | emit_pop_code(emit); | |
2859 |
2/2✓ Branch 0 taken 1 times.
✓ Branch 1 taken 347 times.
|
348 | if (global) env_pop(emit->env, scope); |
2860 | 348 | return ret; | |
2861 | } | ||
2862 | |||
2863 | 384 | ANN m_bool emit_func_def(const Emitter emit, const Func_Def fdef) { | |
2864 | 384 | const uint16_t depth = emit->env->scope->depth; | |
2865 | 384 | emit->env->scope->depth = 0; | |
2866 | 384 | const Func locale = emit->locale; | |
2867 | 384 | const m_bool ret = _emit_func_def(emit, fdef); | |
2868 | 384 | emit->locale = locale; | |
2869 | 384 | emit->env->scope->depth = depth; | |
2870 | 384 | return ret; | |
2871 | } | ||
2872 | |||
2873 | #define emit_fptr_def dummy_func | ||
2874 | #define emit_trait_def dummy_func | ||
2875 | #define emit_extend_def dummy_func | ||
2876 | #define emit_prim_def dummy_func | ||
2877 | |||
2878 | 840 | HANDLE_SECTION_FUNC(emit, m_bool, Emitter); | |
2879 | |||
2880 | 350 | ANN static inline m_bool emit_ast_inner(const Emitter emit, Ast ast) { | |
2881 |
2/2✓ Branch 0 taken 597 times.
✓ Branch 1 taken 345 times.
|
942 | for(m_uint i = 0; i < ast->len; i++) { |
2882 | 597 | Section * section = mp_vector_at(ast, Section, i); | |
2883 |
2/2✓ Branch 1 taken 5 times.
✓ Branch 2 taken 592 times.
|
597 | CHECK_BB(emit_section(emit, section)); |
2884 | } | ||
2885 | 345 | return emit_defers(emit); | |
2886 | } | ||
2887 | |||
2888 | ✗ | ANN Code *emit_class_code(const Emitter emit, const m_str name) { | |
2889 | ✗ | const m_uint len = strlen(name) + 7; | |
2890 | ✗ | char c[len]; | |
2891 | ✗ | snprintf(c, len, "class %s", name); | |
2892 | ✗ | emit_push_code(emit, c); | |
2893 | ✗ | stack_alloc(emit); | |
2894 | ✗ | return emit->code; | |
2895 | } | ||
2896 | |||
2897 | 1 | ANN static m_bool emit_parent(const Emitter emit, const Class_Def cdef) { | |
2898 | 1 | const Type parent = cdef->base.type->info->parent; | |
2899 | 1 | return ensure_emit(emit, parent); | |
2900 | } | ||
2901 | |||
2902 | 13 | ANN /*static */ inline m_bool emit_cdef(const Emitter emit, const Type t) { | |
2903 | 13 | return scanx_cdef(emit->env, emit, t, (_exp_func)emit_class_def, | |
2904 | (_exp_func)emit_union_def); | ||
2905 | } | ||
2906 | |||
2907 | 1 | ANN static m_bool cdef_parent(const Emitter emit, const Class_Def cdef) { | |
2908 | 1 | const bool tmpl = !!cdef->base.tmpl; | |
2909 |
1/4✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
✗ Branch 3 not taken.
✗ Branch 4 not taken.
|
1 | if (tmpl) CHECK_BB(template_push_types(emit->env, cdef->base.tmpl)); |
2910 | 1 | const m_bool ret = emit_parent(emit, cdef); | |
2911 |
1/2✗ Branch 0 not taken.
✓ Branch 1 taken 1 times.
|
1 | if (tmpl) nspc_pop_type(emit->gwion->mp, emit->env->curr); |
2912 | 1 | return ret; | |
2913 | } | ||
2914 | |||
2915 | 149 | ANN static m_bool _emit_class_def(const Emitter emit, const Class_Def cdef) { | |
2916 | 149 | const Type t = cdef->base.type; | |
2917 | 149 | set_tflag(t, tflag_emit); | |
2918 | 149 | const Class_Def c = t->info->cdef; | |
2919 |
5/6✓ Branch 0 taken 23 times.
✓ Branch 1 taken 126 times.
✓ Branch 2 taken 23 times.
✗ Branch 3 not taken.
✓ Branch 4 taken 1 times.
✓ Branch 5 taken 22 times.
|
172 | if (c->base.ext && t->info->parent->info->cdef && |
2920 | 23 | !tflag(t->info->parent, tflag_emit)) // ????? | |
2921 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 1 times.
|
1 | CHECK_BB(cdef_parent(emit, c)); |
2922 |
2/2✓ Branch 0 taken 132 times.
✓ Branch 1 taken 17 times.
|
149 | if (c->body) |
2923 | 132 | return scanx_body(emit->env, c, (_exp_func)emit_section, emit); | |
2924 | 17 | return GW_OK; | |
2925 | } | ||
2926 | |||
2927 | 160 | ANN static m_bool emit_class_def(const Emitter emit, const Class_Def cdef) { | |
2928 |
2/2✓ Branch 1 taken 11 times.
✓ Branch 2 taken 149 times.
|
160 | if (tmpl_base(cdef->base.tmpl)) return GW_OK; |
2929 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 149 times.
|
149 | if (tflag(cdef->base.type, tflag_emit)) return GW_OK; |
2930 | 149 | const Func locale = emit->locale; | |
2931 | 149 | const m_bool ret = _emit_class_def(emit, cdef); | |
2932 | 149 | emit->locale = locale; | |
2933 | 149 | return ret; | |
2934 | } | ||
2935 | |||
2936 | 5 | ANN static inline void emit_free_code(const Emitter emit, Code *code) { | |
2937 |
2/2✓ Branch 1 taken 3 times.
✓ Branch 2 taken 2 times.
|
5 | if (vector_size(&code->instr)) free_code_instr(&code->instr, emit->gwion); |
2938 | 5 | free_code(emit->gwion->mp, code); | |
2939 | 5 | } | |
2940 | |||
2941 | 5 | ANN static VM_Code emit_free_stack(const Emitter emit) { | |
2942 | LOOP_OPTIM | ||
2943 |
1/2✗ Branch 1 not taken.
✓ Branch 2 taken 5 times.
|
5 | for (m_uint i = vector_size(&emit->stack) + 1; --i;) |
2944 | ✗ | emit_free_code(emit, (Code *)vector_at(&emit->stack, i - 1)); | |
2945 | 5 | vector_clear(&emit->stack); | |
2946 | 5 | vector_clear(&emit->info->pure); | |
2947 | 5 | emit_free_code(emit, emit->code); | |
2948 | 5 | return NULL; | |
2949 | } | ||
2950 | |||
2951 | 350 | ANN m_bool emit_ast(const Env env, Ast *ast) { | |
2952 | 350 | const Emitter emit = env->gwion->emit; | |
2953 | 350 | const Func locale = emit->locale; | |
2954 | 350 | emit->code = new_code(emit, emit->env->name); | |
2955 | 350 | emit_push_scope(emit); | |
2956 | 350 | const m_bool ret = emit_ast_inner(emit, *ast); | |
2957 | 350 | emit_pop_scope(emit); | |
2958 |
2/2✓ Branch 0 taken 345 times.
✓ Branch 1 taken 5 times.
|
350 | if (ret > 0) |
2959 | 345 | emit->info->code = finalyze(emit, EOC); | |
2960 | else | ||
2961 | 5 | emit_free_stack(emit); | |
2962 | 350 | emit->status = (EmitterStatus){}; | |
2963 | 350 | emit->locale = locale; | |
2964 | 350 | return ret; | |
2965 | } | ||
2966 |