git.gag.com Git - fw/sdcc/blob - src/SDCCsymt.h

   1 /*-------------------------------------------------------------------------
   2   SDCCsymt.h - Header file for Symbols table related structures and MACRO's.
   3               Written By -  Sandeep Dutta . sandeep.dutta@usa.net (1998)
   4
   5    This program is free software; you can redistribute it and/or modify it
   6    under the terms of the GNU General Public License as published by the
   7    Free Software Foundation; either version 2, or (at your option) any
   8    later version.
   9
  10    This program is distributed in the hope that it will be useful,
  11    but WITHOUT ANY WARRANTY; without even the implied warranty of
  12    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13    GNU General Public License for more details.
  14
  15    You should have received a copy of the GNU General Public License
  16    along with this program; if not, write to the Free Software
  17    Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  18
  19    In other words, you are welcome to use, share and improve this program.
  20    You are forbidden to forbid anyone else to use, share and improve
  21    what you give them.   Help stamp out software-hoarding!
  22 -------------------------------------------------------------------------*/
  23
  24 #ifndef  SDCCSYMT_H
  25 #define  SDCCSYMT_H
  26
  27 #define MAX_NEST_LEVEL  256
  28 #define SDCC_SYMNAME_MAX 64
  29 #define SDCC_NAME_MAX  3*SDCC_SYMNAME_MAX // big enough for _<func>_<var>_etc
  30 #include "SDCChasht.h"
  31 #include "SDCCglobl.h"
  32
  33 #define INTNO_MAX 255                   /* maximum allowed interrupt number */
  34 #define INTNO_UNSPEC (INTNO_MAX+1)      /* interrupt number unspecified */
  35
  36 #define BITVAR_PAD -1
  37
  38 enum {
  39     TYPEOF_INT=1,
  40     TYPEOF_SHORT,
  41     TYPEOF_CHAR,
  42     TYPEOF_LONG,
  43     TYPEOF_FLOAT,
  44     TYPEOF_FIXED16X16,
  45     TYPEOF_BIT,
  46     TYPEOF_BITFIELD,
  47     TYPEOF_SBIT,
  48     TYPEOF_SFR,
  49     TYPEOF_VOID,
  50     TYPEOF_STRUCT,
  51     TYPEOF_ARRAY,
  52     TYPEOF_FUNCTION,
  53     TYPEOF_POINTER,
  54     TYPEOF_FPOINTER,
  55     TYPEOF_CPOINTER,
  56     TYPEOF_GPOINTER,
  57     TYPEOF_PPOINTER,
  58     TYPEOF_IPOINTER,
  59     TYPEOF_EEPPOINTER
  60 };
  61
  62 // values for first byte (or 3 most significant bits) of generic pointer.
  63 #define GPTYPE_FAR       0x00
  64 #define GPTYPE_NEAR      0x40
  65 #define GPTYPE_XSTACK    0x60
  66 #define GPTYPE_CODE      0x80
  67
  68 #define HASHTAB_SIZE 256
  69
  70 /* hash table bucket */
  71 typedef struct bucket
  72   {
  73     void *sym;                          /* pointer to the object   */
  74     char name[SDCC_NAME_MAX + 1];       /* name of this symbol          */
  75     int level;                          /* nest level for this symbol   */
  76     int block;                          /* belongs to which block */
  77     struct bucket *prev;                /* ptr 2 previous bucket   */
  78     struct bucket *next;                /* ptr 2 next bucket       */
  79   }
  80 bucket;
  81
  82 typedef struct structdef
  83   {
  84     char tag[SDCC_NAME_MAX + 1];        /* tag part of structure      */
  85     unsigned char level;                /* Nesting level         */
  86     struct symbol *fields;              /* pointer to fields     */
  87     unsigned size;                      /* sizeof the table in bytes  */
  88     int type;                           /* STRUCT or UNION */
  89     bool b_flexArrayMember;             /* has got an flexible array member,
  90                                            only needed for syntax checks */
  91   }
  92 structdef;
  93
  94 /* noun definitions */
  95 typedef enum
  96   {
  97     V_INT = 1,
  98     V_FLOAT,
  99     V_FIXED16X16,
 100     V_CHAR,
 101     V_VOID,
 102     V_STRUCT,
 103     V_LABEL,
 104     V_BIT,
 105     V_BITFIELD,
 106     V_SBIT,
 107     V_DOUBLE
 108   }
 109 NOUN;
 110
 111 /* storage class    */
 112 typedef enum
 113   {
 114     S_FIXED = 0,
 115     S_AUTO,
 116     S_REGISTER,
 117     S_SFR,
 118     S_SBIT,
 119     S_CODE,
 120     S_XDATA,
 121     S_DATA,
 122     S_IDATA,
 123     S_PDATA,
 124     S_LITERAL,
 125     S_STACK,
 126     S_XSTACK,
 127     S_BIT,
 128     S_EEPROM
 129   }
 130 STORAGE_CLASS;
 131
 132 /* specifier is the last in the type-chain */
 133 typedef struct specifier
 134   {
 135     NOUN noun;                          /* CHAR INT STRUCTURE LABEL   */
 136     STORAGE_CLASS sclass;               /* REGISTER,AUTO,FIX,CONSTANT */
 137     struct memmap *oclass;              /* output storage class       */
 138     unsigned b_long:1;                  /* 1=long                     */
 139     unsigned b_short:1;                 /* 1=short int                */
 140     unsigned b_unsigned:1;              /* 1=unsigned, 0=signed       */
 141     unsigned b_signed:1;                /* just for sanity checks only*/
 142     unsigned b_static:1;                /* 1=static keyword found     */
 143     unsigned b_extern:1;                /* 1=extern found             */
 144     unsigned b_absadr:1;                /* absolute address specfied  */
 145     unsigned b_volatile:1;              /* is marked as volatile      */
 146     unsigned b_const:1;                 /* is a constant              */
 147     unsigned b_typedef:1;               /* is typedefed               */
 148     unsigned b_isregparm:1;             /* is the first parameter     */
 149     unsigned b_isenum:1;                /* is an enumerated type      */
 150     unsigned _addr;                     /* address of symbol          */
 151     unsigned _stack;                    /* stack offset for stacked v */
 152     unsigned _bitStart;                 /* bit start position         */
 153     int _bitLength;                     /* bit length                 */
 154     int argreg;                         /* reg no for regparm         */
 155     union
 156       {                                 /* Values if constant or enum */
 157         TYPE_WORD   v_int;              /* 2 bytes: int and char values           */
 158         char       *v_char;             /*          character string              */
 159         TYPE_UWORD  v_uint;             /* 2 bytes: unsigned int const value      */
 160         TYPE_DWORD  v_long;             /* 4 bytes: long constant value           */
 161         TYPE_UDWORD v_ulong;            /* 4 bytes: unsigned long constant value  */
 162         double      v_float;            /*          floating point constant value */
 163         TYPE_UDWORD v_fixed16x16;       /* 4 bytes: fixed floating point constant value */
 164         struct symbol *v_enum;          /* ptr to enum_list if enum==1            */
 165       }
 166     const_val;
 167     struct structdef *v_struct;         /* structure pointer      */
 168   }
 169 specifier;
 170
 171 /* types of declarators */
 172 typedef enum
 173   {
 174     POINTER = 0,                        /* pointer to near data */
 175     FPOINTER,                           /* pointer to far data  */
 176     CPOINTER,                           /* pointer to code space */
 177     GPOINTER,                           /* _generic pointer     */
 178     PPOINTER,                           /* paged area pointer   */
 179     IPOINTER,                           /* pointer to upper 128 bytes */
 180     UPOINTER,                           /* unknown pointer used only when parsing */
 181     EEPPOINTER,                         /* pointer to eeprom     */
 182     ARRAY,
 183     FUNCTION
 184   }
 185 DECLARATOR_TYPE;
 186
 187 typedef struct declarator
 188   {
 189     DECLARATOR_TYPE dcl_type;           /* POINTER,ARRAY or FUNCTION  */
 190     unsigned int num_elem;              /* # of elems if type==array, */
 191                                         /* always 0 for flexible arrays */
 192     unsigned ptr_const:1;               /* pointer is constant        */
 193     unsigned ptr_volatile:1;            /* pointer is volatile        */
 194     struct sym_link *tspec;             /* pointer type specifier     */
 195   }
 196 declarator;
 197
 198 typedef enum {
 199   DECLARATOR=1,
 200   SPECIFIER
 201 } SYM_LINK_CLASS;
 202 #define DECLSPEC2TXT(select) (select==DECLARATOR?"DECLARATOR":select==SPECIFIER?"SPECIFIER":"UNKNOW")
 203
 204 typedef struct sym_link
 205   {
 206     SYM_LINK_CLASS class;               /* DECLARATOR or SPECIFIER    */
 207     unsigned tdef:1;                    /* current link created by    */
 208     /* typedef if this flag is set */
 209     union
 210       {
 211         specifier s;                    /* if CLASS == SPECIFIER      */
 212         declarator d;                   /* if CLASS == DECLARATOR     */
 213       } select;
 214
 215     /* function attributes */
 216     struct {
 217       struct value *args;               /* the defined arguments      */
 218       unsigned hasVargs:1;              /* functions has varargs      */
 219       unsigned calleeSaves:1;           /* functions uses callee save */
 220       unsigned hasbody:1;               /* function body defined      */
 221       unsigned hasFcall:1;              /* does it call other functions */
 222       unsigned reent:1;                 /* function is reentrant      */
 223       unsigned naked:1;                 /* naked function             */
 224
 225       unsigned shadowregs:1;            /* function uses shadow registers (pic16 port) */
 226       unsigned wparam:1;                /* first byte of arguments is passed via WREG (pic16 port) */
 227       unsigned nonbanked:1;             /* function has the nonbanked attribute */
 228       unsigned banked:1;                /* function has the banked attribute */
 229       unsigned critical:1;              /* critical function          */
 230       unsigned intrtn:1;                /* this is an interrupt routine */
 231       unsigned rbank:1;                 /* seperate register bank     */
 232       unsigned intno;                   /* 1=Interrupt svc routine    */
 233       short    regbank;                 /* register bank 2b used      */
 234       unsigned builtin;                 /* is a builtin function      */
 235       unsigned javaNative;              /* is a JavaNative Function (TININative ONLY) */
 236       unsigned overlay;                 /* force parameters & locals into overlay segment */
 237       unsigned hasStackParms;           /* function has parameters on stack */
 238     } funcAttrs;
 239
 240     struct sym_link *next;              /* next element on the chain  */
 241   }
 242 sym_link;
 243
 244 typedef struct symbol
 245   {
 246     char name[SDCC_SYMNAME_MAX + 1];    /* Input Variable Name     */
 247     char rname[SDCC_NAME_MAX + 1];      /* internal name           */
 248
 249     short level;                        /* declration lev,fld offset */
 250     short block;                        /* sequential block # of defintion */
 251     int key;
 252     unsigned flexArrayLength;           /* if the symbol specifies a struct
 253     with a "flexible array member", then the additional length in bytes for
 254     the "fam" is stored here. Because the lenght can be different from symbol
 255     to symbol AND v_struct isn't copied in copyLinkChain(), it's located here
 256     in the symbol and not in v_struct or the declarator */
 257     unsigned implicit:1;                /* implicit flag                     */
 258     unsigned undefined:1;               /* undefined variable                */
 259     unsigned _isparm:1;                 /* is a parameter          */
 260     unsigned ismyparm:1;                /* is parameter of the function being generated */
 261     unsigned isitmp:1;                  /* is an intermediate temp */
 262     unsigned islbl:1;                   /* is a temporary label */
 263     unsigned isref:1;                   /* has been referenced  */
 264     unsigned isind:1;                   /* is a induction variable */
 265     unsigned isinvariant:1;             /* is a loop invariant  */
 266     unsigned cdef:1;                    /* compiler defined symbol */
 267     unsigned addrtaken:1;               /* address of the symbol was taken */
 268     unsigned isreqv:1;                  /* is the register quivalent of a symbol */
 269     unsigned udChked:1;                 /* use def checking has been already done */
 270
 271     /* following flags are used by the backend
 272        for code generation and can be changed
 273        if a better scheme for backend is thought of */
 274     unsigned isLiveFcall:1;             /* is live at or across a function call */
 275     unsigned isspilt:1;                 /* has to be spilt */
 276     unsigned spillA:1;                  /* spilt be register allocator */
 277     unsigned remat:1;                   /* can be remateriazed */
 278     unsigned isptr:1;                   /* is a pointer */
 279     unsigned uptr:1;                    /* used as a pointer */
 280     unsigned isFree:1;                  /* used by register allocator */
 281     unsigned islocal:1;                 /* is a local variable        */
 282     unsigned blockSpil:1;               /* spilt at block level       */
 283     unsigned remainSpil:1;              /* spilt because not used in remainder */
 284     unsigned stackSpil:1;               /* has been spilt on temp stack location */
 285     unsigned onStack:1;                 /* this symbol allocated on the stack */
 286     unsigned iaccess:1;                 /* indirect access      */
 287     unsigned ruonly:1;                  /* used in return statement only */
 288     unsigned spildir:1;                 /* spilt in direct space */
 289     unsigned ptrreg:1;                  /* this symbol assigned to a ptr reg */
 290     unsigned noSpilLoc:1;               /* cannot be assigned a spil location */
 291     unsigned isstrlit;                  /* is a string literal and it's usage count  */
 292     unsigned accuse;                    /* can be left in the accumulator
 293                                            On the Z80 accuse is divided into
 294                                            ACCUSE_A and ACCUSE_HL as the idea
 295                                            is quite similar.
 296                                          */
 297     unsigned dptr;                      /* 8051 variants with multiple DPTRS
 298                                            currently implemented in DS390 only
 299                                         */
 300     int allocreq ;                      /* allocation is required for this variable */
 301     int stack;                          /* offset on stack      */
 302     int xstack;                         /* offset on xternal stack */
 303     short nRegs;                        /* number of registers required */
 304     short regType;                      /* type of register required    */
 305
 306     struct regs *regs[4];               /* can have at the most 4 registers */
 307     struct asmop *aop;                  /* asmoperand for this symbol */
 308     struct iCode *fuse;                 /* furthest use */
 309     struct iCode *rematiCode;           /* rematerialise with which instruction */
 310     struct operand *reqv;               /* register equivalent of a local variable */
 311     struct symbol *prereqv;             /* symbol before register equiv. substituion */
 312     struct symbol *psbase;              /* if pseudo symbol, the symbol it is based on */
 313     union
 314       {
 315         struct symbol *spillLoc;        /* register spil location */
 316         struct set *itmpStack;          /* symbols spilt @ this stack location */
 317       }
 318     usl;
 319     short bitVar;                       /* this is a bit variable    */
 320     unsigned offset;                    /* offset from top if struct */
 321
 322     int lineDef;                        /* defined line number        */
 323     char *fileDef;                      /* defined filename           */
 324     int lastLine;                       /* for functions the last line */
 325     struct sym_link *type;              /* 1st link to declarator chain */
 326     struct sym_link *etype;             /* last link to declarator chain */
 327     struct symbol *next;                /* crosslink to next symbol   */
 328     struct symbol *localof;             /* local variable of which function */
 329     struct initList *ival;              /* ptr to initializer if any  */
 330     struct bitVect *defs;               /* bit vector for definitions */
 331     struct bitVect *uses;               /* bit vector for uses        */
 332     struct bitVect *regsUsed;           /* for functions registers used */
 333     int liveFrom;                       /* live from iCode sequence number */
 334     int liveTo;                         /* live to sequence number */
 335     int used;                           /* no. of times this was used */
 336     int recvSize;                       /* size of first argument  */
 337     struct bitVect *clashes;            /* overlaps with what other symbols */
 338   }
 339 symbol;
 340
 341 extern sym_link *validateLink(sym_link  *l,
 342                                const char       *macro,
 343                                const char       *args,
 344                                const char       select,
 345                                const char       *file,
 346                                unsigned         line);
 347 /* Easy Access Macros */
 348 #define DCL_TYPE(l)  validateLink(l, "DCL_TYPE", #l, DECLARATOR, __FILE__, __LINE__)->select.d.dcl_type
 349 #define DCL_ELEM(l)  validateLink(l, "DCL_ELEM", #l, DECLARATOR, __FILE__, __LINE__)->select.d.num_elem
 350 #define DCL_PTR_CONST(l) validateLink(l, "DCL_PTR_CONST", #l, DECLARATOR, __FILE__, __LINE__)->select.d.ptr_const
 351 #define DCL_PTR_VOLATILE(l) validateLink(l, "DCL_PTR_VOLATILE", #l, DECLARATOR, __FILE__, __LINE__)->select.d.ptr_volatile
 352 #define DCL_TSPEC(l) validateLink(l, "DCL_TSPEC", #l, DECLARATOR, __FILE__, __LINE__)->select.d.tspec
 353
 354 #define FUNC_DEBUG //assert(IS_FUNC(x));
 355 #define FUNC_HASVARARGS(x) (x->funcAttrs.hasVargs)
 356 #define IFFUNC_HASVARARGS(x) (IS_FUNC(x) && FUNC_HASVARARGS(x))
 357 #define FUNC_ARGS(x) (x->funcAttrs.args)
 358 #define IFFUNC_ARGS(x) (IS_FUNC(x) && FUNC_ARGS(x))
 359 #define FUNC_HASFCALL(x) (x->funcAttrs.hasFcall)
 360 #define IFFUNC_HASFCALL(x) (IS_FUNC(x) && FUNC_HASFCALL(x))
 361 #define FUNC_HASBODY(x) (x->funcAttrs.hasbody)
 362 #define IFFUNC_HASBODY(x) (IS_FUNC(x) && FUNC_HASBODY(x))
 363 #define FUNC_CALLEESAVES(x) (x->funcAttrs.calleeSaves)
 364 #define IFFUNC_CALLEESAVES(x) (IS_FUNC(x) && FUNC_CALLEESAVES(x))
 365 #define FUNC_ISISR(x) (x->funcAttrs.intrtn)
 366 #define IFFUNC_ISISR(x) (IS_FUNC(x) && FUNC_ISISR(x))
 367 #define IFFUNC_RBANK(x) (IS_FUNC(x) && FUNC_RBANK(x))
 368 #define FUNC_INTNO(x) (x->funcAttrs.intno)
 369 #define FUNC_REGBANK(x) (x->funcAttrs.regbank)
 370 #define FUNC_HASSTACKPARM(x) (x->funcAttrs.hasStackParms)
 371
 372 #define FUNC_ISREENT(x) (x->funcAttrs.reent)
 373 #define IFFUNC_ISREENT(x) (IS_FUNC(x) && FUNC_ISREENT(x))
 374 #define FUNC_ISSHADOWREGS(x) (x->funcAttrs.shadowregs)
 375 #define IFFUNC_ISSHADOWREGS(x) (IS_FUNC(x) && FUNC_ISSHADOWREGS(x))
 376 #define FUNC_ISWPARAM(x) (x->funcAttrs.wparam)
 377 #define IFFUNC_ISWPARAM(x) (IS_FUNC(x) && FUNC_ISWPARAM(x))
 378 #define FUNC_ISNAKED(x) (x->funcAttrs.naked)
 379 #define IFFUNC_ISNAKED(x) (IS_FUNC(x) && FUNC_ISNAKED(x))
 380 #define FUNC_NONBANKED(x) (x->funcAttrs.nonbanked)
 381 #define IFFUNC_NONBANKED(x) (IS_FUNC(x) && FUNC_NONBANKED(x))
 382 #define FUNC_BANKED(x) (x->funcAttrs.banked)
 383 #define IFFUNC_BANKED(x) (IS_FUNC(x) && FUNC_BANKED(x))
 384 #define FUNC_ISCRITICAL(x) (x->funcAttrs.critical)
 385 #define IFFUNC_ISCRITICAL(x) (IS_FUNC(x) && FUNC_ISCRITICAL(x))
 386 #define FUNC_ISBUILTIN(x) (x->funcAttrs.builtin)
 387 #define IFFUNC_ISBUILTIN(x) (IS_FUNC(x) && FUNC_ISBUILTIN(x))
 388 #define FUNC_ISJAVANATIVE(x) (x->funcAttrs.javaNative)
 389 #define IFFUNC_ISJAVANATIVE(x) (IS_FUNC(x) && FUNC_ISJAVANATIVE(x))
 390 #define FUNC_ISOVERLAY(x) (x->funcAttrs.overlay)
 391 #define IFFUNC_ISOVERLAY(x) (IS_FUNC(x) && FUNC_ISOVERLAY(x))
 392
 393 #define IFFUNC_ISBANKEDCALL(x) (!IFFUNC_NONBANKED(x) && \
 394   (options.model == MODEL_HUGE || \
 395    ((options.model == MODEL_LARGE || options.model == MODEL_MEDIUM) && \
 396    (TARGET_IS_Z80 || TARGET_IS_GBZ80)) || \
 397   IFFUNC_BANKED(x)))
 398
 399 #define SPEC_NOUN(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.noun
 400 #define SPEC_LONG(x) validateLink(x, "SPEC_LONG", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_long
 401 #define SPEC_SHORT(x) validateLink(x, "SPEC_LONG", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_short
 402 #define SPEC_USIGN(x) validateLink(x, "SPEC_USIGN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_unsigned
 403 #define SPEC_SCLS(x) validateLink(x, "SPEC_SCLS", #x, SPECIFIER, __FILE__, __LINE__)->select.s.sclass
 404 #define SPEC_ENUM(x) validateLink(x, "SPEC_ENUM", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_isenum
 405 #define SPEC_OCLS(x) validateLink(x, "SPEC_OCLS", #x, SPECIFIER, __FILE__, __LINE__)->select.s.oclass
 406 #define SPEC_STAT(x) validateLink(x, "SPEC_STAT", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_static
 407 #define SPEC_EXTR(x) validateLink(x, "SPEC_EXTR", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_extern
 408 #define SPEC_CODE(x) validateLink(x, "SPEC_CODE", #x, SPECIFIER, __FILE__, __LINE__)->select.s._codesg
 409 #define SPEC_ABSA(x) validateLink(x, "SPEC_ABSA", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_absadr
 410 #define SPEC_BANK(x) validateLink(x, "SPEC_BANK", #x, SPECIFIER, __FILE__, __LINE__)->select.s._regbank
 411 #define SPEC_ADDR(x) validateLink(x, "SPEC_ADDR", #x, SPECIFIER, __FILE__, __LINE__)->select.s._addr
 412 #define SPEC_STAK(x) validateLink(x, "SPEC_STAK", #x, SPECIFIER, __FILE__, __LINE__)->select.s._stack
 413 #define SPEC_CVAL(x) validateLink(x, "SPEC_CVAL", #x, SPECIFIER, __FILE__, __LINE__)->select.s.const_val
 414 #define SPEC_BSTR(x) validateLink(x, "SPEC_BSTR", #x, SPECIFIER, __FILE__, __LINE__)->select.s._bitStart
 415 #define SPEC_BLEN(x) validateLink(x, "SPEC_BLEN", #x, SPECIFIER, __FILE__, __LINE__)->select.s._bitLength
 416
 417 /* Sleaze: SPEC_ISR_SAVED_BANKS is only used on
 418  * function type symbols, which obviously cannot
 419  * be of BIT type. Therefore, we recycle the
 420  * _bitStart field instead of defining a new field.
 421  */
 422 #define SPEC_ISR_SAVED_BANKS(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s._bitStart
 423 #define SPEC_VOLATILE(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_volatile
 424 #define SPEC_CONST(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_const
 425 #define SPEC_STRUCT(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.v_struct
 426 #define SPEC_TYPEDEF(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_typedef
 427 #define SPEC_REGPARM(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.b_isregparm
 428 #define SPEC_ARGREG(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.argreg
 429
 430 /* type check macros */
 431 #define IS_DECL(x)   ( x && x->class == DECLARATOR      )
 432 #define IS_SPEC(x)   ( x && x->class == SPECIFIER  )
 433 #define IS_ARRAY(x)  (IS_DECL(x) && DCL_TYPE(x) == ARRAY)
 434 #define IS_DATA_PTR(x) (IS_DECL(x) && DCL_TYPE(x) == POINTER)
 435 #define IS_PTR(x)    (IS_DECL(x) && (DCL_TYPE(x) == POINTER    ||    \
 436                                      DCL_TYPE(x) == FPOINTER   ||    \
 437                                      DCL_TYPE(x) == GPOINTER   ||    \
 438                                      DCL_TYPE(x) == IPOINTER   ||    \
 439                                      DCL_TYPE(x) == PPOINTER   ||    \
 440                                      DCL_TYPE(x) == EEPPOINTER ||    \
 441                                      DCL_TYPE(x) == CPOINTER   ||    \
 442                                      DCL_TYPE(x) == UPOINTER  ))
 443 #define IS_PTR_CONST(x) (IS_PTR(x) && DCL_PTR_CONST(x))
 444 #define IS_FARPTR(x) (IS_DECL(x) && DCL_TYPE(x) == FPOINTER)
 445 #define IS_CODEPTR(x) (IS_DECL(x) && DCL_TYPE(x) == CPOINTER)
 446 #define IS_GENPTR(x) (IS_DECL(x) && DCL_TYPE(x) == GPOINTER)
 447 #define IS_FUNCPTR(x) (IS_DECL(x) && (DCL_TYPE(x) == CPOINTER || DCL_TYPE(x) == GPOINTER) && IS_FUNC(x->next))
 448 #define IS_FUNC(x)   (IS_DECL(x) && DCL_TYPE(x) == FUNCTION)
 449 #define IS_LONG(x)   (IS_SPEC(x) && x->select.s.b_long)
 450 #define IS_UNSIGNED(x) (IS_SPEC(x) && x->select.s.b_unsigned)
 451 #define IS_TYPEDEF(x)(IS_SPEC(x) && x->select.s.b_typedef)
 452 #define IS_CONSTANT(x)  (!x ? 0 : \
 453                            IS_SPEC(x) ? \
 454                            x->select.s.b_const : \
 455                            x->select.d.ptr_const)
 456 #define IS_STRUCT(x) (IS_SPEC(x) && x->select.s.noun == V_STRUCT)
 457 #define IS_ABSOLUTE(x)  (IS_SPEC(x) && x->select.s.b_absadr )
 458 #define IS_REGISTER(x)  (IS_SPEC(x) && SPEC_SCLS(x) == S_REGISTER)
 459 #define IS_RENT(x)   (IS_SPEC(x) && x->select.s._reent )
 460 #define IS_STATIC(x) (IS_SPEC(x) && SPEC_STAT(x))
 461 #define IS_INT(x)    (IS_SPEC(x) && x->select.s.noun == V_INT)
 462 #define IS_VOID(x)   (IS_SPEC(x) && x->select.s.noun == V_VOID)
 463 #define IS_CHAR(x)   (IS_SPEC(x) && x->select.s.noun == V_CHAR)
 464 #define IS_EXTERN(x)    (IS_SPEC(x) && x->select.s.b_extern)
 465 #define IS_VOLATILE(x)  (!x ? 0 : \
 466                            IS_SPEC(x) ? \
 467                            x->select.s.b_volatile : \
 468                            x->select.d.ptr_volatile)
 469 #define IS_INTEGRAL(x) (IS_SPEC(x) && (x->select.s.noun == V_INT ||  \
 470                                        x->select.s.noun == V_CHAR || \
 471                                        x->select.s.noun == V_BITFIELD || \
 472                                        x->select.s.noun == V_BIT ||  \
 473                                        x->select.s.noun == V_SBIT ))
 474 #define IS_BITFIELD(x) (IS_SPEC(x) && (x->select.s.noun == V_BITFIELD))
 475 #define IS_BITVAR(x) (IS_SPEC(x) && (x->select.s.noun == V_BITFIELD || \
 476                                      x->select.s.noun  == V_BIT ||   \
 477                                      x->select.s.noun == V_SBIT ))
 478 #define IS_BIT(x) (IS_SPEC(x) && (x->select.s.noun  == V_BIT ||   \
 479                                   x->select.s.noun == V_SBIT ))
 480 #define IS_FLOAT(x)  (IS_SPEC(x) && x->select.s.noun == V_FLOAT)
 481 #define IS_FIXED16X16(x)  (IS_SPEC(x) && x->select.s.noun == V_FIXED16X16)
 482 #define IS_FIXED(x) (IS_FIXED16X16(x))
 483 #define IS_ARITHMETIC(x) (IS_INTEGRAL(x) || IS_FLOAT(x) || IS_FIXED(x))
 484 #define IS_AGGREGATE(x) (IS_ARRAY(x) || IS_STRUCT(x))
 485 #define IS_LITERAL(x)   (IS_SPEC(x)  && x->select.s.sclass == S_LITERAL)
 486 #define IS_CODE(x)      (IS_SPEC(x)  && SPEC_SCLS(x) == S_CODE)
 487 #define IS_REGPARM(x)   (IS_SPEC(x) && SPEC_REGPARM(x))
 488
 489 /* symbol check macros */
 490 #define IS_AUTO(x) (x->level && !IS_STATIC(x->etype) && !IS_EXTERN(x->etype))
 491
 492 /* forward declaration for the global vars */
 493 extern bucket *SymbolTab[];
 494 extern bucket *StructTab[];
 495 extern bucket *TypedefTab[];
 496 extern bucket *LabelTab[];
 497 extern bucket *enumTab[];
 498 extern symbol *__fsadd;
 499 extern symbol *__fssub;
 500 extern symbol *__fsmul;
 501 extern symbol *__fsdiv;
 502 extern symbol *__fseq;
 503 extern symbol *__fsneq;
 504 extern symbol *__fslt;
 505 extern symbol *__fslteq;
 506 extern symbol *__fsgt;
 507 extern symbol *__fsgteq;
 508
 509 extern symbol *__fps16x16_add;
 510 extern symbol *__fps16x16_sub;
 511 extern symbol *__fps16x16_mul;
 512 extern symbol *__fps16x16_div;
 513 extern symbol *__fps16x16_eq;
 514 extern symbol *__fps16x16_neq;
 515 extern symbol *__fps16x16_lt;
 516 extern symbol *__fps16x16_lteq;
 517 extern symbol *__fps16x16_gt;
 518 extern symbol *__fps16x16_gteq;
 519
 520 /* Dims: mul/div/mod, BYTE/WORD/DWORD, SIGNED/UNSIGNED */
 521 extern symbol *__muldiv[3][3][2];
 522 /* Dims: BYTE/WORD/DWORD SIGNED/UNSIGNED */
 523 extern sym_link *__multypes[3][2];
 524 /* Dims: to/from float, BYTE/WORD/DWORD, SIGNED/USIGNED */
 525 extern symbol *__conv[2][3][2];
 526 /* Dims: to/from fixed16x16, BYTE/WORD/DWORD/FLOAT, SIGNED/USIGNED */
 527 extern symbol *__fp16x16conv[2][4][2];
 528 /* Dims: shift left/shift right, BYTE/WORD/DWORD, SIGNED/UNSIGNED */
 529 extern symbol *__rlrr[2][3][2];
 530
 531 #define CHARTYPE        __multypes[0][0]
 532 #define UCHARTYPE       __multypes[0][1]
 533 #define INTTYPE         __multypes[1][0]
 534 #define UINTTYPE        __multypes[1][1]
 535 #define LONGTYPE        __multypes[2][0]
 536 #define ULONGTYPE       __multypes[2][1]
 537
 538 extern sym_link *floatType;
 539 extern sym_link *fixed16x16Type;
 540
 541 #include "SDCCval.h"
 542
 543 typedef enum
 544 {
 545   RESULT_TYPE_NONE = 0, /* operands will be promoted to int */
 546   RESULT_TYPE_BIT,
 547   RESULT_TYPE_CHAR,
 548   RESULT_TYPE_INT,
 549   RESULT_TYPE_OTHER,    /* operands will be promoted to int */
 550   RESULT_TYPE_IFX,
 551 } RESULT_TYPE;
 552
 553 /* forward definitions for the symbol table related functions */
 554 void initSymt ();
 555 symbol *newSymbol (char *, int);
 556 sym_link *newLink (SYM_LINK_CLASS);
 557 sym_link *newFloatLink ();
 558 structdef *newStruct (char *);
 559 void addDecl (symbol *, int, sym_link *);
 560 sym_link *mergeSpec (sym_link *, sym_link *, char *name);
 561 symbol *reverseSyms (symbol *);
 562 sym_link *reverseLink (sym_link *);
 563 symbol *copySymbol (symbol *);
 564 symbol *copySymbolChain (symbol *);
 565 void printSymChain (symbol *, int);
 566 void printStruct (structdef *, int);
 567 char *genSymName (int);
 568 sym_link *getSpec (sym_link *);
 569 char *genSymName (int);
 570 int compStructSize (int, structdef *);
 571 sym_link *copyLinkChain (sym_link *);
 572 int checkDecl (symbol *, int);
 573 void checkBasic (sym_link *, sym_link *);
 574 value *checkPointerIval (sym_link *, value *);
 575 value *checkStructIval (symbol *, value *);
 576 value *checkArrayIval (sym_link *, value *);
 577 value *checkIval (sym_link *, value *);
 578 unsigned int getSize (sym_link *);
 579 unsigned int bitsForType (sym_link *);
 580 sym_link *newIntLink ();
 581 sym_link *newCharLink ();
 582 sym_link *newLongLink ();
 583 sym_link *newBoolLink ();
 584 int compareType (sym_link *, sym_link *);
 585 int compareTypeExact (sym_link *, sym_link *, int);
 586 int checkFunction (symbol *, symbol *);
 587 void cleanUpLevel (bucket **, int);
 588 void cleanUpBlock (bucket **, int);
 589 int funcInChain (sym_link *);
 590 void addSymChain (symbol **);
 591 sym_link *structElemType (sym_link *, value *);
 592 symbol *getStructElement (structdef *, symbol *);
 593 sym_link *computeType (sym_link *, sym_link *, RESULT_TYPE, int);
 594 void processFuncArgs (symbol *);
 595 int isSymbolEqual (symbol *, symbol *);
 596 int powof2 (TYPE_UDWORD);
 597 void printTypeChain (sym_link *, FILE *);
 598 void printTypeChainRaw (sym_link *, FILE *);
 599 void initCSupport ();
 600 void initBuiltIns ();
 601 void pointerTypes (sym_link *, sym_link *);
 602 void cdbStructBlock (int);
 603 void initHashT ();
 604 bucket *newBucket ();
 605 void addSym (bucket **, void *, char *, int, int, int checkType);
 606 void deleteSym (bucket **, void *, char *);
 607 void *findSym (bucket **, void *, const char *);
 608 void *findSymWithLevel (bucket **, struct symbol *);
 609 void *findSymWithBlock (bucket **, struct symbol *, int);
 610 void changePointer (sym_link * p);
 611 void checkTypeSanity(sym_link *etype, char *name);
 612 sym_link *typeFromStr (char *) ;
 613 STORAGE_CLASS sclsFromPtr(sym_link *ptr);
 614 sym_link *newEnumType (symbol *);
 615 void  promoteAnonStructs (int, structdef *);
 616
 617
 618 extern char *nounName(sym_link *); /* noun strings */
 619 extern void printFromToType (sym_link *, sym_link *);
 620
 621 #endif