* src/pic16/glue.c,
[fw/sdcc] / src / pic16 / main.c
1 /*-------------------------------------------------------------------------
2
3   main.c - pic16 specific general functions.
4
5    Written by - Scott Dattalo scott@dattalo.com
6    Ported to PIC16 by - Martin Dubuc m.debuc@rogers.com
7
8    Note that mlh prepended _pic16_ on the static functions.  Makes
9    it easier to set a breakpoint using the debugger.
10
11
12    This program is free software; you can redistribute it and/or modify it
13    under the terms of the GNU General Public License as published by the
14    Free Software Foundation; either version 2, or (at your option) any
15    later version.
16
17    This program is distributed in the hope that it will be useful,
18    but WITHOUT ANY WARRANTY; without even the implied warranty of
19    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
20    GNU General Public License for more details.
21
22    You should have received a copy of the GNU General Public License
23    along with this program; if not, write to the Free Software
24    Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
25 -------------------------------------------------------------------------*/
26
27 #include "common.h"
28 #include "main.h"
29 #include "ralloc.h"
30 #include "device.h"
31 #include "SDCCutil.h"
32 #include "glue.h"
33 #include "pcode.h"
34 #include "SDCCargs.h"
35 #include "dbuf_string.h"
36
37
38 static char _defaultRules[] =
39 {
40 #include "peeph.rul"
41 };
42
43 /* list of key words used by pic16 */
44 static char *_pic16_keywords[] =
45 {
46   "at",
47   "code",
48   "critical",
49   "register",
50   "data",
51   "far",
52   "interrupt",
53   "near",
54   "pdata",
55   "reentrant",
56   "sfr",
57   "sfr16",
58   "using",
59   "_data",
60   "_code",
61   "_generic",
62   "_near",
63   "_pdata",
64   "_naked",
65   "shadowregs",
66   "wparam",
67   "prodlp",
68   "prodhp",
69   "fsr0lp",
70   "fixed16x16",
71
72 //  "bit",
73 //  "idata",
74 //  "sbit",
75 //  "xdata",
76 //  "_xdata",
77 //  "_idata",
78   NULL
79 };
80
81
82 pic16_sectioninfo_t pic16_sectioninfo;
83
84 int xinst=0;
85
86
87 extern char *pic16_processor_base_name(void);
88
89 void  pic16_pCodeInitRegisters(void);
90
91 void pic16_assignRegisters (ebbIndex *);
92
93 static int regParmFlg = 0;  /* determine if we can register a parameter */
94
95 pic16_options_t pic16_options;
96
97 extern set *includeDirsSet;
98 extern set *dataDirsSet;
99 extern set *libFilesSet;
100
101 /* Also defined in gen.h, but the #include is commented out */
102 /* for an unknowned reason. - EEP */
103 void pic16_emitDebuggerSymbol (char *);
104
105 extern void pic16_emitConfigRegs(FILE *of);
106 extern void pic16_emitIDRegs(FILE *of);
107
108
109
110 static void
111 _pic16_init (void)
112 {
113   asm_addTree (&asm_asxxxx_mapping);
114   pic16_pCodeInitRegisters();
115   maxInterrupts = 2;
116 }
117
118 static void
119 _pic16_reset_regparm (void)
120 {
121   regParmFlg = 0;
122 }
123
124 static int
125 _pic16_regparm (sym_link * l, bool reentrant)
126 {
127   /* force all parameters via SEND/RECEIVE */
128   if(0 /*pic16_options.ip_stack*/) {
129     /* for this processor it is simple
130      * can pass only the first parameter in a register */
131     if(regParmFlg)return 0;
132       regParmFlg++;
133       return 1; //regParmFlg;
134   } else {
135     /* otherwise pass all arguments in registers via SEND/RECEIVE */
136     regParmFlg++;// = 1;
137     return regParmFlg;
138   }
139 }
140
141
142 int initsfpnt=0;        /* set to 1 if source provides a pragma for stack
143                  * so glue() later emits code to initialize stack/frame pointers */
144 set *absSymSet;
145
146 set *sectNames=NULL;            /* list of section listed in pragma directives */
147 set *sectSyms=NULL;         /* list of symbols set in a specific section */
148 set *wparamList=NULL;
149
150 #if 0
151 /* This is an experimental code for #pragma inline
152    and is temporarily disabled for 2.5.0 release */
153 set *asmInlineMap=NULL;
154 #endif  /* 0 */
155
156 struct {
157   unsigned ignore: 1;
158   unsigned want_libc: 1;
159   unsigned want_libm: 1;
160   unsigned want_libio: 1;
161   unsigned want_libdebug: 1;
162 } libflags = { 0, 0, 0, 0, 0 };
163
164
165 enum {
166   P_MAXRAM = 1,
167   P_STACK,
168   P_CODE,
169   P_UDATA,
170   P_LIBRARY
171 };
172
173 static int
174 do_pragma(int id, const char *name, const char *cp)
175 {
176   struct pragma_token_s token;
177   int err = 0;
178   int processed = 1;
179
180   init_pragma_token(&token);
181
182   switch (id)
183     {
184     /* #pragma maxram [maxram] */
185     case P_MAXRAM:
186       {
187         int max_ram;
188
189         cp = get_pragma_token(cp, &token);
190         if (TOKEN_INT == token.type)
191           max_ram = token.val.int_val;
192         else
193           {
194             err = 1;
195             break;
196           }
197
198         cp = get_pragma_token(cp, &token);
199         if (TOKEN_EOL != token.type)
200           {
201             err = 1;
202             break;
203           }
204
205         pic16_setMaxRAM(max_ram);
206       }
207       break;
208
209     /* #pragma stack [stack-position] [stack-len] */
210     case  P_STACK:
211       {
212         unsigned int stackPos, stackLen;
213         regs *reg;
214         symbol *sym;
215
216         cp = get_pragma_token(cp, &token);
217         if (TOKEN_INT != token.type)
218           {
219             err = 1;
220             break;
221           }
222         stackPos = token.val.int_val;
223
224         cp = get_pragma_token(cp, &token);
225         if (TOKEN_INT != token.type)
226           {
227             err = 1;
228             break;
229           }
230         stackLen = token.val.int_val;
231
232         cp = get_pragma_token(cp, &token);
233         if (TOKEN_EOL != token.type)
234           {
235             err = 1;
236             break;
237           }
238
239         if (stackLen < 1) {
240           stackLen = 64;
241           fprintf(stderr, "%s:%d: warning: setting stack to default size %d (0x%04x)\n",
242                   filename, lineno, stackLen, stackLen);
243         }
244
245         /* check sanity of stack */
246         if ((stackPos >> 8) != ((stackPos + stackLen - 1) >> 8)) {
247           fprintf (stderr, "%s:%u: warning: stack [0x%03X,0x%03X] crosses memory bank boundaries (not fully tested)\n",
248                   filename, lineno, stackPos, stackPos + stackLen - 1);
249         }
250
251         if (pic16) {
252           if (stackPos < pic16->acsSplitOfs) {
253             fprintf (stderr, "%s:%u: warning: stack [0x%03X, 0x%03X] intersects with the access bank [0x000,0x%03x] -- this is highly discouraged!\n",
254                   filename, lineno, stackPos, stackPos + stackLen - 1, pic16->acsSplitOfs);
255           }
256
257           if (stackPos+stackLen > 0xF00 + pic16->acsSplitOfs) {
258             fprintf (stderr, "%s:%u: warning: stack [0x%03X,0x%03X] intersects with special function registers [0x%03X,0xFFF]-- this is highly discouraged!\n",
259                    filename, lineno, stackPos, stackPos + stackLen - 1, 0xF00 + pic16->acsSplitOfs);
260           }
261
262           if (stackPos+stackLen > pic16->RAMsize) {
263             fprintf (stderr, "%s:%u: error: stack [0x%03X,0x%03X] is placed outside available memory [0x000,0x%03X]!\n",
264                   filename, lineno, stackPos, stackPos + stackLen - 1, pic16->RAMsize-1);
265             err = 1;
266             break;
267           }
268         }
269
270         reg = newReg(REG_SFR, PO_SFR_REGISTER, stackPos, "_stack", stackLen-1, 0, NULL);
271         addSet(&pic16_fix_udata, reg);
272
273         reg = newReg(REG_SFR, PO_SFR_REGISTER, stackPos + stackLen-1, "_stack_end", 1, 0, NULL);
274         addSet(&pic16_fix_udata, reg);
275
276         sym = newSymbol("stack", 0);
277         sprintf(sym->rname, "_%s", sym->name);
278         addSet(&publics, sym);
279
280         sym = newSymbol("stack_end", 0);
281         sprintf(sym->rname, "_%s", sym->name);
282         addSet(&publics, sym);
283
284         initsfpnt = 1;    // force glue() to initialize stack/frame pointers */
285       }
286       break;
287
288     /* #pragma code [symbol] [location] */
289     case P_CODE:
290       {
291         absSym *absS;
292
293         cp = get_pragma_token(cp, &token);
294         if (TOKEN_STR != token.type)
295           goto code_err;
296
297         absS = Safe_calloc(1, sizeof(absSym));
298         sprintf(absS->name, "_%s", get_pragma_string(&token));
299
300         cp = get_pragma_token(cp, &token);
301         if (TOKEN_INT != token.type)
302           {
303           code_err:
304             //fprintf (stderr, "%s:%d: #pragma code [symbol] [location] -- symbol or location missing\n", filename, lineno);
305             err = 1;
306             break;
307           }
308         absS->address = token.val.int_val;
309
310         cp = get_pragma_token(cp, &token);
311         if (TOKEN_EOL != token.type)
312           {
313             err = 1;
314             break;
315           }
316
317         if ((absS->address % 2) != 0) {
318           absS->address--;
319           fprintf(stderr, "%s:%d: warning: code memory locations should be word aligned, will locate to 0x%06x instead\n",
320                   filename, lineno, absS->address);
321         }
322
323         addSet(&absSymSet, absS);
324 //      fprintf(stderr, "%s:%d symbol %s will be placed in location 0x%06x in code memory\n",
325 //        __FILE__, __LINE__, symname, absS->address);
326       }
327       break;
328
329     /* #pragma udata [section-name] [symbol] */
330     case P_UDATA:
331       {
332         char *sectname;
333         const char *symname;
334         symbol *nsym;
335         sectSym *ssym;
336         sectName *snam;
337         int found = 0;
338
339         cp = get_pragma_token(cp, &token);
340         if (TOKEN_STR == token.type)
341           sectname = Safe_strdup(get_pragma_string(&token));
342         else
343           {
344             err = 1;
345             break;
346           }
347
348         cp = get_pragma_token(cp, &token);
349         if (TOKEN_STR == token.type)
350           symname = get_pragma_string(&token);
351         else
352           {
353             //fprintf (stderr, "%s:%d: #pragma udata [section-name] [symbol] -- section-name or symbol missing!\n", filename, lineno);
354             err = 1;
355             symname = NULL;
356           }
357
358         while (symname)
359           {
360             ssym = Safe_calloc(1, sizeof(sectSym));
361             ssym->name = Safe_calloc(1, strlen(symname) + 2);
362             sprintf(ssym->name, "%s%s", port->fun_prefix, symname);
363             ssym->reg = NULL;
364
365             addSet(&sectSyms, ssym);
366
367             nsym = newSymbol((char *)symname, 0);
368             strcpy(nsym->rname, ssym->name);
369
370 #if 0
371             checkAddSym(&publics, nsym);
372 #endif
373
374             found = 0;
375             for (snam = setFirstItem(sectNames);snam;snam=setNextItem(sectNames))
376               {
377                 if (!strcmp(sectname, snam->name))
378                   {
379                     found=1;
380                     break;
381                   }
382               }
383
384             if(!found)
385               {
386                 snam = Safe_calloc(1, sizeof(sectName));
387                 snam->name = Safe_strdup(sectname);
388                 snam->regsSet = NULL;
389
390                 addSet(&sectNames, snam);
391               }
392
393             ssym->section = snam;
394
395 #if 0
396             fprintf(stderr, "%s:%d placing symbol %s at section %s (%p)\n", __FILE__, __LINE__,
397                ssym->name, snam->name, snam);
398 #endif
399
400             cp = get_pragma_token(cp, &token);
401             if (TOKEN_STR == token.type)
402               symname = get_pragma_string(&token);
403             else if (TOKEN_EOL == token.type)
404               symname = NULL;
405             else
406               {
407                 err = 1;
408                 symname = NULL;
409               }
410           }
411
412           Safe_free(sectname);
413       }
414       break;
415
416     /* #pragma library library_module */
417     case P_LIBRARY:
418       {
419         const char *lmodule;
420
421         cp = get_pragma_token(cp, &token);
422         if (TOKEN_EOL != token.type)
423           {
424             lmodule = get_pragma_string(&token);
425
426             /* lmodule can be:
427              * c    link the C library
428              * math link the math library
429              * io   link the IO library
430              * debug    link the debug libary
431              * anything else, will link as-is */
432
433             if(!strcmp(lmodule, "c"))
434               libflags.want_libc = 1;
435             else if(!strcmp(lmodule, "math"))
436               libflags.want_libm = 1;
437             else if(!strcmp(lmodule, "io"))
438               libflags.want_libio = 1;
439             else if(!strcmp(lmodule, "debug"))
440               libflags.want_libdebug = 1;
441             else if(!strcmp(lmodule, "ignore"))
442               libflags.ignore = 1;
443             else
444               {
445                 if(!libflags.ignore)
446                   {
447                     fprintf(stderr, "link library %s\n", lmodule);
448                     addSetHead(&libFilesSet, (char *)lmodule);
449                   }
450               }
451           }
452         else
453           {
454             err = 1;
455             break;
456           }
457
458         cp = get_pragma_token(cp, &token);
459         if (TOKEN_EOL != token.type)
460           {
461             err = 1;
462             break;
463           }
464       }
465       break;
466
467 #if 0
468   /* This is an experimental code for #pragma inline
469      and is temporarily disabled for 2.5.0 release */
470     case P_INLINE:
471       {
472         char *tmp = strtok((char *)NULL, WHITECOMMA);
473
474         while(tmp) {
475           addSet(&asmInlineMap, Safe_strdup( tmp ));
476           tmp = strtok((char *)NULL, WHITECOMMA);
477         }
478
479         {
480           char *s;
481
482           for(s = setFirstItem(asmInlineMap); s ; s = setNextItem(asmInlineMap)) {
483             debugf("inline asm: `%s'\n", s);
484           }
485         }
486       }
487       break;
488 #endif  /* 0 */
489
490     default:
491       processed = 0;
492       break;
493   }
494
495   get_pragma_token(cp, &token);
496
497   if (1 == err)
498     werror(W_BAD_PRAGMA_ARGUMENTS, name);
499
500   free_pragma_token(&token);
501   return processed;
502 }
503
504 static struct pragma_s pragma_tbl[] = {
505   { "maxram",  P_MAXRAM,  0, do_pragma },
506   { "stack",   P_STACK,   0, do_pragma },
507   { "code",    P_CODE,    0, do_pragma },
508   { "udata",   P_UDATA,   0, do_pragma },
509   { "library", P_LIBRARY, 0, do_pragma },
510 /*{ "inline",  P_INLINE,  0, do_pragma }, */
511   { NULL,      0,         0, NULL },
512   };
513
514 static int
515 _process_pragma(const char *s)
516 {
517   return process_pragma_tbl(pragma_tbl, s);
518 }
519
520 #define REP_UDATA       "--preplace-udata-with="
521
522 #define STACK_MODEL     "--pstack-model="
523 #define OPT_BANKSEL     "--obanksel="
524
525 #define ALT_ASM         "--asm="
526 #define ALT_LINK        "--link="
527
528 #define IVT_LOC         "--ivt-loc="
529 #define NO_DEFLIBS      "--nodefaultlibs"
530 #define MPLAB_COMPAT    "--mplab-comp"
531
532 #define USE_CRT         "--use-crt="
533
534 #define OFMSG_LRSUPPORT "--flr-support"
535
536 #define OPTIMIZE_GOTO   "--optimize-goto"
537 #define OPTIMIZE_CMP    "--optimize-cmp"
538 #define OPTIMIZE_DF     "--optimize-df"
539
540 char *alt_asm=NULL;
541 char *alt_link=NULL;
542
543 int pic16_mplab_comp=0;
544 extern int pic16_debug_verbose;
545 extern int pic16_ralloc_debug;
546 extern int pic16_pcode_verbose;
547
548 int pic16_enable_peeps=0;
549
550 OPTION pic16_optionsTable[]= {
551     /* code generation options */
552     { 0, STACK_MODEL,        NULL, "use stack model 'small' (default) or 'large'"},
553 #if XINST
554     { 'y', "--extended",     &xinst, "enable Extended Instruction Set/Literal Offset Addressing mode"},
555 #endif
556     { 0, "--pno-banksel",    &pic16_options.no_banksel, "do not generate BANKSEL assembler directives"},
557
558     /* optimization options */
559     { 0, OPT_BANKSEL,       &pic16_options.opt_banksel, "set banksel optimization level (default=0 no)", CLAT_INTEGER },
560     { 0, "--denable-peeps", &pic16_enable_peeps, "explicit enable of peepholes"},
561     { 0, OPTIMIZE_GOTO,     NULL, "try to use (conditional) BRA instead of GOTO"},
562     { 0, OPTIMIZE_CMP,      NULL, "try to optimize some compares"},
563     { 0, OPTIMIZE_DF,       NULL, "thoroughly analyze data flow (memory and time intensive!)"},
564
565     /* assembling options */
566     { 0, ALT_ASM,           &alt_asm, "Use alternative assembler", CLAT_STRING},
567     { 0, MPLAB_COMPAT,      &pic16_mplab_comp, "enable compatibility mode for MPLAB utilities (MPASM/MPLINK)"},
568
569     /* linking options */
570     { 0, ALT_LINK,          &alt_link, "Use alternative linker", CLAT_STRING },
571     { 0, REP_UDATA,         &pic16_sectioninfo.at_udata, "Place udata variables at another section: udata_acs, udata_ovr, udata_shr", CLAT_STRING },
572     { 0, IVT_LOC,           NULL, "Set address of interrupt vector table."},
573     { 0, NO_DEFLIBS,        &pic16_options.nodefaultlibs,   "do not link default libraries when linking"},
574     { 0, USE_CRT,           NULL, "use <crt-o> run-time initialization module"},
575     { 0, "--no-crt",        &pic16_options.no_crt, "do not link any default run-time initialization module"},
576
577     /* debugging options */
578     { 0, "--debug-xtra",    &pic16_debug_verbose, "show more debug info in assembly output"},
579     { 0, "--debug-ralloc",  &pic16_ralloc_debug, "dump register allocator debug file *.d"},
580     { 0, "--pcode-verbose", &pic16_pcode_verbose, "dump pcode related info"},
581     { 0, "--calltree",      &pic16_options.dumpcalltree, "dump call tree in .calltree file"},
582     { 0, "--gstack",        &pic16_options.gstack, "trace stack pointer push/pop to overflow"},
583     { 0, NULL,              NULL, NULL}
584 };
585
586
587 #define ISOPT(str)  !strncmp(argv[ *i ], str, strlen(str) )
588
589 static bool
590 _pic16_parseOptions (int *pargc, char **argv, int *i)
591 {
592   int j=0;
593   char *stkmodel;
594
595   /* TODO: allow port-specific command line options to specify
596    * segment names here.
597    */
598
599     /* check for arguments that have associated an integer variable */
600     while(pic16_optionsTable[j].pparameter) {
601       if(ISOPT( pic16_optionsTable[j].longOpt )) {
602         (*(int *)pic16_optionsTable[j].pparameter)++;
603         return TRUE;
604       }
605       j++;
606     }
607
608     if(ISOPT(STACK_MODEL)) {
609       stkmodel = getStringArg(STACK_MODEL, argv, i, *pargc);
610       if(!STRCASECMP(stkmodel, "small"))pic16_options.stack_model = 0;
611       else if(!STRCASECMP(stkmodel, "large"))pic16_options.stack_model = 1;
612       else {
613         fprintf(stderr, "Unknown stack model: %s", stkmodel);
614         exit(EXIT_FAILURE);
615       }
616       return TRUE;
617     }
618
619     if(ISOPT(IVT_LOC)) {
620       pic16_options.ivt_loc = getIntArg(IVT_LOC, argv, i, *pargc);
621       fprintf(stderr, "%s:%d setting interrupt vector addresses 0x%x\n", __FILE__, __LINE__, pic16_options.ivt_loc);
622       return TRUE;
623     }
624
625     if(ISOPT(USE_CRT)) {
626       pic16_options.no_crt = 0;
627       pic16_options.crt_name = Safe_strdup( getStringArg(USE_CRT, argv, i, *pargc) );
628
629       return TRUE;
630     }
631
632 #if 0
633     if(ISOPT(OFMSG_LRSUPPORT)) {
634       pic16_options.opt_flags |= OF_LR_SUPPORT;
635       return TRUE;
636     }
637 #endif
638
639     if (ISOPT(OPTIMIZE_GOTO)) {
640       pic16_options.opt_flags |= OF_OPTIMIZE_GOTO;
641       return TRUE;
642     }
643
644     if(ISOPT(OPTIMIZE_CMP)) {
645       pic16_options.opt_flags |= OF_OPTIMIZE_CMP;
646       return TRUE;
647     }
648
649     if (ISOPT(OPTIMIZE_DF)) {
650       pic16_options.opt_flags |= OF_OPTIMIZE_DF;
651       return TRUE;
652     }
653
654
655   return FALSE;
656 }
657
658 extern set *userIncDirsSet;
659
660 static void _pic16_initPaths(void)
661 {
662   set *pic16incDirsSet=NULL;
663   set *pic16libDirsSet=NULL;
664   char devlib[512];
665
666     setMainValue("mcu", pic16->name[2] );
667     addSet(&preArgvSet, Safe_strdup("-D{mcu}"));
668
669     setMainValue("mcu1", pic16->name[1] );
670     addSet(&preArgvSet, Safe_strdup("-D__{mcu1}"));
671
672     if(!options.nostdinc) {
673       struct dbuf_s pic16incDir;
674
675       dbuf_init(&pic16incDir, 128);
676       dbuf_makePath(&pic16incDir, INCLUDE_DIR_SUFFIX, "pic16");
677
678       /* setup pic16 include directory */
679       pic16incDirsSet = appendStrSet(dataDirsSet, NULL, dbuf_c_str(&pic16incDir));
680       dbuf_destroy(&pic16incDir);
681       includeDirsSet = pic16incDirsSet;
682 //      mergeSets(&includeDirsSet, pic16incDirsSet);
683     }
684     /* pic16 port should not search to the SDCC standard include directories,
685      * so add here the deleted include dirs that user has issued in command line */
686     mergeSets(&pic16incDirsSet, userIncDirsSet);
687
688     if(!options.nostdlib) {
689       struct dbuf_s pic16libDir;
690
691       dbuf_init(&pic16libDir, 128);
692       dbuf_makePath(&pic16libDir, LIB_DIR_SUFFIX, "pic16");
693       /* setup pic16 library directory */
694       pic16libDirsSet = appendStrSet(dataDirsSet, NULL, dbuf_c_str(&pic16libDir));
695       dbuf_destroy(&pic16libDir);
696       libDirsSet = pic16libDirsSet;
697 //      mergeSets(&libDirsSet, pic16libDirsSet);
698     }
699
700     if(!pic16_options.nodefaultlibs) {
701       /* now add the library for the device */
702       sprintf(devlib, "%s.lib", pic16->name[2]);
703       addSet(&libFilesSet, Safe_strdup(devlib));
704
705       /* add the internal SDCC library */
706       addSet(&libFilesSet, Safe_strdup( "libsdcc.lib" ));
707     }
708 }
709
710 extern set *linkOptionsSet;
711 char *msprintf(hTab *pvals, const char *pformat, ...);
712 int my_system(const char *cmd);
713
714 /* forward declarations */
715 extern const char *pic16_linkCmd[];
716 extern const char *pic16_asmCmd[];
717 extern set *asmOptionsSet;
718
719 /* custom function to link objects */
720 static void _pic16_linkEdit(void)
721 {
722   hTab *linkValues=NULL;
723   char lfrm[1024];
724   char *lcmd;
725   char temp[1024];
726   set *tSet=NULL;
727   int ret;
728
729     /*
730      * link command format:
731      * {linker} {incdirs} {lflags} -o {outfile} {spec_ofiles} {ofiles} {libs}
732      *
733      */
734     sprintf(lfrm, "{linker} {incdirs} {lflags} -w -r -o {outfile} {user_ofile} {ofiles} {spec_ofiles} {libs}");
735
736     shash_add(&linkValues, "linker", pic16_linkCmd[0]);
737
738     mergeSets(&tSet, libDirsSet);
739     mergeSets(&tSet, libPathsSet);
740
741     shash_add(&linkValues, "incdirs", joinStrSet( appendStrSet(tSet, "-I\"", "\"")));
742     shash_add(&linkValues, "lflags", joinStrSet(linkOptionsSet));
743
744     shash_add(&linkValues, "outfile", fullDstFileName ? fullDstFileName : dstFileName);
745
746     if(fullSrcFileName) {
747         sprintf(temp, "%s.o", fullDstFileName ? fullDstFileName : dstFileName);
748 //      addSetHead(&relFilesSet, Safe_strdup(temp));
749                 shash_add(&linkValues, "user_ofile", temp);
750     }
751
752     if(!pic16_options.no_crt)
753           shash_add(&linkValues, "spec_ofiles", pic16_options.crt_name);
754
755     shash_add(&linkValues, "ofiles", joinStrSet(relFilesSet));
756
757     if(!libflags.ignore) {
758       if(libflags.want_libc)
759         addSet(&libFilesSet, Safe_strdup("libc18f.lib"));
760
761           if(libflags.want_libm)
762             addSet(&libFilesSet, Safe_strdup("libm18f.lib"));
763
764           if(libflags.want_libio) {
765             sprintf(temp, "libio%s.lib", pic16->name[1]);   /* build libio18f452.lib name */
766             addSet(&libFilesSet, Safe_strdup(temp));
767           }
768
769           if(libflags.want_libdebug)
770             addSet(&libFilesSet, Safe_strdup("libdebug.lib"));
771         }
772
773     shash_add(&linkValues, "libs", joinStrSet(libFilesSet));
774
775     lcmd = msprintf(linkValues, lfrm);
776
777     ret = my_system( lcmd );
778
779     Safe_free( lcmd );
780
781     if(ret)
782         exit(1);
783 }
784
785
786 static void
787 _pic16_finaliseOptions (void)
788 {
789     port->mem.default_local_map = data;
790     port->mem.default_globl_map = data;
791
792     /* peepholes are disabled for the time being */
793     options.nopeep = 1;
794
795     /* explicit enable peepholes for testing */
796     if(pic16_enable_peeps)
797       options.nopeep = 0;
798
799     options.all_callee_saves = 1;       // always callee saves
800
801 #if 0
802     options.float_rent = 1;
803     options.intlong_rent = 1;
804 #endif
805
806
807     if(alt_asm && strlen(alt_asm))
808       pic16_asmCmd[0] = alt_asm;
809
810     if(alt_link && strlen(alt_link))
811       pic16_linkCmd[0] = alt_link;
812
813     if(!pic16_options.no_crt) {
814       pic16_options.omit_ivt = 1;
815       pic16_options.leave_reset = 0;
816     }
817
818     if(options.model == MODEL_SMALL)
819       addSet(&asmOptionsSet, Safe_strdup("-DSDCC_MODEL_SMALL"));
820     else
821     if(options.model == MODEL_LARGE)
822       addSet(&asmOptionsSet, Safe_strdup("-DSDCC_MODEL_LARGE"));
823
824     {
825       char buf[128];
826
827         sprintf(buf, "-D%s -D__%s", pic16->name[2], pic16->name[1]);
828         *(strrchr(buf, 'f')) = 'F';
829         addSet(&asmOptionsSet, Safe_strdup( buf ));
830     }
831
832     if(STACK_MODEL_LARGE) {
833       addSet(&preArgvSet, Safe_strdup("-DSTACK_MODEL_LARGE"));
834       addSet(&asmOptionsSet, Safe_strdup("-DSTACK_MODEL_LARGE"));
835     } else {
836       addSet(&preArgvSet, Safe_strdup("-DSTACK_MODEL_SMALL"));
837       addSet(&asmOptionsSet, Safe_strdup("-DSTACK_MODEL_SMALL"));
838     }
839 }
840
841
842 #if 0
843   if (options.model == MODEL_LARGE)
844     {
845       port->mem.default_local_map = xdata;
846       port->mem.default_globl_map = xdata;
847     }
848   else
849     {
850       port->mem.default_local_map = data;
851       port->mem.default_globl_map = data;
852     }
853
854   if (options.stack10bit)
855     {
856       if (options.model != MODEL_FLAT24)
857     {
858       fprintf (stderr,
859            "*** warning: 10 bit stack mode is only supported in flat24 model.\n");
860       fprintf (stderr, "\t10 bit stack mode disabled.\n");
861       options.stack10bit = 0;
862     }
863       else
864     {
865       /* Fixup the memory map for the stack; it is now in
866        * far space and requires a FPOINTER to access it.
867        */
868       istack->fmap = 1;
869       istack->ptrType = FPOINTER;
870     }
871     }
872 #endif
873
874
875 static void
876 _pic16_setDefaultOptions (void)
877 {
878   options.stackAuto = 0;        /* implicit declaration */
879   /* port is not capable yet to allocate separate registers
880    * dedicated for passing certain parameters */
881
882   /* initialize to defaults section locations, names and addresses */
883   pic16_sectioninfo.at_udata    = "udata";
884
885   /* set pic16 port options to defaults */
886   pic16_options.no_banksel = 0;
887   pic16_options.opt_banksel = 0;
888   pic16_options.omit_configw = 0;
889   pic16_options.omit_ivt = 0;
890   pic16_options.leave_reset = 0;
891   pic16_options.stack_model = 0;            /* 0 for 'small', 1 for 'large' */
892   pic16_options.ivt_loc = 0x000000;
893   pic16_options.nodefaultlibs = 0;
894   pic16_options.dumpcalltree = 0;
895   pic16_options.crt_name = "crt0i.o";       /* the default crt to link */
896   pic16_options.no_crt = 0;         /* use crt by default */
897   pic16_options.ip_stack = 1;       /* set to 1 to enable ipop/ipush for stack */
898   pic16_options.gstack = 0;
899   pic16_options.debgen = 0;
900 }
901
902 static const char *
903 _pic16_getRegName (struct regs *reg)
904 {
905   if (reg)
906     return reg->name;
907   return "err";
908 }
909
910
911 #if 1
912 static  char *_pic16_mangleFunctionName(char *sz)
913 {
914 //  fprintf(stderr, "mangled function name: %s\n", sz);
915
916   return sz;
917 }
918 #endif
919
920
921 static void
922 _pic16_genAssemblerPreamble (FILE * of)
923 {
924   char *name = pic16_processor_base_name();
925
926     if(!name) {
927         name = "p18f452";
928         fprintf(stderr,"WARNING: No Pic has been selected, defaulting to %s\n",name);
929     }
930
931     fprintf (of, "\tlist\tp=%s\n",&name[1]);
932     if (pic16_mplab_comp) {
933       // provide ACCESS macro used during SFR accesses
934       fprintf (of, "\tinclude <p%s.inc>\n", &name[1]);
935     }
936
937     if(!pic16_options.omit_configw) {
938         pic16_emitConfigRegs(of);
939         fprintf(of, "\n");
940         pic16_emitIDRegs(of);
941     }
942
943   fprintf (of, "\tradix dec\n");
944 }
945
946 /* Generate interrupt vector table. */
947 static int
948 _pic16_genIVT (struct dbuf_s * oBuf, symbol ** interrupts, int maxInterrupts)
949 {
950 #if 1
951     /* PIC18F family has only two interrupts, the high and the low
952      * priority interrupts, which reside at 0x0008 and 0x0018 respectively - VR */
953
954     if((!pic16_options.omit_ivt) || (pic16_options.omit_ivt && pic16_options.leave_reset)) {
955         dbuf_printf(oBuf, "; RESET vector\n");
956         dbuf_printf(oBuf, "\tgoto\t__sdcc_gsinit_startup\n");
957     }
958
959     if(!pic16_options.omit_ivt) {
960         dbuf_printf(oBuf, "\tres 4\n");
961
962
963         dbuf_printf(oBuf, "; High priority interrupt vector 0x0008\n");
964         if(interrupts[1]) {
965             dbuf_printf(oBuf, "\tgoto\t%s\n", interrupts[1]->rname);
966             dbuf_printf(oBuf, "\tres\t12\n");
967         } else {
968             dbuf_printf(oBuf, "\tretfie\n");
969             dbuf_printf(oBuf, "\tres\t14\n");
970         }
971
972         dbuf_printf(oBuf, "; Low priority interrupt vector 0x0018\n");
973         if(interrupts[2]) {
974             dbuf_printf(oBuf, "\tgoto\t%s\n", interrupts[2]->rname);
975         } else {
976             dbuf_printf(oBuf, "\tretfie\n");
977         }
978     }
979 #endif
980   return TRUE;
981 }
982
983 /* return True if the port can handle the type,
984  * False to convert it to function call */
985 static bool _hasNativeMulFor (iCode *ic, sym_link *left, sym_link *right)
986 {
987   //fprintf(stderr,"checking for native mult for %c (size: %d)\n", ic->op, getSize(OP_SYMBOL(IC_RESULT(ic))->type));
988   int symL, symR, symRes, sizeL = 0, sizeR = 0, sizeRes = 0;
989
990   /* left/right are symbols? */
991   symL = IS_SYMOP(IC_LEFT(ic));
992   symR = IS_SYMOP(IC_RIGHT(ic));
993   symRes = IS_SYMOP(IC_RESULT(ic));
994
995   /* --> then determine their sizes */
996   sizeL = symL ? getSize(OP_SYM_TYPE(IC_LEFT(ic))) : 4;
997   sizeR = symR ? getSize(OP_SYM_TYPE(IC_RIGHT(ic))) : 4;
998   sizeRes = symRes ? getSize(OP_SYM_TYPE(IC_RESULT(ic))) : 4;
999
1000   /* Checks to enable native multiplication.
1001    * PICs do not offer native division at all...
1002    *
1003    * Ideas:
1004    * (  i) if result is just one byte, use native MUL
1005    *       (regardless of the operands)
1006    * ( ii) if left and right are unsigned 8-bit operands,
1007    *       use native MUL
1008    * (iii) if left or right is a literal in the range of [-128..256)
1009    *       and the other is an unsigned byte, use native MUL
1010    */
1011   if (ic->op == '*')
1012   {
1013     /* use native mult for `*: <?> x <?> --> {u8_t, s8_t}' */
1014     if (sizeRes == 1) { return TRUE; }
1015
1016     /* use native mult for `u8_t x u8_t --> { u16_t, s16_t }' */
1017     if (sizeL == 1 && symL /*&& SPEC_USIGN(OP_SYM_TYPE(IC_LEFT(ic)))*/) {
1018       sizeL = 1;
1019     } else {
1020       //printf( "%s: left too large (%u) / signed (%u)\n", __FUNCTION__, sizeL, symL && !SPEC_USIGN(OP_SYM_TYPE(IC_LEFT(ic))));
1021       sizeL = 4;
1022     }
1023     if (sizeR == 1 && symR /*&& SPEC_USIGN(OP_SYM_TYPE(IC_RIGHT(ic)))*/) {
1024       sizeR = 1;
1025     } else {
1026       //printf( "%s: right too large (%u) / signed (%u)\n", __FUNCTION__, sizeR, symR && !SPEC_USIGN(OP_SYM_TYPE(IC_RIGHT(ic))));
1027       sizeR = 4;
1028     }
1029
1030     /* also allow literals [-128..256) for left/right operands */
1031     if (IS_VALOP(IC_LEFT(ic)))
1032     {
1033       long l = (long)floatFromVal( OP_VALUE( IC_LEFT(ic) ) );
1034       sizeL = 4;
1035       //printf( "%s: val(left) = %ld\n", __FUNCTION__, l );
1036       if (l >= -128 && l < 256)
1037       {
1038     sizeL = 1;
1039       } else {
1040     //printf( "%s: left value %ld outside [-128..256)\n", __FUNCTION__, l );
1041       }
1042     }
1043     if (IS_VALOP( IC_RIGHT(ic) ))
1044     {
1045       long l = (long)floatFromVal( OP_VALUE( IC_RIGHT(ic) ) );
1046       sizeR = 4;
1047       //printf( "%s: val(right) = %ld\n", __FUNCTION__, l );
1048       if (l >= -128 && l < 256)
1049       {
1050     sizeR = 1;
1051       } else {
1052     //printf( "%s: right value %ld outside [-128..256)\n", __FUNCTION__, l );
1053       }
1054     }
1055
1056     /* use native mult iff left and right are (unsigned) 8-bit operands */
1057     if (sizeL == 1 && sizeR == 1) { return TRUE; }
1058   }
1059
1060   if (ic->op == '/' || ic->op == '%')
1061   {
1062     /* We must catch /: {u8_t,s8_t} x {u8_t,s8_t} --> {u8_t,s8_t},
1063      * because SDCC will call 'divuchar' even for u8_t / s8_t.
1064      * Example: 128 / -2 becomes 128 / 254 = 0 != -64... */
1065     if (sizeL == 1 && sizeR == 1) return TRUE;
1066
1067     /* What about literals? */
1068     if (IS_VALOP( IC_LEFT(ic) ))
1069     {
1070       long l = (long)floatFromVal( OP_VALUE( IC_LEFT(ic) ) );
1071       sizeL = 4;
1072       //printf( "%s: val(left) = %ld\n", __FUNCTION__, l );
1073       if (l >= -128 && l < 256)
1074       {
1075     sizeL = 1;
1076       } else {
1077     //printf( "%s: left value %ld outside [-128..256)\n", __FUNCTION__, l );
1078       }
1079     }
1080     if (IS_VALOP( IC_RIGHT(ic) ))
1081     {
1082       long l = (long)floatFromVal( OP_VALUE( IC_RIGHT(ic) ) );
1083       sizeR = 4;
1084       //printf( "%s: val(right) = %ld\n", __FUNCTION__, l );
1085       if (l >= -128 && l < 256)
1086       {
1087     sizeR = 1;
1088       } else {
1089     //printf( "%s: right value %ld outside [-128..256)\n", __FUNCTION__, l );
1090       }
1091     }
1092     if (sizeL == 1 && sizeR == 1) { return TRUE; }
1093   }
1094
1095   return FALSE;
1096 }
1097
1098
1099 #if 0
1100 /* Do CSE estimation */
1101 static bool cseCostEstimation (iCode *ic, iCode *pdic)
1102 {
1103 //    operand *result = IC_RESULT(ic);
1104 //    sym_link *result_type = operandType(result);
1105
1106
1107     /* VR -- this is an adhoc. Put here after conversation
1108      * with Erik Epetrich */
1109
1110     if(ic->op == '<'
1111         || ic->op == '>'
1112         || ic->op == EQ_OP) {
1113
1114         fprintf(stderr, "%d %s\n", __LINE__, __FUNCTION__);
1115       return 0;
1116     }
1117
1118 #if 0
1119     /* if it is a pointer then return ok for now */
1120     if (IC_RESULT(ic) && IS_PTR(result_type)) return 1;
1121
1122     /* if bitwise | add & subtract then no since mcs51 is pretty good at it
1123        so we will cse only if they are local (i.e. both ic & pdic belong to
1124        the same basic block */
1125     if (IS_BITWISE_OP(ic) || ic->op == '+' || ic->op == '-') {
1126         /* then if they are the same Basic block then ok */
1127         if (ic->eBBlockNum == pdic->eBBlockNum) return 1;
1128         else return 0;
1129     }
1130 #endif
1131
1132     /* for others it is cheaper to do the cse */
1133     return 1;
1134 }
1135 #endif
1136
1137
1138 /* Indicate which extended bit operations this port supports */
1139 static bool
1140 hasExtBitOp (int op, int size)
1141 {
1142   if (op == RRC
1143       || op == RLC
1144       /* || op == GETHBIT */ /* GETHBIT doesn't look complete for PIC */
1145      )
1146     return TRUE;
1147   else
1148     return FALSE;
1149 }
1150
1151 /* Indicate the expense of an access to an output storage class */
1152 static int
1153 oclsExpense (struct memmap *oclass)
1154 {
1155   /* The IN_FARSPACE test is compatible with historical behaviour, */
1156   /* but I don't think it is applicable to PIC. If so, please feel */
1157   /* free to remove this test -- EEP */
1158   if (IN_FARSPACE(oclass))
1159     return 1;
1160
1161   return 0;
1162 }
1163
1164 /** $1 is the input object file (PIC16 specific)    // >>always the basename<<.
1165     $2 is always the output file.
1166     $3 -L path and -l libraries
1167     $l is the list of extra options that should be there somewhere...
1168     MUST be terminated with a NULL.
1169 */
1170 const char *pic16_linkCmd[] =
1171 {
1172   "gplink", "$l", "-w", "-r", "-o \"$2\"", "\"$1\"","$3", NULL
1173 };
1174
1175
1176
1177 /** $1 is always the basename.
1178     $2 is always the output file.
1179     $3 varies (nothing currently)
1180     $l is the list of extra options that should be there somewhere...
1181     MUST be terminated with a NULL.
1182 */
1183 const char *pic16_asmCmd[] =
1184 {
1185   "gpasm", "$l", "$3", "-c", "\"$1.asm\"", "-o \"$2\"", NULL
1186
1187 };
1188
1189 /* Globals */
1190 PORT pic16_port =
1191 {
1192   TARGET_ID_PIC16,
1193   "pic16",
1194   "MCU PIC16",      /* Target name */
1195   "p18f452",        /* Processor */
1196   {
1197     pic16glue,
1198     TRUE,           /* Emit glue around main */
1199     MODEL_SMALL | MODEL_LARGE | MODEL_FLAT24,
1200     MODEL_SMALL
1201   },
1202   {
1203     pic16_asmCmd,   /* assembler command and arguments */
1204     NULL,           /* alternate macro based form */
1205     "-g",           /* arguments for debug mode */
1206     NULL,           /* arguments for normal mode */
1207     0,              /* print externs as global */
1208     ".asm",         /* assembler file extension */
1209     NULL            /* no do_assemble function */
1210   },
1211   {
1212     NULL,           //    pic16_linkCmd,        /* linker command and arguments */
1213     NULL,           /* alternate macro based form */
1214     _pic16_linkEdit,        //NULL,         /* no do_link function */
1215     ".o",           /* extension for object files */
1216     0               /* no need for linker file */
1217   },
1218   {
1219     _defaultRules
1220   },
1221   {
1222     /* Sizes */
1223     1,      /* char */
1224     2,      /* short */
1225     2,      /* int */
1226     4,      /* long */
1227     2,      /* ptr */
1228     3,      /* fptr, far pointers (see Microchip) */
1229     3,      /* gptr */
1230     1,      /* bit */
1231     4,      /* float */
1232     4       /* max */
1233   },
1234
1235     /* generic pointer tags */
1236   {
1237     0x00,   /* far */
1238     0x80,   /* near */
1239     0x00,   /* xstack */
1240     0x00    /* code */
1241   },
1242
1243   {
1244     "XSEG    (XDATA)",      // xstack
1245     "STACK   (DATA)",       // istack
1246     "CSEG    (CODE)",       // code
1247     "DSEG    (DATA)",       // data
1248     "ISEG    (DATA)",       // idata
1249     "PSEG    (DATA)",       // pdata
1250     "XSEG    (XDATA)",      // xdata
1251     "BSEG    (BIT)",        // bit
1252     "RSEG    (DATA)",       // reg
1253     "GSINIT  (CODE)",       // static
1254     "OSEG    (OVR,DATA)",   // overlay
1255     "GSFINAL (CODE)",       // post static
1256     "HOME    (CODE)",       // home
1257     NULL,                   // xidata
1258     NULL,                   // xinit
1259     "CONST   (CODE)",       // const_name - const data (code or not)
1260     "CABS    (ABS,CODE)",   // cabs_name - const absolute data (code or not)
1261     "XABS    (ABS,XDATA)",  // xabs_name - absolute xdata
1262     "IABS    (ABS,DATA)",   // iabs_name - absolute data
1263     NULL,                   // default location for auto vars
1264     NULL,                   // default location for global vars
1265     1                       // code is read only 1=yes
1266   },
1267   {
1268     NULL,       /* genExtraAreaDeclaration */
1269     NULL        /* genExatrAreaLinkOptions */
1270   },
1271   {
1272     /* stack related information */
1273     -1,         /* -1 stack grows downwards, +1 upwards */
1274     1,          /* extra overhead when calling between banks */
1275     4,          /* extra overhead when the function is an ISR */
1276     1,          /* extra overhead for a function call */
1277     1,          /* re-entrant space */
1278     0           /* 'banked' call overhead, mild overlap with bank_overhead */
1279   },
1280     /* pic16 has an 8 bit mul */
1281   {
1282      0, -1
1283   },
1284   {
1285     pic16_emitDebuggerSymbol
1286   },
1287   {
1288     255/3,      /* maxCount */
1289     3,          /* sizeofElement */
1290     /* The rest of these costs are bogus. They approximate */
1291     /* the behavior of src/SDCCicode.c 1.207 and earlier.  */
1292     {4,4,4},    /* sizeofMatchJump[] */
1293     {0,0,0},    /* sizeofRangeCompare[] */
1294     0,          /* sizeofSubtract */
1295     3,          /* sizeofDispatch */
1296   },
1297   "_",
1298   _pic16_init,
1299   _pic16_parseOptions,
1300   pic16_optionsTable,
1301   _pic16_initPaths,
1302   _pic16_finaliseOptions,
1303   _pic16_setDefaultOptions,
1304   pic16_assignRegisters,
1305   _pic16_getRegName,
1306   _pic16_keywords,
1307   _pic16_genAssemblerPreamble,
1308   NULL,             /* no genAssemblerEnd */
1309   _pic16_genIVT,
1310   NULL, // _pic16_genXINIT
1311   NULL,             /* genInitStartup */
1312   _pic16_reset_regparm,
1313   _pic16_regparm,
1314   _process_pragma,  /* process a pragma */
1315   _pic16_mangleFunctionName, /* mangles function name */
1316   _hasNativeMulFor,
1317   hasExtBitOp,      /* hasExtBitOp */
1318   oclsExpense,      /* oclsExpense */
1319   FALSE,
1320   TRUE,             /* little endian */
1321   0,                /* leave lt */
1322   0,                /* leave gt */
1323   1,                /* transform <= to ! > */
1324   1,                /* transform >= to ! < */
1325   1,                /* transform != to !(a == b) */
1326   0,                /* leave == */
1327   FALSE,            /* No array initializer support. */
1328   0,    //cseCostEstimation,            /* !!!no CSE cost estimation yet */
1329   NULL,             /* no builtin functions */
1330   GPOINTER,         /* treat unqualified pointers as "generic" pointers */
1331   1,                /* reset labelKey to 1 */
1332   1,                /* globals & local static allowed */
1333   PORT_MAGIC
1334 };