5 * Permission is hereby granted, free of charge, to any person obtaining a copy of
6 * this software and associated documentation files (the "Software"), to deal in
7 * the Software without restriction, including without limitation the rights to
8 * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies
9 * of the Software, and to permit persons to whom the Software is furnished to do
10 * so, subject to the following conditions:
12 * The above copyright notice and this permission notice shall be included in all
13 * copies or substantial portions of the Software.
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
30 #define ast_setfunc(me, fn, what) ( *(void**)&((me)->fn) = what )
32 #define ast_instantiate(T, ctx, destroyfn) \
33 T *self = (T*)mem_a(sizeof(T)); \
34 ast_node_init((ast_node*)self, ctx); \
35 ast_setfunc(&((ast_node*)self)->node, destroy, destroyfn)
37 /* It must not be possible to get here. */
38 static void _ast_node_destroy(ast_node *self)
40 fprintf(stderr, "ast node missing destroy()\n");
44 /* Initialize main ast node aprts */
45 static void ast_node_init(ast_node *self, lex_ctx_t ctx)
47 self->node.context = ctx;
48 self->node.destroy = &_ast_node_destroy;
51 /* General expression initialization */
52 static void ast_expression_init(ast_expression *self,
53 ast_expression_codegen *codegen)
55 ast_setfunc(&self->expression, codegen, codegen);
58 ast_value* ast_value_new(lex_ctx_t ctx, const char *name, int t)
60 ast_instantiate(ast_value, ctx, ast_value_delete);
61 ast_expression_init((ast_expression*)self,
62 (ast_expression_codegen*)&ast_value_codegen);
64 self->name = name ? util_strdup(name) : NULL;
67 MEM_VECTOR_INIT(self, params);
68 self->isconst = false;
69 memset(&self->constval, 0, sizeof(self->constval));
75 MEM_VEC_FUNCTIONS(ast_value, ast_value*, params)
77 void ast_value_delete(ast_value* self)
81 mem_d((void*)self->name);
82 for (i = 0; i < self->params_count; ++i)
83 ast_delete(self->params[i]);
84 MEM_VECTOR_CLEAR(self, params);
86 ast_delete(self->next);
91 mem_d((void*)self->constval.vstring);
93 /* NOTE: delete function? currently collected in
94 * the parser structure
103 void ast_value_set_name(ast_value *self, const char *name)
106 mem_d((void*)self->name);
107 self->name = util_strdup(name);
110 ast_binary* ast_binary_new(lex_ctx_t ctx, int op,
111 ast_value* left, ast_value* right)
113 ast_instantiate(ast_binary, ctx, ast_binary_delete);
118 case INSTR_STORE_ENT:
119 case INSTR_STORE_FLD:
120 case INSTR_STORE_FNC:
124 case INSTR_STOREP_ENT:
125 case INSTR_STOREP_FLD:
126 case INSTR_STOREP_FNC:
132 case INSTR_STOREP_IF:
133 case INSTR_STOREP_FI:
138 ast_expression_init((ast_expression*)self, (ast_expression_codegen*)&ast_bin_store_codegen);
141 ast_expression_init((ast_expression*)self, (ast_expression_codegen*)&ast_binary_codegen);
152 void ast_binary_delete(ast_binary *self)
157 ast_block* ast_block_new(lex_ctx_t ctx)
159 ast_instantiate(ast_block, ctx, ast_block_delete);
160 ast_expression_init((ast_expression*)self,
161 (ast_expression_codegen*)&ast_block_codegen);
163 MEM_VECTOR_INIT(self, locals);
164 MEM_VECTOR_INIT(self, exprs);
168 MEM_VEC_FUNCTIONS(ast_block, ast_value*, locals)
169 MEM_VEC_FUNCTIONS(ast_block, ast_expression*, exprs)
171 void ast_block_delete(ast_block *self)
174 for (i = 0; i < self->locals_count; ++i)
175 ast_delete(self->locals[i]);
176 MEM_VECTOR_CLEAR(self, locals);
177 for (i = 0; i < self->exprs_count; ++i)
178 ast_delete(self->exprs[i]);
179 MEM_VECTOR_CLEAR(self, exprs);
183 ast_function* ast_function_new(lex_ctx_t ctx, const char *name, ast_value *vtype)
185 ast_instantiate(ast_function, ctx, ast_function_delete);
188 self->name = name ? util_strdup(name) : NULL;
189 MEM_VECTOR_INIT(self, blocks);
194 MEM_VEC_FUNCTIONS(ast_function, ast_block*, blocks)
196 void ast_function_delete(ast_function *self)
200 mem_d((void*)self->name);
202 ast_value_delete(self->vtype);
203 for (i = 0; i < self->blocks_count; ++i)
204 ast_delete(self->blocks[i]);
205 MEM_VECTOR_CLEAR(self, blocks);
209 /*********************************************************************/
213 /* Some dummies so it compiles... */
214 bool ast_value_codegen(ast_value *self, ast_function *func, ir_value **out)
219 bool ast_block_codegen(ast_block *self, ast_function *func, ir_value **out)
224 bool ast_bin_store_codegen(ast_binary *self, ast_function *func, ir_value **out)
229 bool ast_binary_codegen(ast_binary *self, ast_function *func, ir_value **out)