* src/pic16/main.c (_process_pragma): check for missing
[fw/sdcc] / src / pic16 / main.c
index 0ce3fedb834281cf344278f8d929c71612b60802..a490a264fa16e0555080d1db40a8bf16fd8cfd48 100644 (file)
@@ -43,29 +43,32 @@ static char _defaultRules[] =
 static char *_pic16_keywords[] =
 {
   "at",
-  "bit",
   "code",
   "critical",
   "register",
   "data",
   "far",
-  "idata",
   "interrupt",
   "near",
   "pdata",
   "reentrant",
   "sfr",
-  "sbit",
   "using",
-  "xdata",
   "_data",
   "_code",
   "_generic",
   "_near",
-  "_xdata",
   "_pdata",
-  "_idata",
   "_naked",
+  "shadowregs",
+  "wparam",
+  
+//  "bit",
+//  "idata",
+//  "sbit",
+//  "xdata",
+//  "_xdata",
+//  "_idata",
   NULL
 };
 
@@ -77,7 +80,7 @@ extern char *pic16_processor_base_name(void);
 
 void  pic16_pCodeInitRegisters(void);
 
-void pic16_assignRegisters (eBBlock ** ebbs, int count);
+void pic16_assignRegisters (ebbIndex *);
 
 static int regParmFlg = 0;     /* determine if we can register a parameter */
 
@@ -137,161 +140,243 @@ set *sectNames=NULL;                    /* list of section listed in pragma directives */
 set *sectSyms=NULL;                    /* list of symbols set in a specific section */
 set *wparamList=NULL;
 
+#if 0
+/* This is an experimental code for #pragma inline
+   and is temporarily disabled for 2.5.0 release */
+set *asmInlineMap=NULL;
+#endif  /* 0 */
+
+struct {
+  unsigned ignore: 1;
+  unsigned want_libc: 1;
+  unsigned want_libm: 1;
+  unsigned want_libio: 1;
+  unsigned want_libdebug: 1;
+} libflags = { 0, 0, 0, 0, 0 };
+  
+
 static int
 _process_pragma(const char *sz)
 {
   static const char *WHITE = " \t\n";
   static const char *WHITECOMMA = " \t\n,";
+  char *ptr = strtok((char *)sz, WHITE);
+
+    /* #pragma maxram [maxram] */
+    if (startsWith (ptr, "maxram")) {
+      char *maxRAM = strtok((char *)NULL, WHITE);
+
+        if (maxRAM != (char *)NULL) {
+          int maxRAMaddress;
+          value *maxRAMVal;
+
+            maxRAMVal = constVal(maxRAM);
+            maxRAMaddress = (int)floatFromVal(maxRAMVal);
+            pic16_setMaxRAM(maxRAMaddress);
+        }
+
+        return 0;
+    }
   
-  char *ptr = strtok((char *)sz, WHITE);
+  /* #pragma stack [stack-position] [stack-len] */
+  if(startsWith(ptr, "stack")) {
+    char *stackPosS = strtok((char *)NULL, WHITE);
+    char *stackLenS = strtok((char *)NULL, WHITE);
+    value *stackPosVal;
+    value *stackLenVal;
+    regs *reg;
+    symbol *sym;
+
+      stackPosVal = constVal( stackPosS );
+      stackPos = (unsigned int)floatFromVal( stackPosVal );
+
+      if(stackLenS) {
+        stackLenVal = constVal( stackLenS );
+        stackLen = (unsigned int)floatFromVal( stackLenVal );
+      }
 
-       /* #pragma maxram [maxram] */
-       if (startsWith (ptr, "maxram")) {
-         char *maxRAM = strtok((char *)NULL, WHITE);
+      if(stackLen < 1) {
+        stackLen = 64;
+        fprintf(stderr, "%s:%d: warning: setting stack to default size %d (0x%04x)\n",
+                filename, lineno-1, stackLen, stackLen);
+                        
+//      fprintf(stderr, "%s:%d setting stack to default size %d\n", __FILE__, __LINE__, stackLen);
+      }
 
-               if (maxRAM != (char *)NULL) {
-                 int maxRAMaddress;
-                 value *maxRAMVal;
+//      fprintf(stderr, "Initializing stack pointer at 0x%x len 0x%x\n", stackPos, stackLen);
+        
+      reg=newReg(REG_SFR, PO_SFR_REGISTER, stackPos, "_stack", stackLen-1, 0, NULL);
+      addSet(&pic16_fix_udata, reg);
+    
+      reg = newReg(REG_SFR, PO_SFR_REGISTER, stackPos + stackLen-1, "_stack_end", 1, 0, NULL);
+      addSet(&pic16_fix_udata, reg);
+    
+      sym = newSymbol("stack", 0);
+      sprintf(sym->rname, "_%s", sym->name);
+      addSet(&publics, sym);
 
-                       maxRAMVal = constVal(maxRAM);
-                       maxRAMaddress = (int)floatFromVal(maxRAMVal);
-                       pic16_setMaxRAM(maxRAMaddress);
-               }
+      sym = newSymbol("stack_end", 0);
+      sprintf(sym->rname, "_%s", sym->name);
+      addSet(&publics, sym);
+    
+      initsfpnt = 1;    // force glue() to initialize stack/frame pointers */
 
-          return 0;
-       }
-       
-       /* #pragma stack [stack-position] [stack-len] */
-       if(startsWith(ptr, "stack")) {
-         char *stackPosS = strtok((char *)NULL, WHITE);
-         char *stackLenS = strtok((char *)NULL, WHITE);
-         value *stackPosVal;
-         value *stackLenVal;
-         regs *reg;
-         symbol *sym;
-
-               stackPosVal = constVal( stackPosS );
-               stackPos = (unsigned int)floatFromVal( stackPosVal );
+    return 0;
+  }
+  
+  /* #pragma code [symbol] [location] */
+  if(startsWith(ptr, "code")) {
+    char *symname = strtok((char *)NULL, WHITE);
+    char *location = strtok((char *)NULL, WHITE);
+    absSym *absS;
+    value *addr;
+
+      if (!symname || !location) {
+        fprintf (stderr, "%s:%d: #pragma code [symbol] [location] -- symbol or location missing\n", filename, lineno-1);
+        return 1; /* considered an error */
+      }
 
-               
-               if(stackLenS) {
-                       stackLenVal = constVal( stackLenS );
-                       stackLen = (unsigned int)floatFromVal( stackLenVal );
-               }
+      absS = Safe_calloc(1, sizeof(absSym));
+      sprintf(absS->name, "_%s", symname);
+    
+      addr = constVal( location );
+      absS->address = (unsigned int)floatFromVal( addr );
 
-               if(stackLen < 1) {
-                       stackLen = 64;
-                       fprintf(stderr, "%s:%d: warning: setting stack to default size %d (0x%04x)\n",
-                                     filename, lineno-1, stackLen, stackLen);
-                        
-//                     fprintf(stderr, "%s:%d setting stack to default size %d\n", __FILE__, __LINE__, stackLen);
-               }
+      if((absS->address % 2) != 0) {
+        absS->address--;
+        fprintf(stderr, "%s:%d: warning: code memory locations should be word aligned, will locate to 0x%06x instead\n",
+                filename, lineno-1, absS->address);
+      }
 
-//             fprintf(stderr, "Initializing stack pointer at 0x%x len 0x%x\n", stackPos, stackLen);
-                               
-               reg=newReg(REG_SFR, PO_SFR_REGISTER, stackPos, "_stack", stackLen-1, 0, NULL);
-               addSet(&pic16_fix_udata, reg);
-               
-               reg = newReg(REG_SFR, PO_SFR_REGISTER, stackPos + stackLen-1, "_stack_end", 1, 0, NULL);
-               addSet(&pic16_fix_udata, reg);
+      addSet(&absSymSet, absS);
+//    fprintf(stderr, "%s:%d symbol %s will be placed in location 0x%06x in code memory\n",
+//      __FILE__, __LINE__, symname, absS->address);
 
-               sym = newSymbol("stack", 0);
-               sprintf(sym->rname, "_%s", sym->name);
-               addSet(&publics, sym);
+    return 0;
+  }
 
-               sym = newSymbol("stack_end", 0);
-               sprintf(sym->rname, "_%s", sym->name);
-               addSet(&publics, sym);
-               
-               initsfpnt = 1;          // force glue() to initialize stack/frame pointers */
+  /* #pragma udata [section-name] [symbol] */
+  if(startsWith(ptr, "udata")) {
+    char *sectname = strtok((char *)NULL, WHITE);
+    char *symname = strtok((char *)NULL, WHITE);
+    symbol *nsym;
+    sectSym *ssym;
+    sectName *snam;
+    int found=0;
+    
+      if (!symname || !sectname) {
+        fprintf (stderr, "%s:%d: #pragma udata [section-name] [symbol] -- section-name or symbol missing!\n", filename, lineno-1);
+        return 1; /* considered an error */
+      }
+    
+      while(symname) {
+        ssym = Safe_calloc(1, sizeof(sectSym));
+        ssym->name = Safe_calloc(1, strlen(symname)+2);
+        sprintf(ssym->name, "%s%s", port->fun_prefix, symname);
+        ssym->reg = NULL;
 
-         return 0;
-       }
-       
-       /* #pragma code [symbol] [location] */
-       if(startsWith(ptr, "code")) {
-         char *symname = strtok((char *)NULL, WHITE);
-         char *location = strtok((char *)NULL, WHITE);
-         absSym *absS;
-         value *addr;
-
-               absS = Safe_calloc(1, sizeof(absSym));
-               sprintf(absS->name, "_%s", symname);
-               
-               addr = constVal( location );
-               absS->address = (unsigned int)floatFromVal( addr );
+        addSet(&sectSyms, ssym);
 
-               if((absS->address % 2) != 0) {
-                 absS->address--;
-                 fprintf(stderr, "%s:%d: warning: code memory locations should be word aligned, will locate to 0x%06x instead\n",
-                                     filename, lineno-1, absS->address);
-                }
+        nsym = newSymbol(symname, 0);
+        strcpy(nsym->rname, ssym->name);
 
-               addSet(&absSymSet, absS);
-//             fprintf(stderr, "%s:%d symbol %s will be placed in location 0x%06x in code memory\n",
-//                     __FILE__, __LINE__, symname, absS->address);
+#if 0
+        checkAddSym(&publics, nsym);
+#endif
 
-         return 0;
-       }
+        found = 0;
+        for(snam=setFirstItem(sectNames);snam;snam=setNextItem(sectNames)) {
+          if(!strcmp(sectname, snam->name)){ found=1; break; }
+        }
+      
+        if(!found) {
+          snam = Safe_calloc(1, sizeof(sectName));
+          snam->name = Safe_strdup( sectname );
+          snam->regsSet = NULL;
+        
+          addSet(&sectNames, snam);
+        }
+      
+        ssym->section = snam;
+        
+#if 0
+        fprintf(stderr, "%s:%d placing symbol %s at section %s (%p)\n", __FILE__, __LINE__,
+           ssym->name, snam->name, snam);
+#endif
 
-       /* #pragma udata [section-name] [symbol] */
-       if(startsWith(ptr, "udata")) {
-         char *sectname = strtok((char *)NULL, WHITE);
-         char *symname = strtok((char *)NULL, WHITE);
-         symbol *nsym;
-         sectSym *ssym;
-         sectName *snam;
-         int found=0;
-         
-               while(symname) {
-                       ssym = Safe_calloc(1, sizeof(sectSyms));
-                       ssym->name = Safe_calloc(1, strlen(symname)+2);
-                       sprintf(ssym->name, "_%s", symname);
-                       ssym->reg = NULL;
-
-                       addSet(&sectSyms, ssym);
-
-                        nsym = newSymbol(symname, 0);
-                        strcpy(nsym->rname, ssym->name);
-                       checkAddSym(&publics, nsym);
-
-                       found = 0;
-                       for(snam=setFirstItem(sectNames);snam;snam=setNextItem(sectNames)) {
-                               if(!strcmp(sectname, snam->name)){ found=1; break; }
-                       }
-                       
-                       if(!found) {
-                               snam = Safe_calloc(1, sizeof(sectNames));
-                               snam->name = Safe_strdup( sectname );
-                               snam->regsSet = NULL;
-                               
-                               addSet(&sectNames, snam);
-                       }
-                       
-                       ssym->section = snam;
-                               
-//                     fprintf(stderr, "%s:%d placing symbol %s at section %s (%p)\n", __FILE__, __LINE__,
-//                             ssym->name, snam->name, snam);
-
-                       symname = strtok((char *)NULL, WHITE);
-               }
+        symname = strtok((char *)NULL, WHITE);
+    }
 
-         return 0;
-       }
-       
-       if(startsWith(ptr, "wparam")) {
-         char *fname = strtok((char *)NULL, WHITECOMMA);
-         
-            while(fname) {
-              addSet(&wparamList, Safe_strdup(fname));
+    return 0;
+  }
+  
+  /* #pragma wparam function1[, function2[,...]] */
+  if(startsWith(ptr, "wparam")) {
+    char *fname = strtok((char *)NULL, WHITECOMMA);
+
+      
+      while(fname) {
+        fprintf(stderr, "PIC16 Warning: `%s' wparam pragma is obsolete. use function attribute `wparam' instead.\n", fname);
+        addSet(&wparamList, Safe_strdup(fname));
               
-//              debugf("passing with WREG to %s\n", fname);
-              fname = strtok((char *)NULL, WHITECOMMA);
-            }
+//        debugf("passing with WREG to %s\n", fname);
+        fname = strtok((char *)NULL, WHITECOMMA);
+      }
             
-          return 0;
+      return 0;
+  }
+        
+  /* #pragma library library_module */
+  if(startsWith(ptr, "library")) {
+  char *lmodule = strtok((char *)NULL, WHITE);
+        
+    if(lmodule) {
+      /* lmodule can be:
+       * c     link the C library
+       * math  link the math library
+       * io    link the IO library
+       * debug link the debug libary
+       * anything else, will link as-is */
+       
+      if(!strcmp(lmodule, "c"))libflags.want_libc = 1;
+      else if(!strcmp(lmodule, "math"))libflags.want_libm = 1;
+      else if(!strcmp(lmodule, "io"))libflags.want_libio = 1;
+      else if(!strcmp(lmodule, "debug"))libflags.want_libdebug = 1;
+      else if(!strcmp(lmodule, "ignore"))libflags.ignore = 1;
+      else {
+        if(!libflags.ignore) {
+          fprintf(stderr, "link library %s\n", lmodule);
+          addSetHead(&libFilesSet, lmodule);
         }
-       
+      }
+    }
+    
+    return 0;
+  }
+   
+#if 0
+  /* This is an experimental code for #pragma inline
+     and is temporarily disabled for 2.5.0 release */
+  if(startsWith(ptr, "inline")) {
+    char *tmp = strtok((char *)NULL, WHITECOMMA);
+
+      while(tmp) {
+        addSet(&asmInlineMap, Safe_strdup( tmp ));
+        tmp = strtok((char *)NULL, WHITECOMMA);
+      }
+
+      {
+        char *s;
+          
+          for(s = setFirstItem(asmInlineMap); s ; s = setNextItem(asmInlineMap)) {
+            debugf("inline asm: `%s'\n", s);
+          }
+      }
+      
+      return 0;
+  }
+#endif  /* 0 */
+
   return 1;
 }
 
@@ -303,7 +388,7 @@ _process_pragma(const char *sz)
 #define ALT_ASM                "--asm="
 #define ALT_LINK       "--link="
 
-#define IVT_LOC                "--ivt-loc"
+#define IVT_LOC                "--ivt-loc="
 #define NO_DEFLIBS     "--nodefaultlibs"
 #define MPLAB_COMPAT   "--mplab-comp"
 
@@ -312,6 +397,10 @@ _process_pragma(const char *sz)
 
 #define        OFMSG_LRSUPPORT "--flr-support"
 
+#define OPTIMIZE_GOTO   "--optimize-goto"
+#define        OPTIMIZE_CMP    "--optimize-cmp"
+#define        OPTIMIZE_DF     "--optimize-df"
+
 char *alt_asm=NULL;
 char *alt_link=NULL;
 
@@ -328,9 +417,9 @@ OPTION pic16_optionsTable[]= {
        { 0,    NO_DEFLIBS,             &pic16_options.nodefaultlibs,   "do not link default libraries when linking"},
        { 0,    "--pno-banksel",        &pic16_options.no_banksel,      "do not generate BANKSEL assembler directives"},
        { 0,    OPT_BANKSEL,            NULL,                           "set banksel optimization level (default=0 no)"},
-       { 0,    "--pomit-config-words", &pic16_options.omit_configw,    "omit the generation of configuration words"},
-       { 0,    "--pomit-ivt",          &pic16_options.omit_ivt,        "omit the generation of the Interrupt Vector Table"},
-       { 0,    "--pleave-reset-vector",&pic16_options.leave_reset,     "when omitting IVT leave RESET vector"},
+//     { 0,    "--pomit-config-words", &pic16_options.omit_configw,    "omit the generation of configuration words"},
+//     { 0,    "--pomit-ivt",          &pic16_options.omit_ivt,        "omit the generation of the Interrupt Vector Table"},
+//     { 0,    "--pleave-reset-vector",&pic16_options.leave_reset,     "when omitting IVT leave RESET vector"},
        { 0,    STACK_MODEL,            NULL,                           "use stack model 'small' (default) or 'large'"},
 
        { 0,    "--debug-xtra",         &pic16_debug_verbose,   "show more debug info in assembly output"},
@@ -351,7 +440,9 @@ OPTION pic16_optionsTable[]= {
        { 0,    USE_CRT,        NULL,   "use <crt-o> run-time initialization module"},
        { 0,    "--no-crt",     &pic16_options.no_crt,  "do not link any default run-time initialization module"},
        { 0,    "--gstack",     &pic16_options.gstack,  "trace stack pointer push/pop to overflow"},
-//     { 0,    OFMSG_LRSUPPORT,        NULL,           "use support functions for local register store/restore"},
+       { 0,    OPTIMIZE_GOTO,  NULL,                   "try to use (conditional) BRA instead of GOTO"},
+       { 0,    OPTIMIZE_CMP,   NULL,                   "try to optimize some compares"},
+       { 0,    OPTIMIZE_DF,    NULL,                   "thoroughly analyze data flow (memory and time intensive!)"},
        { 0,    NULL,           NULL,   NULL}
        };
 
@@ -413,6 +504,7 @@ _pic16_parseOptions (int *pargc, char **argv, int *i)
 
     if(ISOPT(IVT_LOC)) {
       pic16_options.ivt_loc = getIntArg(IVT_LOC, argv, i, *pargc);
+      fprintf(stderr, "%s:%d setting interrupt vector addresses 0x%x\n", __FILE__, __LINE__, pic16_options.ivt_loc);
       return TRUE;
     }
        
@@ -442,7 +534,23 @@ _pic16_parseOptions (int *pargc, char **argv, int *i)
       return TRUE;
     }
 #endif
-        
+
+    if (ISOPT(OPTIMIZE_GOTO)) {
+      pic16_options.opt_flags |= OF_OPTIMIZE_GOTO;
+      return TRUE;
+    }
+
+    if(ISOPT(OPTIMIZE_CMP)) {
+      pic16_options.opt_flags |= OF_OPTIMIZE_CMP;
+      return TRUE;
+    }
+
+    if (ISOPT(OPTIMIZE_DF)) {
+      pic16_options.opt_flags |= OF_OPTIMIZE_DF;
+      return TRUE;
+    }
+    
+
   return FALSE;
 }
 
@@ -459,6 +567,9 @@ static void _pic16_initPaths(void)
     setMainValue("mcu", pic16->name[2] );
     addSet(&preArgvSet, Safe_strdup("-D{mcu}"));
 
+    setMainValue("mcu1", pic16->name[1] );
+    addSet(&preArgvSet, Safe_strdup("-D__{mcu1}"));
+
     sprintf(pic16incDir, "%s%cpic16", INCLUDE_DIR_SUFFIX, DIR_SEPARATOR_CHAR);
     sprintf(pic16libDir, "%s%cpic16", LIB_DIR_SUFFIX, DIR_SEPARATOR_CHAR);
 
@@ -532,6 +643,23 @@ static void _pic16_linkEdit(void)
           shash_add(&linkValues, "spec_ofiles", pic16_options.crt_name);
 
        shash_add(&linkValues, "ofiles", joinStrSet(relFilesSet));
+
+       if(!libflags.ignore) {
+         if(libflags.want_libc)
+           addSet(&libFilesSet, Safe_strdup("libc18f.lib"));
+        
+          if(libflags.want_libm)
+            addSet(&libFilesSet, Safe_strdup("libm18f.lib"));
+        
+          if(libflags.want_libio) {
+            sprintf(temp, "libio%s.lib", pic16->name[1]);      /* build libio18f452.lib name */
+            addSet(&libFilesSet, Safe_strdup(temp));
+          }
+        
+          if(libflags.want_libdebug)
+            addSet(&libFilesSet, Safe_strdup("libdebug.lib"));
+        }
+
        shash_add(&linkValues, "libs", joinStrSet(libFilesSet));
        
        lcmd = msprintf(linkValues, lfrm);
@@ -548,6 +676,7 @@ static void _pic16_linkEdit(void)
 /* forward declarations */
 extern const char *pic16_linkCmd[];
 extern const char *pic16_asmCmd[];
+extern set *asmOptionsSet;
 
 static void
 _pic16_finaliseOptions (void)
@@ -580,6 +709,28 @@ _pic16_finaliseOptions (void)
       pic16_options.omit_ivt = 1;
       pic16_options.leave_reset = 0;
     }
+    
+    if(options.model == MODEL_SMALL)
+      addSet(&asmOptionsSet, Safe_strdup("-DSDCC_MODEL_SMALL"));
+    else
+    if(options.model == MODEL_LARGE)
+      addSet(&asmOptionsSet, Safe_strdup("-DSDCC_MODEL_LARGE"));
+    
+    {
+      char buf[128];
+
+        sprintf(buf, "-D%s -D__%s", pic16->name[2], pic16->name[1]);
+        *(strrchr(buf, 'f')) = 'F';
+        addSet(&asmOptionsSet, Safe_strdup( buf ));
+    }
+    
+    if(STACK_MODEL_LARGE) {
+      addSet(&preArgvSet, Safe_strdup("-DSTACK_MODEL_LARGE"));
+      addSet(&asmOptionsSet, Safe_strdup("-DSTACK_MODEL_LARGE"));
+    } else {
+      addSet(&preArgvSet, Safe_strdup("-DSTACK_MODEL_SMALL"));
+      addSet(&asmOptionsSet, Safe_strdup("-DSTACK_MODEL_SMALL"));
+    }
 }
 
 
@@ -640,6 +791,7 @@ _pic16_setDefaultOptions (void)
   pic16_options.no_crt = 0;                    /* use crt by default */
   pic16_options.ip_stack = 1;          /* set to 1 to enable ipop/ipush for stack */
   pic16_options.gstack = 0;
+  pic16_options.debgen = 0;
 }
 
 static const char *
@@ -883,14 +1035,14 @@ PORT pic16_port =
     "CSEG    (CODE)",          // code
     "DSEG    (DATA)",          // data
     "ISEG    (DATA)",          // idata
-    NULL,                                      // pdata
+    "PSEG    (DATA)",          // pdata
     "XSEG    (XDATA)",         // xdata
     "BSEG    (BIT)",           // bit
     "RSEG    (DATA)",          // reg
     "GSINIT  (CODE)",          // static
     "OSEG    (OVR,DATA)",      // overlay
     "GSFINAL (CODE)",          // post static
-    "HOME       (CODE)",       // home
+    "HOME    (CODE)",  // home
     NULL,                      // xidata
     NULL,                      // xinit
     NULL,                      // default location for auto vars