From 51e150b8240e77120b82c7f6815e9a784b64ceed Mon Sep 17 00:00:00 2001
From: Teddy <ted.sybil@gmail.com>
Date: Fri, 2 May 2014 01:28:21 +0800
Subject: complex eight-queen puzzle now works

---
 main.c      | 12 ++++++++++++
 semantics.c | 19 ++++++++++++++++---
 2 files changed, 28 insertions(+), 3 deletions(-)

diff --git a/main.c b/main.c
index 91bcc17..72c8b80 100644
--- a/main.c
+++ b/main.c
@@ -52,11 +52,23 @@ void print_sem() {
 /*    cnode_debug_print(ast_root, 1); */
 }
 
+void lib_generate() {
+    FILE *f = fopen("lib.s", "r");     
+    static char buff[1024];
+    if (f)
+    {
+        size_t size;
+        while ((size = fread(buff, 1, 1024, f)))
+            fwrite(buff, 1, size, stdout);
+    }
+}
+
 void print_ssa() {
     cibic_init();
     yyparse();
     semantics_check(ast_root);
     ssa_generate();
+    lib_generate();
 }
 
 void print_help() {
diff --git a/semantics.c b/semantics.c
index b694a8f..014f7e5 100644
--- a/semantics.c
+++ b/semantics.c
@@ -59,6 +59,9 @@ static CType_t basic_type_void;
 static CType_t builtin_printf;
 static CType_t builtin_scanf;
 static CType_t builtin_malloc;
+static CType_t builtin_print_int;
+static CType_t builtin_print_char;
+static CType_t builtin_print_string;
 static int scnt = 0;
 
 CTList_t funcs;
@@ -1523,7 +1526,7 @@ CVar_t semantics_comp(CNode *p, CScope_t scope) {
 CType_t semantics_func(CNode *p, CScope_t scope) {
     CHECK_TYPE(p, FUNC_DEF);
     CVar_t head;
-    CType_t func, efunc, rt;
+    CType_t func, efunc = NULL, rt;
     cscope_enter(scope);                /* enter function local scope */
     head = semantics_declr(p->chd->next,
                                 semantics_typespec(p->chd, scope),
@@ -1558,7 +1561,6 @@ CType_t semantics_func(CNode *p, CScope_t scope) {
             else if (!is_same_type(efunc, func))
                 ERROR((func->ast, "function defintion does not match the prototype"));
             type_merge(efunc, func);
-            free(func);
         }
 
         scope->top = ntop;
@@ -1573,7 +1575,12 @@ CType_t semantics_func(CNode *p, CScope_t scope) {
     }
     func->rec.func.local = semantics_comp(p->chd->next->next, scope);   /* check comp */
     cscope_exit(scope);                                        /* exit from local scope */
-
+    if (efunc)
+    {
+        type_merge(efunc, func);
+        free(func);
+        func = efunc;
+    }
     return func;
 }
 
@@ -1832,6 +1839,9 @@ void semantics_check(CNode *p) {
     basic_type_void = ctype_create("void", CVOID, NULL);
     builtin_printf = make_builtin_func("printf", basic_type_int);
     builtin_scanf = make_builtin_func("scanf", basic_type_int);
+    builtin_print_int = make_builtin_func("__print_int", basic_type_int);
+    builtin_print_char = make_builtin_func("__print_char", basic_type_int);
+    builtin_print_string = make_builtin_func("__print_string", basic_type_int);
     {
         CType_t vstar = ctype_create("", CPTR, NULL);
         vstar->rec.ref = basic_type_void;
@@ -1844,6 +1854,9 @@ void semantics_check(CNode *p) {
     cscope_push_type(scope, builtin_printf, NS_ID);
     cscope_push_type(scope, builtin_scanf, NS_ID);
     cscope_push_type(scope, builtin_malloc, NS_ID);
+    cscope_push_type(scope, builtin_print_int, NS_ID);
+    cscope_push_type(scope, builtin_print_char, NS_ID);
+    cscope_push_type(scope, builtin_print_string, NS_ID);
     /* const string counter */
     scnt = 0;
     /* check all definitions and declarations */
-- 
cgit v1.2.3-70-g09d2