X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2FSDCCval.h;h=bb49bee7eb9bd0da24f715f4200776b006bba6a7;hb=a9f3838bdbedc49bb24f63070e0bef2e6fb5edea;hp=363b5e459ea6e4c7fbe0169caf17320820439a2f;hpb=15f7f3d75ebe0d7cf0ef84dea8abcd19cbdaa009;p=fw%2Fsdcc diff --git a/src/SDCCval.h b/src/SDCCval.h index 363b5e45..bb49bee7 100644 --- a/src/SDCCval.h +++ b/src/SDCCval.h @@ -25,15 +25,28 @@ #include "SDCCsymt.h" + +/* double to unsigned long conversion */ +/* + * See ISO/IEC 9899, chapter 6.3.1.4 Real floating and integer: + * If the value of the integral part cannot be represented by the integer type, the behavior is undefined. + * This shows up on Mac OS X i386 platform + */ +/* + * on Mac OS X ppc (long) 2147483648.0 equals to 2147483647, so we explicitely convert it to 0x80000000 + * on other known platforms (long) 2147483648.0 equals to -2147483648 + */ +#define double2ul(val) ((val <= (double)0x80000000UL) ? 0x80000000UL : (((val) < 0) ? (unsigned long) -((long) -(val)) : (unsigned long) (val))) + /* value wrapper */ typedef struct value { - char name[SDCC_NAME_MAX + 1]; /* operand accessing this value */ - sym_link *type; /* start of type chain */ - sym_link *etype; /* end of type chain */ - symbol *sym; /* Original Symbol */ - struct value *next; /* used in initializer list */ - unsigned vArgs:1; /* arg list ended with variable arg */ + char name[SDCC_NAME_MAX + 1]; /* operand accessing this value */ + sym_link *type; /* start of type chain */ + sym_link *etype; /* end of type chain */ + symbol *sym; /* Original Symbol */ + struct value *next; /* used in initializer list */ + unsigned vArgs:1; /* arg list ended with variable arg */ } value; @@ -61,8 +74,8 @@ typedef struct initList char *filename; union { - struct ast *node; - struct initList *deep; + struct ast *node; + struct initList *deep; } init; @@ -70,21 +83,40 @@ typedef struct initList } initList; -#define IS_VARG(x) (x->vArgs) +/* return values from checkConstantRange */ +typedef enum + { + CCR_OK, /* evaluate at runtime */ + CCR_OVL, + CCR_ALWAYS_FALSE, + CCR_ALWAYS_TRUE + } +CCR_RESULT; + +#define IS_VARG(x) (x->vArgs) /* forward definitions for the symbol table related functions */ void initValue (); value *newValue (); -value *constVal (char *); +value *constVal (const char *); value *reverseVal (value *); value *reverseValWithType (value *); value *copyValue (value *); value *copyValueChain (value *); -value *strVal (char *); -value *charVal (char *); +value *strVal (const char *); +value *charVal (const char *); value *symbolVal (symbol *); void printVal (value *); double floatFromVal (value *); +unsigned long ulFromVal (value *); + +/* convert a fixed16x16 type to double */ +double doubleFromFixed16x16(TYPE_TARGET_ULONG value); + +/* convert a double type to fixed16x16 */ +TYPE_TARGET_ULONG fixed16x16FromDouble(double value); + +CCR_RESULT checkConstantRange (sym_link *var, sym_link *lit, int op, bool exchangeOps); value *array2Ptr (value *); value *valUnaryPM (value *); value *valComplement (value *); @@ -109,6 +141,7 @@ struct ast *list2expr (initList *); void resolveIvalSym (initList *, sym_link *); value *valFromType (sym_link *); value *constFloatVal (char *); +value *constFixed16x16Val (char *); int getNelements (sym_link *, initList *); value *valForArray (struct ast *); value *valForStructElem (struct ast *, struct ast *);