1 /*-------------------------------------------------------------------------
2 SDCCsymt.h - Header file for Symbols table related structures and MACRO's.
3 Written By - Sandeep Dutta . sandeep.dutta@usa.net (1998)
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
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.
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.
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 -------------------------------------------------------------------------*/
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"
33 #define INTNO_MAX 255 /* maximum allowed interrupt number */
34 #define INTNO_UNSPEC (INTNO_MAX+1) /* interrupt number unspecified */
61 // values for first byte of generic pointer.
65 #define GPTYPE_XSTACK 3
67 #define HASHTAB_SIZE 256
69 /* hash table bucket */
72 void *sym; /* pointer to the object */
73 char name[SDCC_NAME_MAX + 1]; /* name of this symbol */
74 int level; /* nest level for this symbol */
75 int block; /* belongs to which block */
76 struct bucket *prev; /* ptr 2 previous bucket */
77 struct bucket *next; /* ptr 2 next bucket */
81 typedef struct structdef
83 char tag[SDCC_NAME_MAX + 1]; /* tag part of structure */
84 unsigned char level; /* Nesting level */
85 struct symbol *fields; /* pointer to fields */
86 unsigned size; /* sizeof the table in bytes */
87 int type; /* STRUCT or UNION */
91 /* noun definitions */
128 /* specifier is the last in the type-chain */
129 typedef struct specifier
131 NOUN noun; /* CHAR INT STRUCTURE LABEL */
132 STORAGE_CLASS sclass; /* REGISTER,AUTO,FIX,CONSTANT */
133 struct memmap *oclass; /* output storage class */
134 unsigned _long:1; /* 1=long */
135 unsigned _short:1; /* 1=short int */
136 unsigned _unsigned:1; /* 1=unsigned, 0=signed */
137 unsigned _signed:1; /* just for sanity checks only*/
138 unsigned _static:1; /* 1=static keyword found */
139 unsigned _extern:1; /* 1=extern found */
140 unsigned _absadr:1; /* absolute address specfied */
141 unsigned _volatile:1; /* is marked as volatile */
142 unsigned _const:1; /* is a constant */
143 unsigned _typedef:1; /* is typedefed */
144 unsigned _isregparm:1; /* is the first parameter */
145 unsigned _isenum:1; /* is an enumerated type */
146 unsigned _addr; /* address of symbol */
147 unsigned _stack; /* stack offset for stacked v */
148 unsigned _bitStart; /* bit start position */
149 int _bitLength; /* bit length */
150 int argreg; /* reg no for regparm */
152 { /* Values if constant or enum */
153 TYPE_WORD v_int; /* 2 bytes: int and char values */
154 char *v_char; /* character string */
155 TYPE_UWORD v_uint; /* 2 bytes: unsigned int const value */
156 TYPE_DWORD v_long; /* 4 bytes: long constant value */
157 TYPE_UDWORD v_ulong; /* 4 bytes: unsigned long constant value */
158 double v_float; /* floating point constant value */
159 struct symbol *v_enum; /* ptr to enum_list if enum==1 */
162 struct structdef *v_struct; /* structure pointer */
166 /* types of declarators */
169 POINTER = 0, /* pointer to near data */
170 FPOINTER, /* pointer to far data */
171 CPOINTER, /* pointer to code space */
172 GPOINTER, /* _generic pointer */
173 PPOINTER, /* paged area pointer */
174 IPOINTER, /* pointer to upper 128 bytes */
175 UPOINTER, /* unknown pointer used only when parsing */
176 EEPPOINTER, /* pointer to eeprom */
182 typedef struct declarator
184 DECLARATOR_TYPE dcl_type; /* POINTER,ARRAY or FUNCTION */
185 unsigned int num_elem; /* # of elems if type==array */
186 unsigned ptr_const:1; /* pointer is constant */
187 unsigned ptr_volatile:1; /* pointer is volatile */
188 struct sym_link *tspec; /* pointer type specifier */
196 #define DECLSPEC2TXT(select) (select==DECLARATOR?"DECLARATOR":select==SPECIFIER?"SPECIFIER":"UNKNOW")
198 typedef struct sym_link
200 SYM_LINK_CLASS class; /* DECLARATOR or SPECIFIER */
201 unsigned tdef:1; /* current link created by */
202 /* typedef if this flag is set */
205 specifier s; /* if CLASS == SPECIFIER */
206 declarator d; /* if CLASS == DECLARATOR */
209 /* function attributes */
211 struct value *args; /* the defined arguments */
212 unsigned hasVargs:1; /* functions has varargs */
213 unsigned calleeSaves:1; /* functions uses callee save */
214 unsigned hasbody:1; /* function body defined */
215 unsigned hasFcall:1; /* does it call other functions */
216 unsigned reent:1; /* function is reentrant */
217 unsigned naked:1; /* naked function */
219 unsigned shadowregs:1; /* function uses shadow registers (pic16 port) */
220 unsigned wparam:1; /* first byte of arguments is passed via WREG (pic16 port) */
221 unsigned nonbanked:1; /* function has the nonbanked attribute */
222 unsigned banked:1; /* function has the banked attribute */
223 unsigned critical:1; /* critical function */
224 unsigned intrtn:1; /* this is an interrupt routine */
225 unsigned rbank:1; /* seperate register bank */
226 unsigned intno; /* 1=Interrupt svc routine */
227 short regbank; /* register bank 2b used */
228 unsigned builtin; /* is a builtin function */
229 unsigned javaNative; /* is a JavaNative Function (TININative ONLY) */
230 unsigned overlay; /* force parameters & locals into overlay segment */
231 unsigned hasStackParms; /* function has parameters on stack */
234 struct sym_link *next; /* next element on the chain */
238 typedef struct symbol
240 char name[SDCC_SYMNAME_MAX + 1]; /* Input Variable Name */
241 char rname[SDCC_NAME_MAX + 1]; /* internal name */
243 short level; /* declration lev,fld offset */
244 short block; /* sequential block # of defintion */
246 unsigned implicit:1; /* implicit flag */
247 unsigned undefined:1; /* undefined variable */
248 unsigned _isparm:1; /* is a parameter */
249 unsigned ismyparm:1; /* is parameter of the function being generated */
250 unsigned isitmp:1; /* is an intermediate temp */
251 unsigned islbl:1; /* is a temporary label */
252 unsigned isref:1; /* has been referenced */
253 unsigned isind:1; /* is a induction variable */
254 unsigned isinvariant:1; /* is a loop invariant */
255 unsigned cdef:1; /* compiler defined symbol */
256 unsigned addrtaken:1; /* address of the symbol was taken */
257 unsigned isreqv:1; /* is the register quivalent of a symbol */
258 unsigned udChked:1; /* use def checking has been already done */
260 /* following flags are used by the backend
261 for code generation and can be changed
262 if a better scheme for backend is thought of */
263 unsigned isLiveFcall:1; /* is live at or across a function call */
264 unsigned isspilt:1; /* has to be spilt */
265 unsigned spillA:1; /* spilt be register allocator */
266 unsigned remat:1; /* can be remateriazed */
267 unsigned isptr:1; /* is a pointer */
268 unsigned uptr:1; /* used as a pointer */
269 unsigned isFree:1; /* used by register allocator */
270 unsigned islocal:1; /* is a local variable */
271 unsigned blockSpil:1; /* spilt at block level */
272 unsigned remainSpil:1; /* spilt because not used in remainder */
273 unsigned stackSpil:1; /* has been spilt on temp stack location */
274 unsigned onStack:1; /* this symbol allocated on the stack */
275 unsigned iaccess:1; /* indirect access */
276 unsigned ruonly:1; /* used in return statement only */
277 unsigned spildir:1; /* spilt in direct space */
278 unsigned ptrreg:1; /* this symbol assigned to a ptr reg */
279 unsigned noSpilLoc:1; /* cannot be assigned a spil location */
280 unsigned isstrlit; /* is a string literal and it's usage count */
281 unsigned accuse; /* can be left in the accumulator
282 On the Z80 accuse is divided into
283 ACCUSE_A and ACCUSE_HL as the idea
286 unsigned dptr; /* 8051 variants with multiple DPTRS
287 currently implemented in DS390 only
289 int allocreq ; /* allocation is required for this variable */
290 int stack; /* offset on stack */
291 int xstack; /* offset on xternal stack */
292 short nRegs; /* number of registers required */
293 short regType; /* type of register required */
295 struct regs *regs[4]; /* can have at the most 4 registers */
296 struct asmop *aop; /* asmoperand for this symbol */
297 struct iCode *fuse; /* furthest use */
298 struct iCode *rematiCode; /* rematerialise with which instruction */
299 struct operand *reqv; /* register equivalent of a local variable */
300 struct symbol *prereqv; /* symbol before register equiv. substituion */
301 struct symbol *psbase; /* if pseudo symbol, the symbol it is based on */
304 struct symbol *spillLoc; /* register spil location */
305 struct set *itmpStack; /* symbols spilt @ this stack location */
308 short bitVar; /* this is a bit variable */
309 unsigned offset; /* offset from top if struct */
311 int lineDef; /* defined line number */
312 char *fileDef; /* defined filename */
313 int lastLine; /* for functions the last line */
314 struct sym_link *type; /* 1st link to declarator chain */
315 struct sym_link *etype; /* last link to declarator chain */
316 struct symbol *next; /* crosslink to next symbol */
317 struct symbol *localof; /* local variable of which function */
318 struct initList *ival; /* ptr to initializer if any */
319 struct bitVect *defs; /* bit vector for definitions */
320 struct bitVect *uses; /* bit vector for uses */
321 struct bitVect *regsUsed; /* for functions registers used */
322 int liveFrom; /* live from iCode sequence number */
323 int liveTo; /* live to sequence number */
324 int used; /* no. of times this was used */
325 int recvSize; /* size of first argument */
326 struct bitVect *clashes; /* overlaps with what other symbols */
330 extern sym_link *validateLink(sym_link *l,
336 /* Easy Access Macros */
337 #define DCL_TYPE(l) validateLink(l, "DCL_TYPE", #l, DECLARATOR, __FILE__, __LINE__)->select.d.dcl_type
338 #define DCL_ELEM(l) validateLink(l, "DCL_ELEM", #l, DECLARATOR, __FILE__, __LINE__)->select.d.num_elem
339 #define DCL_PTR_CONST(l) validateLink(l, "DCL_PTR_CONST", #l, DECLARATOR, __FILE__, __LINE__)->select.d.ptr_const
340 #define DCL_PTR_VOLATILE(l) validateLink(l, "DCL_PTR_VOLATILE", #l, DECLARATOR, __FILE__, __LINE__)->select.d.ptr_volatile
341 #define DCL_TSPEC(l) validateLink(l, "DCL_TSPEC", #l, DECLARATOR, __FILE__, __LINE__)->select.d.tspec
343 #define FUNC_DEBUG //assert(IS_FUNC(x));
344 #define FUNC_HASVARARGS(x) (x->funcAttrs.hasVargs)
345 #define IFFUNC_HASVARARGS(x) (IS_FUNC(x) && FUNC_HASVARARGS(x))
346 #define FUNC_ARGS(x) (x->funcAttrs.args)
347 #define IFFUNC_ARGS(x) (IS_FUNC(x) && FUNC_ARGS(x))
348 #define FUNC_HASFCALL(x) (x->funcAttrs.hasFcall)
349 #define IFFUNC_HASFCALL(x) (IS_FUNC(x) && FUNC_HASFCALL(x))
350 #define FUNC_HASBODY(x) (x->funcAttrs.hasbody)
351 #define IFFUNC_HASBODY(x) (IS_FUNC(x) && FUNC_HASBODY(x))
352 #define FUNC_CALLEESAVES(x) (x->funcAttrs.calleeSaves)
353 #define IFFUNC_CALLEESAVES(x) (IS_FUNC(x) && FUNC_CALLEESAVES(x))
354 #define FUNC_ISISR(x) (x->funcAttrs.intrtn)
355 #define IFFUNC_ISISR(x) (IS_FUNC(x) && FUNC_ISISR(x))
356 #define IFFUNC_RBANK(x) (IS_FUNC(x) && FUNC_RBANK(x))
357 #define FUNC_INTNO(x) (x->funcAttrs.intno)
358 #define FUNC_REGBANK(x) (x->funcAttrs.regbank)
359 #define FUNC_HASSTACKPARM(x) (x->funcAttrs.hasStackParms)
361 #define FUNC_ISREENT(x) (x->funcAttrs.reent)
362 #define IFFUNC_ISREENT(x) (IS_FUNC(x) && FUNC_ISREENT(x))
363 #define FUNC_ISSHADOWREGS(x) (x->funcAttrs.shadowregs)
364 #define IFFUNC_ISSHADOWREGS(x) (IS_FUNC(x) && FUNC_ISSHADOWREGS(x))
365 #define FUNC_ISWPARAM(x) (x->funcAttrs.wparam)
366 #define IFFUNC_ISWPARAM(x) (IS_FUNC(x) && FUNC_ISWPARAM(x))
367 #define FUNC_ISNAKED(x) (x->funcAttrs.naked)
368 #define IFFUNC_ISNAKED(x) (IS_FUNC(x) && FUNC_ISNAKED(x))
369 #define FUNC_NONBANKED(x) (x->funcAttrs.nonbanked)
370 #define IFFUNC_NONBANKED(x) (IS_FUNC(x) && FUNC_NONBANKED(x))
371 #define FUNC_BANKED(x) (x->funcAttrs.banked)
372 #define IFFUNC_BANKED(x) (IS_FUNC(x) && FUNC_BANKED(x))
373 #define FUNC_ISCRITICAL(x) (x->funcAttrs.critical)
374 #define IFFUNC_ISCRITICAL(x) (IS_FUNC(x) && FUNC_ISCRITICAL(x))
375 #define FUNC_ISBUILTIN(x) (x->funcAttrs.builtin)
376 #define IFFUNC_ISBUILTIN(x) (IS_FUNC(x) && FUNC_ISBUILTIN(x))
377 #define FUNC_ISJAVANATIVE(x) (x->funcAttrs.javaNative)
378 #define IFFUNC_ISJAVANATIVE(x) (IS_FUNC(x) && FUNC_ISJAVANATIVE(x))
379 #define FUNC_ISOVERLAY(x) (x->funcAttrs.overlay)
380 #define IFFUNC_ISOVERLAY(x) (IS_FUNC(x) && FUNC_ISOVERLAY(x))
382 #define IFFUNC_ISBANKEDCALL(x) (!IFFUNC_NONBANKED(x) && \
383 (options.model == MODEL_LARGE || \
384 options.model == MODEL_MEDIUM || \
387 #define SPEC_NOUN(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.noun
388 #define SPEC_LONG(x) validateLink(x, "SPEC_LONG", #x, SPECIFIER, __FILE__, __LINE__)->select.s._long
389 #define SPEC_SHORT(x) validateLink(x, "SPEC_LONG", #x, SPECIFIER, __FILE__, __LINE__)->select.s._short
390 #define SPEC_USIGN(x) validateLink(x, "SPEC_USIGN", #x, SPECIFIER, __FILE__, __LINE__)->select.s._unsigned
391 #define SPEC_SCLS(x) validateLink(x, "SPEC_SCLS", #x, SPECIFIER, __FILE__, __LINE__)->select.s.sclass
392 #define SPEC_ENUM(x) validateLink(x, "SPEC_ENUM", #x, SPECIFIER, __FILE__, __LINE__)->select.s._isenum
393 #define SPEC_OCLS(x) validateLink(x, "SPEC_OCLS", #x, SPECIFIER, __FILE__, __LINE__)->select.s.oclass
394 #define SPEC_STAT(x) validateLink(x, "SPEC_STAT", #x, SPECIFIER, __FILE__, __LINE__)->select.s._static
395 #define SPEC_EXTR(x) validateLink(x, "SPEC_EXTR", #x, SPECIFIER, __FILE__, __LINE__)->select.s._extern
396 #define SPEC_CODE(x) validateLink(x, "SPEC_CODE", #x, SPECIFIER, __FILE__, __LINE__)->select.s._codesg
397 #define SPEC_ABSA(x) validateLink(x, "SPEC_ABSA", #x, SPECIFIER, __FILE__, __LINE__)->select.s._absadr
398 #define SPEC_BANK(x) validateLink(x, "SPEC_BANK", #x, SPECIFIER, __FILE__, __LINE__)->select.s._regbank
399 #define SPEC_ADDR(x) validateLink(x, "SPEC_ADDR", #x, SPECIFIER, __FILE__, __LINE__)->select.s._addr
400 #define SPEC_STAK(x) validateLink(x, "SPEC_STAK", #x, SPECIFIER, __FILE__, __LINE__)->select.s._stack
401 #define SPEC_CVAL(x) validateLink(x, "SPEC_CVAL", #x, SPECIFIER, __FILE__, __LINE__)->select.s.const_val
402 #define SPEC_BSTR(x) validateLink(x, "SPEC_BSTR", #x, SPECIFIER, __FILE__, __LINE__)->select.s._bitStart
403 #define SPEC_BLEN(x) validateLink(x, "SPEC_BLEN", #x, SPECIFIER, __FILE__, __LINE__)->select.s._bitLength
405 /* Sleaze: SPEC_ISR_SAVED_BANKS is only used on
406 * function type symbols, which obviously cannot
407 * be of BIT type. Therefore, we recycle the
408 * _bitStart field instead of defining a new field.
410 #define SPEC_ISR_SAVED_BANKS(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s._bitStart
411 #define SPEC_VOLATILE(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s._volatile
412 #define SPEC_CONST(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s._const
413 #define SPEC_STRUCT(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.v_struct
414 #define SPEC_TYPEDEF(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s._typedef
415 #define SPEC_REGPARM(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s._isregparm
416 #define SPEC_ARGREG(x) validateLink(x, "SPEC_NOUN", #x, SPECIFIER, __FILE__, __LINE__)->select.s.argreg
418 /* type check macros */
419 #define IS_DECL(x) ( x && x->class == DECLARATOR )
420 #define IS_SPEC(x) ( x && x->class == SPECIFIER )
421 #define IS_ARRAY(x) (IS_DECL(x) && DCL_TYPE(x) == ARRAY)
422 #define IS_DATA_PTR(x) (IS_DECL(x) && DCL_TYPE(x) == POINTER)
423 #define IS_PTR(x) (IS_DECL(x) && (DCL_TYPE(x) == POINTER || \
424 DCL_TYPE(x) == FPOINTER || \
425 DCL_TYPE(x) == GPOINTER || \
426 DCL_TYPE(x) == IPOINTER || \
427 DCL_TYPE(x) == PPOINTER || \
428 DCL_TYPE(x) == EEPPOINTER || \
429 DCL_TYPE(x) == CPOINTER || \
430 DCL_TYPE(x) == UPOINTER ))
431 #define IS_PTR_CONST(x) (IS_PTR(x) && DCL_PTR_CONST(x))
432 #define IS_FARPTR(x) (IS_DECL(x) && DCL_TYPE(x) == FPOINTER)
433 #define IS_CODEPTR(x) (IS_DECL(x) && DCL_TYPE(x) == CPOINTER)
434 #define IS_GENPTR(x) (IS_DECL(x) && DCL_TYPE(x) == GPOINTER)
435 #define IS_FUNC(x) (IS_DECL(x) && DCL_TYPE(x) == FUNCTION)
436 #define IS_LONG(x) (IS_SPEC(x) && x->select.s._long)
437 #define IS_UNSIGNED(x) (IS_SPEC(x) && x->select.s._unsigned)
438 #define IS_TYPEDEF(x)(IS_SPEC(x) && x->select.s._typedef)
439 #define IS_CONSTANT(x) (!x ? 0 : \
441 x->select.s._const : \
442 x->select.d.ptr_const)
443 #define IS_STRUCT(x) (IS_SPEC(x) && x->select.s.noun == V_STRUCT)
444 #define IS_ABSOLUTE(x) (IS_SPEC(x) && x->select.s._absadr )
445 #define IS_REGISTER(x) (IS_SPEC(x) && SPEC_SCLS(x) == S_REGISTER)
446 #define IS_RENT(x) (IS_SPEC(x) && x->select.s._reent )
447 #define IS_STATIC(x) (IS_SPEC(x) && SPEC_STAT(x))
448 #define IS_INT(x) (IS_SPEC(x) && x->select.s.noun == V_INT)
449 #define IS_VOID(x) (IS_SPEC(x) && x->select.s.noun == V_VOID)
450 #define IS_CHAR(x) (IS_SPEC(x) && x->select.s.noun == V_CHAR)
451 #define IS_EXTERN(x) (IS_SPEC(x) && x->select.s._extern)
452 #define IS_VOLATILE(x) (!x ? 0 : \
454 x->select.s._volatile : \
455 x->select.d.ptr_volatile)
456 #define IS_INTEGRAL(x) (IS_SPEC(x) && (x->select.s.noun == V_INT || \
457 x->select.s.noun == V_CHAR || \
458 x->select.s.noun == V_BITFIELD || \
459 x->select.s.noun == V_BIT || \
460 x->select.s.noun == V_SBIT ))
461 #define IS_BITFIELD(x) (IS_SPEC(x) && (x->select.s.noun == V_BITFIELD))
462 #define IS_BITVAR(x) (IS_SPEC(x) && (x->select.s.noun == V_BITFIELD || \
463 x->select.s.noun == V_BIT || \
464 x->select.s.noun == V_SBIT ))
465 #define IS_BIT(x) (IS_SPEC(x) && (x->select.s.noun == V_BIT || \
466 x->select.s.noun == V_SBIT ))
467 #define IS_FLOAT(x) (IS_SPEC(x) && x->select.s.noun == V_FLOAT)
468 #define IS_ARITHMETIC(x) (IS_INTEGRAL(x) || IS_FLOAT(x))
469 #define IS_AGGREGATE(x) (IS_ARRAY(x) || IS_STRUCT(x))
470 #define IS_LITERAL(x) (IS_SPEC(x) && x->select.s.sclass == S_LITERAL)
471 #define IS_CODE(x) (IS_SPEC(x) && SPEC_SCLS(x) == S_CODE)
472 #define IS_REGPARM(x) (IS_SPEC(x) && SPEC_REGPARM(x))
474 /* symbol check macros */
475 #define IS_AUTO(x) (x->level && !IS_STATIC(x->etype) && !IS_EXTERN(x->etype))
477 /* forward declaration for the global vars */
478 extern bucket *SymbolTab[];
479 extern bucket *StructTab[];
480 extern bucket *TypedefTab[];
481 extern bucket *LabelTab[];
482 extern bucket *enumTab[];
483 extern symbol *__fsadd;
484 extern symbol *__fssub;
485 extern symbol *__fsmul;
486 extern symbol *__fsdiv;
487 extern symbol *__fseq;
488 extern symbol *__fsneq;
489 extern symbol *__fslt;
490 extern symbol *__fslteq;
491 extern symbol *__fsgt;
492 extern symbol *__fsgteq;
494 /* Dims: mul/div/mod, BYTE/WORD/DWORD, SIGNED/UNSIGNED */
495 extern symbol *__muldiv[3][3][2];
496 /* Dims: BYTE/WORD/DWORD SIGNED/UNSIGNED */
497 extern sym_link *__multypes[3][2];
498 /* Dims: to/from float, BYTE/WORD/DWORD, SIGNED/USIGNED */
499 extern symbol *__conv[2][3][2];
500 /* Dims: shift left/shift right, BYTE/WORD/DWORD, SIGNED/UNSIGNED */
501 extern symbol *__rlrr[2][3][2];
503 #define CHARTYPE __multypes[0][0]
504 #define UCHARTYPE __multypes[0][1]
505 #define INTTYPE __multypes[1][0]
506 #define UINTTYPE __multypes[1][1]
507 #define LONGTYPE __multypes[2][0]
508 #define ULONGTYPE __multypes[2][1]
511 extern sym_link *floatType;
517 RESULT_TYPE_NONE = 0, /* operands will be promoted to int */
521 RESULT_TYPE_OTHER, /* operands will be promoted to int */
525 /* forward definitions for the symbol table related functions */
527 symbol *newSymbol (char *, int);
528 sym_link *newLink (SYM_LINK_CLASS);
529 sym_link *newFloatLink ();
530 structdef *newStruct (char *);
531 void addDecl (symbol *, int, sym_link *);
532 sym_link *mergeSpec (sym_link *, sym_link *, char *name);
533 symbol *reverseSyms (symbol *);
534 sym_link *reverseLink (sym_link *);
535 symbol *copySymbol (symbol *);
536 symbol *copySymbolChain (symbol *);
537 void printSymChain (symbol *, int);
538 void printStruct (structdef *, int);
539 char *genSymName (int);
540 sym_link *getSpec (sym_link *);
541 char *genSymName (int);
542 int compStructSize (int, structdef *);
543 sym_link *copyLinkChain (sym_link *);
544 int checkDecl (symbol *, int);
545 void checkBasic (sym_link *, sym_link *);
546 value *checkPointerIval (sym_link *, value *);
547 value *checkStructIval (symbol *, value *);
548 value *checkArrayIval (sym_link *, value *);
549 value *checkIval (sym_link *, value *);
550 unsigned int getSize (sym_link *);
551 unsigned int getAllocSize (sym_link *);
552 unsigned int bitsForType (sym_link *);
553 sym_link *newIntLink ();
554 sym_link *newCharLink ();
555 sym_link *newLongLink ();
556 int compareType (sym_link *, sym_link *);
557 int compareTypeExact (sym_link *, sym_link *, int);
558 int checkFunction (symbol *, symbol *);
559 void cleanUpLevel (bucket **, int);
560 void cleanUpBlock (bucket **, int);
561 int funcInChain (sym_link *);
562 void addSymChain (symbol *);
563 sym_link *structElemType (sym_link *, value *);
564 symbol *getStructElement (structdef *, symbol *);
565 sym_link *computeType (sym_link *, sym_link *, RESULT_TYPE, int);
566 void processFuncArgs (symbol *);
567 int isSymbolEqual (symbol *, symbol *);
568 int powof2 (TYPE_UDWORD);
569 void printTypeChain (sym_link *, FILE *);
570 void printTypeChainRaw (sym_link *, FILE *);
571 void initCSupport ();
572 void initBuiltIns ();
573 void pointerTypes (sym_link *, sym_link *);
574 void cdbStructBlock (int);
576 bucket *newBucket ();
577 void addSym (bucket **, void *, char *, int, int, int checkType);
578 void deleteSym (bucket **, void *, char *);
579 void *findSym (bucket **, void *, const char *);
580 void *findSymWithLevel (bucket **, struct symbol *);
581 void *findSymWithBlock (bucket **, struct symbol *, int);
582 void changePointer (sym_link * p);
583 void checkTypeSanity(sym_link *etype, char *name);
584 sym_link *typeFromStr (char *) ;
585 STORAGE_CLASS sclsFromPtr(sym_link *ptr);
586 sym_link *newEnumType (symbol *);
587 void promoteAnonStructs (int, structdef *);
590 extern char *nounName(sym_link *); /* noun strings */
591 extern void printFromToType (sym_link *, sym_link *);