X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2FSDCCval.h;h=03b7dd138a1dfa8f05166678d9c222c4178795ee;hb=db0625e3241d860b141b2e31939cc34fda6e7f0f;hp=018213d4f9b3955ef51b6bd905d35446ef16528f;hpb=0e486caba2e97c32e1bf2030d45dddce103beae4;p=fw%2Fsdcc diff --git a/src/SDCCval.h b/src/SDCCval.h index 018213d4..03b7dd13 100644 --- a/src/SDCCval.h +++ b/src/SDCCval.h @@ -6,94 +6,146 @@ 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 */ - 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 ; - -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 (sym_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 (sym_link * ); -value *constFloatVal (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 *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); +literalList *copyLiteralList(literalList *src); #endif