A few of the main IR operation implementations

[xonotic/gmqcc.git] / ast.c

diff --git a/ast.c b/ast.c
index 52ffb80059f742cd58790661bbd0f67d0ed7c2ea..b1d90562e38dc6126b09a1091b81c2084e430be1 100644 (file)
--- a/ast.c
+++ b/ast.c
@@ -6,10 +6,10 @@
 
 #define ast_setfunc(me, fn, what) ( *(void**)&((me)->fn) = what )
 
-#define ast_instantiate(T, ctx, destroyfn) \
-       T *self = (T*)mem_a(sizeof(T)); \
-       ast_node_init((ast_node*)self, ctx); \
-       ast_setfunc(&((ast_node*)self)->node, destroy, destroyfn)
+#define ast_instantiate(T, ctx, destroyfn)                    \
+    T *self = (T*)mem_a(sizeof(T));                           \
+    ast_node_init((ast_node*)self, ctx);                      \
+    ast_setfunc(&((ast_node*)self)->node, destroy, destroyfn)
 
 /* It must not be possible to get here. */
 static void _ast_node_destroy(ast_node *self)
@@ -42,7 +42,7 @@ ast_value* ast_value_new(lex_ctx_t ctx, const char *name, qc_type_t t)
     self->vtype = t;
     self->next = NULL;
     MEM_VECTOR_INIT(self, params);
-    self->has_constval = ifalse;
+    self->has_constval = false;
     memset(&self->cvalue, 0, sizeof(self->cvalue));
 
     self->ir_v = NULL;
@@ -153,3 +153,76 @@ void ast_function_delete(ast_function *self)
     MEM_VECTOR_CLEAR(self, blocks);
     mem_d(self);
 }
+
+/*********************************************************************/
+/* AST codegen aprt
+ */
+
+static qbool ast_value_gen_global(ir_builder *ir, ast_value *self, ir_value **out)
+{
+    ir_value *v;
+    *out = NULL;
+
+    /* Generate functions */
+    if (self->vtype == qc_function && self->has_constval)
+    {
+        /* Without has_constval it would be invalid... function pointers actually have
+         * type qc_pointer and next with type qc_function
+         */
+        ast_function *func = self->cvalue.vfunc;
+        if (!ast_function_codegen(func, ir))
+            return false;
+
+        /* Here we do return NULL anyway */
+        return true;
+    }
+    else if (self->vtype == qc_function && !self->has_constval) {
+        fprintf(stderr,
+        "!v->has_constval <- qc_function body missing - FIXME: remove when implementing prototypes\n");
+        fprintf(stderr, "Value: %s\n", self->_name);
+        abort();
+    }
+
+    v = ir_builder_create_global(ir, self->_name, self->vtype);
+    self->ir_v = v;
+
+    *out = v;
+    return true;
+}
+
+qbool ast_value_codegen(ast_value *self, ast_function *func, ir_value **out)
+{
+    if (!func)
+        return ast_value_gen_global(parser.ir, self, out);
+    return false;
+}
+
+qbool ast_function_codegen(ast_function *self, ir_builder *builder)
+{
+    size_t i;
+    for (i = 0; i < self->blocks_count; ++i)
+    {
+        ast_expression *expr;
+        ir_value *out;
+
+        expr = (ast_expression*)self->blocks[i];
+
+        if (!(expr->expression.codegen)(expr, self, &out))
+        {
+            /* there was an error while building this expression... */
+            return false;
+        }
+        (void)out;
+    }
+    return true;
+}
+
+qbool ast_block_codegen(ast_block *self, ir_function *func, ir_value **out)
+{
+    return false;
+}
+
+qbool ast_bin_store_codegen(ast_binary *self, ir_function *func, ir_value **out)
+{
+    return false;
+}