Delegates data and stack allocation to aslink. Creates areas for register
[fw/sdcc] / src / SDCCglobl.h
1 /* SDCCglobl.h - global macros etc required by all files */
2 #ifndef SDCCGLOBL_H
3 #define SDCCGLOBL_H
4 #include <memory.h>
5 #include <assert.h>
6 #include <stdlib.h>
7 #include <setjmp.h>
8 #include <stdio.h>
9
10 /*
11  * Define host port dependant constants etc.
12  */
13
14 #define DOS_DIR_SEPARATOR_CHAR      '\\'
15 #define DOS_DIR_SEPARATOR_STRING   "\\"
16 #define UNIX_DIR_SEPARATOR_CHAR    '/'
17 #define UNIX_DIR_SEPARATOR_STRING  "/"
18
19 #if defined(__BORLANDC__)       /* Borland Turbo C/Win32 Host */
20
21 #define NATIVE_WIN32            1
22 #define DIR_SEPARATOR_CHAR          DOS_DIR_SEPARATOR_CHAR
23 #define DIR_SEPARATOR_STRING        DOS_DIR_SEPARATOR_STRING
24
25 #elif defined(_MSC_VER)         /* Miscosoft VC6/Win32 Host */
26
27 #define NATIVE_WIN32            1
28 #include "sdcc_vc.h"
29 #define DIR_SEPARATOR_CHAR          DOS_DIR_SEPARATOR_CHAR
30 #define DIR_SEPARATOR_STRING        DOS_DIR_SEPARATOR_STRING
31
32 #elif defined(__MINGW32__)      /* MINGW32 DOS Host */
33
34 #define NATIVE_WIN32            1
35 #define DIR_SEPARATOR_CHAR          DOS_DIR_SEPARATOR_CHAR
36 #define DIR_SEPARATOR_STRING        DOS_DIR_SEPARATOR_STRING
37
38 #else /* Assume Un*x style system */
39
40 #include "sdccconf.h"
41 #define DIR_SEPARATOR_CHAR          UNIX_DIR_SEPARATOR_CHAR
42 #define DIR_SEPARATOR_STRING        UNIX_DIR_SEPARATOR_STRING
43
44 #endif // _MSC_VER
45
46 #include "SDCCerr.h"
47
48 #define SPACE ' '
49 #define ZERO  0
50
51 #include <limits.h>             /* PATH_MAX                  */
52 #ifndef PATH_MAX                /* POSIX, but not required   */
53 #define PATH_MAX 255            /* define a reasonable value */
54 #endif
55
56 #define  MAX_FNAME_LEN  128
57 #define  MAX_REG_PARMS  1
58 typedef int bool;
59
60 #ifndef max
61 #define max(a,b) (a > b ? a : b)
62 #endif
63
64 #ifndef min
65 #define min(a,b) (a < b ? a : b)
66 #endif
67
68 #ifndef THROWS
69 #define THROWS
70 #define THROW_NONE  0
71 #define THROW_SRC   1
72 #define THROW_DEST  2
73 #define THROW_BOTH  3
74 #endif
75
76 /* size's in bytes  */
77 #define CHARSIZE    port->s.char_size
78 #define SHORTSIZE   port->s.short_size
79 #define INTSIZE     port->s.int_size
80 #define LONGSIZE    port->s.long_size
81 #define PTRSIZE     port->s.ptr_size
82 #define FPTRSIZE    port->s.fptr_size
83 #define GPTRSIZE    port->s.gptr_size
84 #define BITSIZE     port->s.bit_size
85 #define FLOATSIZE   port->s.float_size
86 #define MAXBASESIZE port->s.max_base_size
87
88
89 #define PRAGMA_SAVE        "SAVE"
90 #define PRAGMA_RESTORE     "RESTORE"
91 #define PRAGMA_NOINDUCTION "NOINDUCTION"
92 #define PRAGMA_NOINVARIANT "NOINVARIANT"
93 #define PRAGMA_NOLOOPREV   "NOLOOPREVERSE"
94 #define PRAGMA_INDUCTION   "INDUCTION"
95 #define PRAGMA_STACKAUTO   "STACKAUTO"
96 #define PRAGMA_NOJTBOUND   "NOJTBOUND"
97 #define PRAGMA_NOGCSE      "NOGCSE"
98 #define PRAGMA_NOOVERLAY   "NOOVERLAY"
99 #define PRAGMA_CALLEESAVES "CALLEE-SAVES"
100 #define PRAGMA_EXCLUDE     "EXCLUDE"
101 #define PRAGMA_OVERLAY     "OVERLAY"
102 #define  SMALL_MODEL 0
103 #define  LARGE_MODEL 1
104 #define  TRUE 1
105 #define  FALSE 0
106
107 #define MAX_TVAR 6
108 #define INITIAL_INLINEASM 4*1024
109 #define DEFPOOLSTACK(type,size)     \
110     type       *type##Pool        ; \
111     type *type##FreeStack [size]  ; \
112     int   type##StackPtr = 0      ;
113
114 #define PUSH(x,y)   x##FreeStack[x##StackPtr++] = y
115 #define PEEK(x)     x##FreeStack[x##StackPtr-1]
116 #define POP(type)   type##FreeStack[--type##StackPtr]
117 /* #define POP(x)    (x##StackPtr ? x##FreeStack[--x##StackPtr] :       \
118    (assert(x##StackPtr),0)) */
119 #ifdef UNIX
120 #define EMPTY(x)        (x##StackPtr <= 1 ? 1 : 0)
121 #else
122 #define EMPTY(x)        (x##StackPtr == 0 ? 1 : 0)
123 #endif
124
125
126 #define COPYTYPE(start,end,from) (end = getSpec (start = from))
127
128
129 /* generalpurpose stack related macros */
130 #define  STACK_DCL(stack,type,size)                   \
131          typedef  type  t_##stack   ;                 \
132          t_##stack   stack[size]    ;                 \
133          t_##stack   (*p_##stack) = stack + (size);   \
134
135 /* define extern stack */
136 #define EXTERN_STACK_DCL(stack,type,size)             \
137         typedef type t_##stack     ;                  \
138         extern t_##stack stack[size] ;                \
139         extern t_##stack *p_##stack;
140
141 #define  STACK_FULL(stack)    ((p_##stack) <= stack )
142 #define  STACK_EMPTY(stack)   ((p_##stack) >= (stack +      \
143                               sizeof(stack)/sizeof(*stack)) )
144
145 #define  STACK_PUSH_(stack,x) (*--p_##stack = (x))
146 #define  STACK_POP_(stack)    (*p_##stack++)
147
148 #define  STACK_PUSH(stack,x)  (STACK_FULL(stack)                  \
149                               ?((t_##stack)(long)(STACK_ERR(1)))  \
150                               : STACK_PUSH_(stack,x)              )
151
152 #define  STACK_POP(stack)     (STACK_EMPTY(stack)                 \
153                               ?((t_##stack)(long)(STACK_ERR(0)))  \
154                               : STACK_POP_(stack)                 )
155
156 #define  STACK_PEEK(stack)    (STACK_EMPTY(stack)                 \
157                               ?((t_##stack) NULL)                 \
158                               : *p_##stack                        )
159
160 #define  STACK_ERR(o)         ( o                                 \
161                               ? fprintf(stderr,"stack Overflow\n")\
162                               : fprintf(stderr,"stack underflow\n"))
163
164 /* optimization options */
165 struct optimize
166   {
167     unsigned global_cse;
168     unsigned ptrArithmetic;
169     unsigned label1;
170     unsigned label2;
171     unsigned label3;
172     unsigned label4;
173     unsigned loopInvariant;
174     unsigned loopInduction;
175     unsigned noJTabBoundary;
176     unsigned noLoopReverse;
177   };
178
179 /** Build model.
180     Used in options.model.A bit each as port.supported_models is an OR
181     of these. 
182 */
183 enum
184   {
185     MODEL_SMALL = 1,
186     MODEL_COMPACT = 2,
187     MODEL_MEDIUM = 4,
188     MODEL_LARGE = 8,
189     MODEL_FLAT24 = 16,
190     MODEL_PAGE0 = 32 /* for the xa51 port */
191   };
192
193 /* overlay segment name and the functions
194    that belong to it. used by pragma overlay */
195 typedef struct {
196     char *osname;       /* overlay segment name */
197     int  nfuncs;        /* number of functions in this overlay */
198     char *funcs[128];   /* function name that belong to this */
199 } olay;
200
201 /* other command line options */
202 struct options
203   {
204     int model;                  /* see MODEL_* defines above */
205     int stackAuto;              /* Stack Automatic  */
206     int useXstack;              /* use Xternal Stack */
207     int stack10bit;             /* use 10 bit stack (flat24 model only) */
208     int genericPtr;             /* use generic pointers */
209     int dump_raw;               /* dump after intermediate code generation */
210     int dump_gcse;              /* dump after gcse */
211     int dump_loop;              /* dump after loop optimizations */
212     int dump_kill;              /* dump after dead code elimination */
213     int dump_range;             /* dump after live range analysis */
214     int dump_pack;              /* dump after register packing */
215     int dump_rassgn;            /* dump after register assignment */
216     int dump_tree;              /* dump front-end tree before lowering to iCode */
217     int cc_only;                /* compile only flag              */
218     int intlong_rent;           /* integer & long support routines reentrant */
219     int float_rent;             /* floating point routines are reentrant */
220     int out_fmt;                /* 1 = motorola S19 format 0 = intel Hex format */
221     int cyclomatic;             /* print cyclomatic information */
222     int noOverlay;              /* don't overlay local variables & parameters */
223     int mainreturn;             /* issue a return after main */
224     int xram_movc;              /* use movc instead of movx to read xram (mcs51) */
225     int nopeep;                 /* no peep hole optimization */
226     int asmpeep;                /* pass inline assembler thru peep hole */
227     int debug;                  /* generate extra debug info */
228     int stackOnData;            /* stack after data segment  */
229     int c1mode;                 /* Act like c1 - no pre-proc, asm or link */
230     char *peep_file;            /* additional rules for peep hole */
231     char *out_name;             /* Asm output name for c1 mode */
232     int nostdlib;               /* Don't use standard lib files */
233     int nostdinc;               /* Don't use standard include files */
234     int noRegParams;            /* Disable passing some parameters in registers */
235     int verbose;                /* Show what the compiler is doing */
236     int shortis8bits;           /* treat short like int or char */
237     int lessPedantic;           /* disable some warnings */
238     int profile;                /* Turn on extra profiling information */
239     int ommitFramePtr;          /* Turn off the frame pointer. */
240     int useAccelerator;         /* use ds390 Arithmetic Accelerator */
241     char *calleeSaves[128];     /* list of functions using callee save */
242     char *excludeRegs[32];      /* registers excluded from saving */
243     int all_callee_saves;       /* callee saves for all functions */
244     int stack_probe;            /* insert call to function __stack_probe */
245     int tini_libid;             /* library ID for TINI */
246     int protect_sp_update;      /* DS390 - will disable interrupts during ESP:SP updates */
247     int parms_in_bank1;         /* DS390 - use reg bank1 to pass parameters */
248     olay olays[128];            /* overlay segments used in #pragma OVERLAY */
249     /* starting address of the segments */
250     int xstack_loc;             /* initial location of external stack */
251     int stack_loc;              /* initial value of internal stack pointer */
252     int xdata_loc;              /* xternal ram starts at address */
253     int data_loc;               /* interram start location       */
254     int idata_loc;              /* indirect address space        */
255     int code_loc;               /* code location start           */
256     int iram_size;              /* internal ram size (used only for error checking) */    
257   };
258
259 /* forward definition for variables accessed globally */
260 extern int noAssemble;         /* no assembly, stop after code generation */
261 extern char *yytext;
262 extern char *currFname;
263 extern char *srcFileName;       /* source file name without the extenstion */
264 extern char *moduleName;        /* source file name without path & extension */
265 extern int currLineno;          /* current line number    */
266 extern int yylineno;            /* line number of the current file SDCC.lex */
267 extern FILE *yyin;              /* */
268 extern FILE *asmFile;           /* assembly output file */
269 extern FILE *cdbFile;           /* debugger symbol file */
270 extern int NestLevel;           /* NestLevel                 SDCC.y   */
271 extern int stackPtr;            /* stack pointer             SDCC.y   */
272 extern int xstackPtr;           /* external stack pointer    SDCC.y   */
273 extern int reentrant;           /* /X flag has been sent     SDCC.y */
274 extern char buffer[];           /* general buffer      SDCCgen.c   */
275 extern int currRegBank;         /* register bank being used   SDCCgens.c   */
276 extern int RegBankUsed[4];      /* JCF: register banks used       SDCCmain.c   */
277 extern struct symbol *currFunc; /* current function    SDCCgens.c */
278 extern int cNestLevel;          /* block nest level  SDCCval.c      */
279 extern int currBlockno;         /* sequentail block number */
280 extern struct optimize optimize;
281 extern struct options options;
282 extern unsigned maxInterrupts;
283
284 /* Visible from SDCCmain.c */
285 extern int nrelFiles;
286 extern char *relFiles[128];
287 extern char *libFiles[128];
288 extern int nlibFiles;
289 extern char *libPaths[128];
290 extern int nlibPaths;
291
292 extern bool verboseExec ;
293
294 void parseWithComma (char **, char *);
295
296 /** Creates a temporary file a'la tmpfile which avoids the bugs
297     in cygwin wrt c:\tmp.
298     Scans, in order: TMP, TEMP, TMPDIR, else uses tmpfile().
299 */
300 FILE *tempfile (void);
301
302 /** Creates a temporary file name a'la tmpnam which avoids the bugs
303     in cygwin wrt c:\tmp.
304     Scans, in order: TMP, TEMP, TMPDIR, else uses tmpfile().
305 */
306 char *
307 tempfilename (void);
308
309 /** An assert() macro that will go out through sdcc's error
310     system.
311 */
312 #define wassertl(a,s)   ((a) ? 0 : \
313         (werror (E_INTERNAL_ERROR,__FILE__,__LINE__, s), 0))
314
315 #define wassert(a)    wassertl(a,"code generator internal error")
316
317 #define DUMP_RAW0 1
318 #define DUMP_RAW1 DUMP_RAW0+1
319 #define DUMP_CSE DUMP_RAW1+1
320 #define DUMP_DFLOW DUMP_CSE+1
321 #define DUMP_GCSE DUMP_DFLOW+1
322 #define DUMP_DEADCODE DUMP_GCSE+1
323 #define DUMP_LOOP DUMP_DEADCODE+1
324 #define DUMP_LOOPG DUMP_LOOP+1
325 #define DUMP_LOOPD DUMP_LOOPG+1
326 #define DUMP_RANGE DUMP_LOOPD+1
327 #define DUMP_PACK DUMP_RANGE+1
328 #define DUMP_RASSGN DUMP_PACK+1
329 #define DUMP_LRANGE DUMP_RASSGN+1
330
331 struct _dumpFiles {
332   int id;
333   char *ext;
334   FILE *filePtr;
335 };
336
337 extern struct _dumpFiles dumpFiles[];
338
339 /* Buffer which can be used to hold a file name; assume it will
340  * be trashed by any function call within SDCC.
341  */
342 extern char scratchFileName[PATH_MAX];
343
344 #endif