* doc/Makefile,

[fw/sdcc] / src / SDCCval.c

diff --git a/src/SDCCval.c b/src/SDCCval.c
index c5f2556844b40d33f25b86e3421d3767784c5968..69aab095c2031230256e3436672010820f19a5aa 100644 (file)
--- a/src/SDCCval.c
+++ b/src/SDCCval.c
@@ -280,7 +280,7 @@ resolveIvalSym (initList * ilist, sym_link * type)
   if (ilist->type == INIT_NODE)
     {
       if (IS_PTR (type))
-        resultType = RESULT_TYPE_NONE;
+        resultType = RESULT_TYPE_INT;
       else
         resultType = getResultTypeFromType (getSpec (type));
       ilist->init.node = decorateType (resolveSymbols (ilist->init.node),
@@ -1044,6 +1044,10 @@ valComplement (value * val)
        SPEC_CVAL (val->etype).v_uint = ~SPEC_CVAL (val->etype).v_uint;
       else
        SPEC_CVAL (val->etype).v_int = ~SPEC_CVAL (val->etype).v_int;
+      if (SPEC_NOUN(val->etype) == V_CHAR)
+        if (   SPEC_CVAL(val->etype).v_int < -128
+            || SPEC_CVAL(val->etype).v_int >  127)
+          SPEC_NOUN(val->etype) = V_INT;
     }
   // ~(unsigned 3) now really is signed
   SPEC_USIGN(val->etype)=0;
@@ -1086,7 +1090,8 @@ valMult (value * lval, value * rval)
   val = newValue ();
   val->type = val->etype = computeType (lval->etype,
                                        rval->etype,
-                                       TRUE);
+                                       RESULT_TYPE_INT,
+                                       '*');
   SPEC_SCLS (val->etype) = S_LITERAL; /* will remain literal */
 
   if (IS_FLOAT (val->type))
@@ -1135,7 +1140,8 @@ valDiv (value * lval, value * rval)
   val = newValue ();
   val->type = val->etype = computeType (lval->etype,
                                        rval->etype,
-                                       TRUE);
+                                       RESULT_TYPE_INT,
+                                       '/');
   SPEC_SCLS (val->etype) = S_LITERAL; /* will remain literal */
 
   if (IS_FLOAT (val->type))
@@ -1173,7 +1179,8 @@ valMod (value * lval, value * rval)
   val = newValue();
   val->type = val->etype = computeType (lval->etype,
                                        rval->etype,
-                                       TRUE);
+                                       RESULT_TYPE_INT,
+                                       '%');
   SPEC_SCLS (val->etype) = S_LITERAL; /* will remain literal */
 
   if (SPEC_LONG (val->type))
@@ -1209,7 +1216,8 @@ valPlus (value * lval, value * rval)
   val = newValue();
   val->type = val->etype = computeType (lval->etype,
                                        rval->etype,
-                                       TRUE);
+                                       RESULT_TYPE_INT,
+                                       '+');
   SPEC_SCLS (val->etype) = S_LITERAL; /* will remain literal */
   
   if (IS_FLOAT (val->type))
@@ -1247,7 +1255,8 @@ valMinus (value * lval, value * rval)
   val = newValue();
   val->type = val->etype = computeType (lval->etype,
                                        rval->etype,
-                                       TRUE);
+                                       RESULT_TYPE_INT,
+                                       '-');
   SPEC_SCLS (val->etype) = S_LITERAL; /* will remain literal */
   
   if (IS_FLOAT (val->type))
@@ -1285,8 +1294,8 @@ valShift (value * lval, value * rval, int lr)
   val = newValue();
   val->type = val->etype = computeType (lval->etype,
                                        NULL,
-                                       /* promote left shift */
-                                       lr ? TRUE : FALSE);
+                                       RESULT_TYPE_INT,
+                                       'S');
   SPEC_SCLS (val->etype) = S_LITERAL; /* will remain literal */
 
   if (getSize (val->type) * 8 <= (TYPE_UDWORD) floatFromVal (rval) &&
@@ -1435,7 +1444,7 @@ valBitwise (value * lval, value * rval, int op)
 
   /* create a new value */
   val = newValue ();
-  val->type = computeType (lval->etype, rval->etype, FALSE);
+  val->type = computeType (lval->etype, rval->etype, RESULT_TYPE_CHAR, op);
   val->etype = getSpec (val->type);
   SPEC_SCLS (val->etype) = S_LITERAL;
 
@@ -1551,7 +1560,13 @@ valCastLiteral (sym_link * dtype, double fval)
     return NULL;
 
   val = newValue ();
-  val->etype = getSpec (val->type = copyLinkChain (dtype));
+  if (dtype)
+    val->etype = getSpec (val->type = copyLinkChain (dtype));
+  else
+    {
+      val->etype = val->type = newLink (SPECIFIER);
+      SPEC_NOUN (val->etype) = V_VOID;
+    }
   SPEC_SCLS (val->etype) = S_LITERAL;
 
   /* if it is not a specifier then we can assume that */
@@ -1563,6 +1578,12 @@ valCastLiteral (sym_link * dtype, double fval)
 
   if (SPEC_NOUN (val->etype) == V_FLOAT)
       SPEC_CVAL (val->etype).v_float = fval;
+  else if (SPEC_NOUN (val->etype) == V_BIT ||
+           SPEC_NOUN (val->etype) == V_SBIT)
+    SPEC_CVAL (val->etype).v_uint = l ? 1 : 0;
+  else if (SPEC_NOUN (val->etype) == V_BITFIELD)
+    SPEC_CVAL (val->etype).v_uint = l &
+                                   (0xffffu >> (16 - SPEC_BLEN (val->etype)));
   else if (SPEC_NOUN (val->etype) == V_CHAR) {
       if (SPEC_USIGN (val->etype))
          SPEC_CVAL (val->etype).v_uint= (TYPE_UBYTE) l;
@@ -1684,7 +1705,7 @@ valForArray (ast * arrExpr)
     DCL_TYPE (val->type) = EEPPOINTER;
   else
     DCL_TYPE (val->type) = POINTER;
-  val->type->next = arrExpr->left->ftype;
+  val->type->next = arrExpr->left->ftype->next;
   val->etype = getSpec (val->type);
   return val;
 }