From 950dd4b0688dee3f7a90105a1225c8ba41123282 Mon Sep 17 00:00:00 2001
From: Teddy <ted.sybil@gmail.com>
Date: Wed, 16 Apr 2014 18:51:07 +0800
Subject: pointer offest calculate

---
 semantics.c | 59 +++++++++++++++++++++++++++++++++++++----------------------
 1 file changed, 37 insertions(+), 22 deletions(-)

(limited to 'semantics.c')

diff --git a/semantics.c b/semantics.c
index 930a3cf..127783d 100644
--- a/semantics.c
+++ b/semantics.c
@@ -311,7 +311,7 @@ int calc_size(CType_t type) {
             }
             break;
         case CVOID: return -1;
-        case CFUNC: return 0;
+        case CFUNC: return 1;
     }
     return (type->size = size);
 }
@@ -855,6 +855,12 @@ ExpType exp_check_add(ExpType op1, ExpType op2, CNode *p, char kind) {
         ERROR((p, "invalid use of undefined type"));
     if (t2 == CPTR && calc_size(op2.type->rec.ref) == -1)
         ERROR((p, "invalid use of undefined type"));
+    if (t1 == CARR)
+    {
+        CType_t ptr = ctype_create("", CPTR, NULL);
+        ptr->rec.ref = op1.type->rec.arr.elem;
+        op1.type = ptr;
+    }
     if (kind == '-')
     {
         if (IS_PTR(t2) && !IS_PTR(t1))
@@ -865,25 +871,32 @@ ExpType exp_check_add(ExpType op1, ExpType op2, CNode *p, char kind) {
         if (!((IS_INT(t1) || IS_PTR(t1)) && IS_INT(t2)))
             ERROR((p, "invalid operands to binary operator"));
     }
-    if ((p->ext.is_const = lch->ext.is_const && rch->ext.is_const))
+    if ((p->ext.is_const = rch->ext.is_const))
     {
-        int l = lch->ext.const_val,
-            r = rch->ext.const_val,
-            *a = &(p->ext.const_val);
+        int r = rch->ext.const_val;
         if (IS_PTR(t1))
         {
-            /* TODO: constant pointer folding */
-            if (t1 == CPTR)
-                p->ext.const_val = op1.type->rec.ref->size * r;
-            else /* array */
-                p->ext.const_val = op1.type->rec.arr.elem->size * r;
+            CType_t type;
+            p->ext.var = p->chd->ext.var;
+            if (t1 == CPTR) type = op1.type->rec.ref;
+            else type = op1.type->rec.arr.elem;
+            p->ext.offest = p->chd->ext.offest + calc_size(type) * r;
         }
-        else
+        if ((p->ext.is_const &= lch->ext.is_const))
         {
-            switch (kind)
+            int l = lch->ext.const_val,
+                *a = &(p->ext.const_val);
+            if (IS_PTR(t1))
+            {
+                /* TODO: const pointer */
+            }
+            else
             {
-                case '+': *a = l + r; break;
-                case '-': *a = l - r; break;
+                switch (kind)
+                {
+                    case '+': *a = l + r; break;
+                    case '-': *a = l - r; break;
+                }
             }
         }
     }
@@ -1065,33 +1078,34 @@ ExpType exp_check_postfix(CNode *p, CScope_t scope) {
             if (!IS_INT(t2))
                 ERROR((p, "array subscript is not an integer"));
             if (t1 == CARR)
-            {
                 op1.type = op1.type->rec.arr.elem;
-                p->ext.is_const = p->chd->ext.is_const;
-            }
             else
-            {
                 op1.type = op1.type->rec.ref;
+            if (post->chd->ext.is_const)
+            {
+                p->ext.offest = p->chd->ext.offest + \
+                                calc_size(op1.type) * post->chd->ext.const_val;
+                p->ext.var = p->chd->ext.var;
             }
+            p->ext.is_const = 0;
             op1.lval = 1;
             break;
         case POSTFIX_CALL:
             if (!(t1 == CPTR && op1.type->rec.ref->type == CFUNC))
                 ERROR((p, "called object is not a function"));
             {
-                CNode *arg = post->chd->chd;
+                CNode *arg = post->chd->chd, *t;
                 CType_t func = p->chd->ext.type;
                 CVar_t param;
                 /* pointer to function */
                 if (func->type == CPTR) func = func->rec.ref;
+                for (t = arg; t; t = t->next)
+                    semantics_exp(t, scope);
                 if ((param = func->rec.func.params))
                 {
                     for (; arg && param;
                             arg = arg->next, param = param->next) 
-                    {
-                        semantics_exp(arg, scope);
                         exp_check_aseq_(param->type, arg->ext.type, arg);
-                    }
                     if (arg || param)
                         ERROR((p, "too many/few arguments to the function"));
                 }
@@ -1155,6 +1169,7 @@ ExpType semantics_exp(CNode *p, CScope_t scope) {
                 else
                 {
                     p->ext.type = lu->rec.type;
+                    p->ext.var = NULL;
                     res.type = p->ext.type;
                     res.lval = res.type->type == CFUNC;
                     POINTER_CONV(res.type, p);
-- 
cgit v1.2.3