X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2FSDCCval.h;h=61217835db23848e3b47236efe06e4d959df406a;hb=80972b2e54c9b88f11c27b878874fd2a6a681391;hp=3751bc6d654237cf14973ef4a645c6129a33ae52;hpb=edfd2aa694f046826f3b61da8df2535c2a0c918c;p=fw%2Fsdcc diff --git a/src/SDCCval.h b/src/SDCCval.h index 3751bc6d..61217835 100644 --- a/src/SDCCval.h +++ b/src/SDCCval.h @@ -6,94 +6,145 @@ under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2, or (at your option) any later version. - + This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. - + You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. - + In other words, you are welcome to use, share and improve this program. You are forbidden to forbid anyone else to use, share and improve - what you give them. Help stamp out software-hoarding! + what you give them. Help stamp out software-hoarding! -------------------------------------------------------------------------*/ -#include "SDCCsymt.h" #ifndef SDCCVAL_H #define SDCCVAL_H +#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 which useus SSE unit instead of the x87 FPU for floating-point operations + */ +/* + * 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) < 0) ? (((val) < -2147483647.0) ? 0x80000000UL : (unsigned long) -((long) -(val))) : (unsigned long) (val)) + /* value wrapper */ -typedef struct value { - char name[ SDCC_NAME_MAX + 1 ]; /* operand accessing this value */ - link *type ; /* start of type chain */ - 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 ; - -enum { - INIT_NODE , - INIT_DEEP , - INIT_HOLE -}; +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 */ + } +value; + +typedef struct literalList +{ + double literalValue; + unsigned count; + struct literalList *next; +} literalList; + +enum + { + INIT_NODE, + INIT_DEEP, + INIT_HOLE + }; /* initializer lists use this structure */ -typedef struct initList { - int type ; - int lineno ; - union { - struct ast *node ; - struct initList *deep ; - } init ; - - struct initList *next ; -} initList ; - -#define IS_VARG(x) (x->vArgs) +typedef struct initList + { + int type; + int lineno; + char *filename; + union + { + struct ast *node; + struct initList *deep; + } + init; + + struct initList *next; + } +initList; + +/* 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 *reverseVal (value * ); -value *reverseValWithType(value * ); -value *copyValue (value * ); -value *copyValueChain (value * ); -value *strVal (char * ); -value *charVal (char * ); -value *symbolVal (symbol * ); -void printVal (value * ); -double floatFromVal (value * ); -value *array2Ptr (value * ); -value *valUnaryPM (value * ); -value *valComplement (value * ); -value *valNot (value * ); -value *valMult (value *, value * ); -value *valDiv (value *, value * ); -value *valMod (value *, value * ); -value *valPlus (value *, value * ); -value *valMinus (value *, value * ); -value *valShift (value *, value *,int); -value *valCompare (value *, value *,int); -value *valBitwise (value *, value *,int); -value *valLogicAndOr (value *, value *,int); -value *valCastLiteral (link *, double ); -value *valueFromLit (float ); -initList *newiList (int , void * ); -initList *revinit (initList * ); -initList *copyIlist (initList * ); -double list2int (initList * ); -value *list2val (initList * ); -struct ast *list2expr (initList * ); -void resolveIvalSym (initList * ); -value *valFromType (link * ); -value *constFloatVal (char * ); -int getNelements (link *, initList * ); -value *valForArray (struct ast * ); -value *valForStructElem (struct ast *, struct ast *); -value *valForCastAggr (struct ast *, link *, struct ast *, int ) ; +value *newValue (void); +value *constVal (const char *); +value *constCharVal (unsigned char); +value *reverseVal (value *); +value *reverseValWithType (value *); +value *copyValue (value *); +value *copyValueChain (value *); +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 *); +value *valNot (value *); +value *valMult (value *, value *); +value *valDiv (value *, value *); +value *valMod (value *, value *); +value *valPlus (value *, value *); +value *valMinus (value *, value *); +value *valShift (value *, value *, int); +value *valCompare (value *, value *, int); +value *valBitwise (value *, value *, int); +value *valLogicAndOr (value *, value *, int); +value *valCastLiteral (sym_link *, double); +value *valueFromLit (double); +initList *newiList (int, void *); +initList *revinit (initList *); +initList *copyIlist (initList *); +double list2int (initList *); +value *list2val (initList *); +struct ast *list2expr (initList *); +void resolveIvalSym (initList *, sym_link *); +value *valFromType (sym_link *); +value *constFloatVal (const char *); +value *constFixed16x16Val (const char *); +int getNelements (sym_link *, initList *); +value *valForArray (struct ast *); +value *valForStructElem (struct ast *, struct ast *); +value *valForCastAggr (struct ast *, sym_link *, struct ast *, int); +value *valForCastArr (struct ast * , sym_link *); +bool convertIListToConstList(initList *src, literalList **lList, int size); +literalList *copyLiteralList(literalList *src); #endif