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