* src/pic16/main.c (_pic16_finaliseOptions): do not quote the
[fw/sdcc] / src / pic / device.c
index b8deafeb2211064278521f8fdffe729ef1c80eaa..17ab6d5d054fcb7710552d7b3ab02963ab5fcf0f 100644 (file)
    Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 -------------------------------------------------------------------------*/
 
-#include <stdio.h>
-#include <stdlib.h>
-#include <ctype.h>
-
-#include "common.h"   // Include everything in the SDCC src directory
-#include "newalloc.h"
-
-
-#include "main.h"
-#include "pcode.h"
-#include "ralloc.h"
 #include "device.h"
 
-#if defined(__BORLANDC__) || defined(_MSC_VER)
-#define STRCASECMP stricmp
-#define STRNCASECMP strnicmp
-#else
-#define STRCASECMP strcasecmp
-#define STRNCASECMP strncasecmp
-#endif
-
-extern int Gstack_base_addr;
-extern int Gstack_size;
+/*
+ * Imports
+ */
+extern set *includeDirsSet;
+extern set *userIncDirsSet;
+extern set *libDirsSet;
+extern set *libPathsSet;
 
 #define MAX_PICLIST 200
 static PIC_device *Pics[MAX_PICLIST];
+static PIC_device *pic = NULL;
 static int num_of_supported_PICS = 0;
-
-static PIC_device *pic=NULL;
-
-int maxRAMaddress = 0;
-AssignedMemory *finalMapping=NULL;
+static int maxRAMaddress = 0;
 
 #define CONFIG_WORD_ADDRESS 0x2007
 #define CONFIG2_WORD_ADDRESS 0x2008
@@ -60,11 +43,11 @@ AssignedMemory *finalMapping=NULL;
 #define PIC14_STRING_LEN 256
 #define SPLIT_WORDS_MAX 16
 
+/* Keep track of whether we found an assignment to the __config words. */
+static int pic14_hasSetConfigWord = 0;
 static unsigned int config_word = DEFAULT_CONFIG_WORD;
 static unsigned int config2_word = DEFAULT_CONFIG2_WORD;
-
-extern int pic14_is_shared (regs *reg);
-extern void emitSymbolToFile (FILE *of, const char *name, const char *section_type, int size, int addr, int useEQU, int globalize);
+static memRange *rangeRAM = NULL;
 
 
 /* parse a value from the configuration file */
@@ -141,6 +124,8 @@ static PIC_device *create_pic(char *pic_name, int maxram, int bankmsk, int confs
        new_pic->dataMemSize = data;
        new_pic->eepromMemSize = eeprom;
        new_pic->ioPins = io;
+
+       new_pic->ram = rangeRAM;
        
        Pics[num_of_supported_PICS] = new_pic;
        num_of_supported_PICS++;
@@ -152,23 +137,24 @@ static PIC_device *create_pic(char *pic_name, int maxram, int bankmsk, int confs
 /* mark some registers as being duplicated across banks */
 static void register_map(int num_words, char word[SPLIT_WORDS_MAX][PIC14_STRING_LEN])
 {
-       memRange r;
+       memRange *r;
        int pcount;
        
        if (num_words < 3) {
                fprintf(stderr, "WARNING: not enough values in %s regmap directive\n", DEVICE_FILE_NAME);
                return;
        }
-       
-       r.alias = parse_config_value(word[1]);
 
        for (pcount = 2; pcount < num_words; pcount++) {
-           
-               r.start_address = parse_config_value(word[pcount]);
-               r.end_address = parse_config_value(word[pcount]);
-               r.bank = (r.start_address >> 7) & 3;
+               r = Safe_calloc(1, sizeof(memRange));
                
-               addMemRange(&r, 1);
+               r->start_address = parse_config_value(word[pcount]);
+               r->end_address = parse_config_value(word[pcount]);
+               r->alias = parse_config_value(word[1]);
+               r->bank = (r->start_address >> 7) & 3;
+               // add memRange to device entry for future lookup (sharebanks)
+               r->next = rangeRAM;
+               rangeRAM = r;
        }
 }
 
@@ -176,28 +162,39 @@ static void register_map(int num_words, char word[SPLIT_WORDS_MAX][PIC14_STRING_
 /* define ram areas - may be duplicated across banks */
 static void ram_map(int num_words, char word[SPLIT_WORDS_MAX][PIC14_STRING_LEN])
 {
-       memRange r;
+       memRange *r;
        
        if (num_words < 4) {
                fprintf(stderr, "WARNING: not enough values in %s memmap directive\n", DEVICE_FILE_NAME);
                return;
        }
+
+       r = Safe_calloc(1, sizeof(memRange));
+       //fprintf (stderr, "%s: %s %s %s\n", __FUNCTION__, word[1], word[2], word[3]);
        
-       r.start_address = parse_config_value(word[1]);
-       r.end_address = parse_config_value(word[2]);
-       r.alias = parse_config_value(word[3]);
-       r.bank = (r.start_address >> 7) & 3;
+       r->start_address = parse_config_value(word[1]);
+       r->end_address = parse_config_value(word[2]);
+       r->alias = parse_config_value(word[3]);
+       r->bank = (r->start_address >> 7) & 3;
                
-       addMemRange(&r, 0);
+       // add memRange to device entry for future lookup (sharebanks)
+       r->next = rangeRAM;
+       rangeRAM = r;
 }
 
-extern set *includeDirsSet;
-extern set *userIncDirsSet;
-extern set *libDirsSet;
-extern set *libPathsSet;
+static void setMaxRAM(int size)
+{
+       maxRAMaddress = size;
+
+       if (maxRAMaddress < 0) {
+               fprintf(stderr, "invalid maxram 0x%x setting in %s\n",
+                       maxRAMaddress, DEVICE_FILE_NAME);
+               return;
+       }
+}
 
-/* read the file with all the pic14 definitions and pick out the definition for a processor
- * if specified. if pic_name is NULL reads everything */
+/* read the file with all the pic14 definitions and pick out the definition
+ * for a processor if specified. if pic_name is NULL reads everything */
 static PIC_device *find_device(char *pic_name)
 {
        FILE *pic_file;
@@ -227,64 +224,78 @@ static PIC_device *find_device(char *pic_name)
        /* first scan all include directories */
        pic_file = NULL;
        //fprintf( stderr, "%s: searching %s\n", __FUNCTION__, DEVICE_FILE_NAME );
-       for (dir = setFirstItem(includeDirsSet);
+       for (dir = setFirstItem(userIncDirsSet);
                !pic_file && dir;
-               dir = setNextItem(includeDirsSet))
+               dir = setNextItem(userIncDirsSet))
        {
          //fprintf( stderr, "searching1 %s\n", dir );
-         SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
+         SNPRINTF(&filename[0], len, "%s%s", dir,
+           DIR_SEPARATOR_STRING DEVICE_FILE_NAME);
          pic_file = fopen( filename, "rt" );
          if (pic_file) break;
        } // for
-       for (dir = setFirstItem(userIncDirsSet);
+
+       for (dir = setFirstItem(includeDirsSet);
                !pic_file && dir;
-               dir = setNextItem(userIncDirsSet))
+               dir = setNextItem(includeDirsSet))
        {
          //fprintf( stderr, "searching2 %s\n", dir );
-         SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
+         SNPRINTF(&filename[0], len, "%s%s", dir,
+           DIR_SEPARATOR_STRING DEVICE_FILE_NAME);
          pic_file = fopen( filename, "rt" );
          if (pic_file) break;
        } // for
+
        for (dir = setFirstItem(libDirsSet);
                !pic_file && dir;
                dir = setNextItem(libDirsSet))
        {
          //fprintf( stderr, "searching3 %s\n", dir );
-         SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
+         SNPRINTF(&filename[0], len, "%s%s", dir,
+           DIR_SEPARATOR_STRING DEVICE_FILE_NAME);
          pic_file = fopen( filename, "rt" );
          if (pic_file) break;
        } // for
+
        for (dir = setFirstItem(libPathsSet);
                !pic_file && dir;
                dir = setNextItem(libPathsSet))
        {
          //fprintf( stderr, "searching4 %s\n", dir );
-         SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
+         SNPRINTF(&filename[0], len, "%s%s", dir,
+           DIR_SEPARATOR_STRING DEVICE_FILE_NAME);
          pic_file = fopen( filename, "rt" );
          if (pic_file) break;
        } // for
+
        if (!pic_file) {
-         pic_file = fopen(DATADIR LIB_DIR_SUFFIX DIR_SEPARATOR_STRING "pic" DIR_SEPARATOR_STRING DEVICE_FILE_NAME, "rt");
-       }
-       if (pic_file == NULL) {
-               /* this second attempt is used when initially building the libraries */
-               pic_file = fopen(".." DIR_SEPARATOR_STRING ".." DIR_SEPARATOR_STRING ".." DIR_SEPARATOR_STRING ".." 
-                               DIR_SEPARATOR_STRING "src" DIR_SEPARATOR_STRING "pic" DIR_SEPARATOR_STRING 
-                               DEVICE_FILE_NAME, "rt");
-               if (pic_file == NULL) {
-                       fprintf(stderr, "can't find %s\n", DATADIR LIB_DIR_SUFFIX DIR_SEPARATOR_STRING "pic" 
-                                       DIR_SEPARATOR_STRING DEVICE_FILE_NAME);
-                       return NULL;
-               }
-       }
+         SNPRINTF(&filename[0], len, "%s",
+           DATADIR LIB_DIR_SUFFIX
+           DIR_SEPARATOR_STRING "pic"
+           DIR_SEPARATOR_STRING DEVICE_FILE_NAME);
+         pic_file = fopen( filename, "rt" );
+       } // if
+
+        if (pic_file == NULL) {
+            fprintf(stderr, "can't find %s\n", DEVICE_FILE_NAME);
+            return NULL;
+        } // if
+
+       if (options.verbose) {
+           printf ("Using devices from %s.\n", filename);
+       } // if
        
        /* read line by line */
        pic_buf[sizeof(pic_buf)-1] = '\0';
        while (fgets(pic_buf, sizeof(pic_buf)-1, pic_file) != NULL && !done) {
+               unsigned llen;
+               llen = strlen (pic_buf);
                
                /* remove trailing spaces */
-               while (isspace(pic_buf[strlen(pic_buf)-1]))
-                       pic_buf[strlen(pic_buf)-1] = '\0';
+               while (llen && isspace(pic_buf[llen-1])) {
+                       pic_buf[llen-1] = '\0';
+                       llen--;
+               }
                
                /* remove leading spaces */
                for (pic_buf_pos = pic_buf; isspace(*pic_buf_pos); pic_buf_pos++)
@@ -400,245 +411,17 @@ static PIC_device *find_device(char *pic_name)
        return NULL;
 }
 
-void addMemRange(memRange *r, int type)
-{
-       int i;
-       int alias = r->alias;
-       
-       if (maxRAMaddress < 0) {
-               fprintf(stderr, "missing maxram setting in %s\n", DEVICE_FILE_NAME);
-               return;
-       }
-       
-       do {
-               for (i=r->start_address; i<= r->end_address; i++) {
-                       if ((i|alias) <= maxRAMaddress) {
-                               /* if we haven't seen this address before, enter it */
-                               if (!finalMapping[i | alias].isValid) {
-                               finalMapping[i | alias].isValid = 1;
-                               finalMapping[i | alias].alias = r->alias;
-                               finalMapping[i | alias].bank  = r->bank;
-                               if(type) {
-                                       /* hack for now */
-                                       finalMapping[i | alias].isSFR  = 1;
-                               } else {
-                                       finalMapping[i | alias].isSFR  = 0;
-                               }
-                               }
-                       } else {
-                               fprintf(stderr, "WARNING: %s:%s memory at 0x%x is beyond max ram = 0x%x\n",
-                                       __FILE__,__FUNCTION__,(i|alias), maxRAMaddress);
-                       }
-               }
-               
-               /* Decrement alias */
-               if (alias) {
-                       alias -= ((alias & (alias - 1)) ^ alias);
-               } else {
-                       alias--;
-               }
-               
-       } while (alias >= 0);
-}
-
-void setMaxRAM(int size)
-{
-       int i;
-       maxRAMaddress = size;
-       
-       if (maxRAMaddress < 0) {
-               fprintf(stderr, "invalid maxram 0x%x setting in %s\n",
-                       maxRAMaddress, DEVICE_FILE_NAME);
-               return;
-       }
-       
-       finalMapping = Safe_calloc(1+maxRAMaddress,
-               sizeof(AssignedMemory));
-       
-       /* Now initialize the finalMapping array */
-       
-       for(i=0; i<=maxRAMaddress; i++) {
-               finalMapping[i].reg = NULL;
-               finalMapping[i].isValid = 0;
-               finalMapping[i].bank = (i>>7);
-       }
-}
-
 /*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-
-int isREGinBank(regs *reg, int bank)
-{
-       
-       if(!reg || !pic)
-               return 0;
-       
-       if((int)((reg->address | reg->alias) & pic->bankMask & bank) == bank)
-               return 1;
-       
-       return 0;
-}
-
-/*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-int REGallBanks(regs *reg)
-{
-       
-       if(!reg || !pic)
-               return 0;
-       
-       return ((reg->address | reg->alias) & pic->bankMask);
-       
-}
-
-/*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-
-int isSFR(int address)
-{
-       
-       if( (address > maxRAMaddress) || !finalMapping[address].isSFR)
-               return 0;
-       
-       return 1;
-       
-}
-
-/*
-*  dump_map -- debug stuff
-*/
-
-void dump_map(void)
-{
-       int i;
-       
-       for(i=0; i<=maxRAMaddress; i++) {
-               //fprintf(stdout , "addr 0x%02x is %s\n", i, ((finalMapping[i].isValid) ? "valid":"invalid"));
-               
-               if(finalMapping[i].isValid) {
-                       fprintf(stderr,"addr: 0x%02x",i);
-                       if(finalMapping[i].isSFR)
-                               fprintf(stderr," isSFR");
-                       if(finalMapping[i].reg) 
-                               fprintf( stderr, "  reg %s", finalMapping[i].reg->name);
-                       fprintf(stderr, "\n");
-               }
-       }
-       
-}
-
-void dump_sfr(FILE *of)
-{
-#if 0
-       int start=-1;
-       int bank_base;
-       static int udata_flag=0;
-#endif
-       int addr=0;
-       
-       //dump_map();   /* display the register map */
-       //fprintf(stdout,";dump_sfr  \n");
-       if (maxRAMaddress < 0) {
-               fprintf(stderr, "missing maxram setting in %s\n", DEVICE_FILE_NAME);
-               return;
-       }
-       
-       for (addr = 0; addr <= maxRAMaddress; addr++)
-       {
-               regs *reg = finalMapping[addr].reg;
-               
-               if (reg && !reg->isEmitted)
-               {
-                 if (pic14_options.isLibrarySource && pic14_is_shared (reg))
-                 {
-                   /* rely on external declarations for the non-fixed stack */
-                   /* Update: We always emit the STACK symbols into a
-                    * udata_shr section, so no extern declaration is
-                    * required. */
-                   //fprintf (of, "\textern\t%s\n", reg->name);
-                 } else {
-                   emitSymbolToFile (of, reg->name, "udata", reg->size, reg->isFixed ? reg->address : -1, 0, pic14_is_shared (reg));
-                 }
-                 
-                 reg->isEmitted = 1;
-               }
-       } // for
-
-#if 0
-       do {
-
-               if(finalMapping[addr].reg && !finalMapping[addr].reg->isEmitted) {
-                       
-                       if(start<0)
-                               start = addr;
-               } else {
-                       if(start>=0) {
-                               
-                               /* clear the lower 7-bits of the start address of the first
-                               * variable declared in this bank. The upper bits for the mid
-                               * range pics are the bank select bits.
-                               */
-                               
-                               bank_base = start & 0xfff8;
-                               
-                               /* The bank number printed in the cblock comment tacitly
-                               * assumes that the first register in the contiguous group
-                               * of registers represents the bank for the whole group */
-                               
-                               if ( (start != addr) && (!udata_flag) ) {
-                                       udata_flag = 1;
-                                       //fprintf(of,"\tudata\n");
-                               }
-                               
-                               for( ; start < addr; start++) {
-                                       if((finalMapping[start].reg) && 
-                                               (!finalMapping[start].reg->isEmitted) &&
-                                               (!finalMapping[start].instance) && 
-                                               (!finalMapping[start].isSFR)) {
-                                               
-                                               if (finalMapping[start].reg->isFixed) {
-                                                       unsigned i;
-                                                       for (i=0; i<finalMapping[start].reg->size; i++) {
-                                                               fprintf(of,"%s\tEQU\t0x%04x\n",
-                                                                       finalMapping[start].reg->name, 
-                                                                       finalMapping[start].reg->address+i);
-                                                       }
-                                               } else {
-                                                       emitSymbolToFile (of, finalMapping[start].reg->name, finalMapping[start].reg->size);
-#if 0
-                                                       fprintf(of,"%s\tres\t%i\n",
-                                                               finalMapping[start].reg->name, 
-                                                               finalMapping[start].reg->size);
-#endif
-                                               }
-                                               finalMapping[start].reg->isEmitted = 1;
-                                       }
-                               }
-                               
-                               start = -1;
-                       }
-                       
-               }
-               
-               addr++;
-               
-       } while(addr <= maxRAMaddress);
-
-
-#endif
-}
-
-/*-----------------------------------------------------------------*
-*  void list_valid_pics(int ncols, int list_alias)
-*
-* Print out a formatted list of valid PIC devices
-*
-* ncols - number of columns in the list.
-*
-* list_alias - if non-zero, print all of the supported aliases
-*              for a device (e.g. F84, 16F84, etc...)
-*-----------------------------------------------------------------*/
-void list_valid_pics(int ncols)
+ *  void list_valid_pics(int ncols, int list_alias)
+ *
+ * Print out a formatted list of valid PIC devices
+ *
+ * ncols - number of columns in the list.
+ *
+ * list_alias - if non-zero, print all of the supported aliases
+ *              for a device (e.g. F84, 16F84, etc...)
+ *-----------------------------------------------------------------*/
+static void list_valid_pics(int ncols)
 {
        int col=0,longest;
        int i,k,l;
@@ -708,7 +491,7 @@ void list_valid_pics(int ncols)
 /*-----------------------------------------------------------------*
 *  
 *-----------------------------------------------------------------*/
-void init_pic(char *pic_type)
+PIC_device *init_pic(char *pic_type)
 {
        char long_name[PIC14_STRING_LEN];
        
@@ -728,6 +511,7 @@ void init_pic(char *pic_type)
                        exit(1);
                }
        }
+       return pic;
 }
 
 /*-----------------------------------------------------------------*
@@ -754,177 +538,15 @@ char *processor_base_name(void)
        return pic->name;
 }
 
-/*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-int validAddress(int address, int reg_size)
-{
-       int i;
-       
-       if (maxRAMaddress < 0) {
-               fprintf(stderr, "missing maxram setting in %s\n", DEVICE_FILE_NAME);
-               return 0;
-       }
-       //  fprintf(stderr, "validAddress: Checking 0x%04x\n",address);
-       assert (reg_size > 0);
-       if(address + (reg_size - 1) > maxRAMaddress)
-               return 0;
-       
-       for (i=0; i<reg_size; i++)
-               if(!finalMapping[address + i].isValid || 
-                       finalMapping[address+i].reg ||
-                       finalMapping[address+i].isSFR )
-                       return 0;
-               
-               return 1;
-}
-
-/*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-void mapRegister(regs *reg)
-{
-       
-       unsigned i;
-       int alias;
-       
-       if(!reg || !reg->size) {
-               fprintf(stderr,"WARNING: %s:%s:%d Bad register\n",__FILE__,__FUNCTION__,__LINE__);
-               return;
-       }
-       
-       if (maxRAMaddress < 0) {
-               fprintf(stderr, "missing maxram setting in %s\n", DEVICE_FILE_NAME);
-               return;
-       }
-       
-       for(i=0; i<reg->size; i++) {
-               
-               alias = finalMapping[reg->address].alias;
-               reg->alias = alias;
-               
-               do {
-                       
-                       //fprintf(stdout,"mapping %s to address 0x%02x, reg size = %d\n",reg->name, (reg->address+alias+i),reg->size);
-                       
-                       finalMapping[reg->address + alias + i].reg = reg;
-                       finalMapping[reg->address + alias + i].instance = i;
-                       
-                       /* Decrement alias */
-                       if(alias)
-                               alias -= ((alias & (alias - 1)) ^ alias);
-                       else
-                               alias--;
-                       
-               } while (alias>=0);
-       }
-       
-       //fprintf(stderr,"%s - %s addr = 0x%03x, size %d\n",__FUNCTION__,reg->name, reg->address,reg->size);
-       
-       reg->isMapped = 1;
-       
-}
-
-/*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-int assignRegister(regs *reg, int start_address)
-{
-       int i;
-       
-       //fprintf(stderr,"%s -  %s start_address = 0x%03x\n",__FUNCTION__,reg->name, start_address);
-       if(reg->isFixed) {
-               
-               if (validAddress(reg->address,reg->size)) {
-                       //fprintf(stderr,"%s -  %s address = 0x%03x\n",__FUNCTION__,reg->name, reg->address);
-                       mapRegister(reg);
-                       return reg->address;
-               }
-               
-               if( isSFR(reg->address)) {
-                       mapRegister(reg);
-                       return reg->address;
-               }
-               
-               fprintf(stderr, "WARNING: Ignoring Out of Range register assignment at fixed address %d, %s\n",
-                   reg->address, reg->name);
-               
-       } else {
-               
-       /* This register does not have a fixed address requirement
-       * so we'll search through all availble ram address and
-               * assign the first one */
-               
-               for (i=start_address; i<=maxRAMaddress; i++) {
-                       
-                       if (validAddress(i,reg->size)) {
-                               reg->address = i;
-                               mapRegister(reg);
-                               return i;
-                       }
-               }
-               
-               fprintf(stderr, "WARNING: No more RAM available for %s\n",reg->name);
-               
-       }
-       
-       return -1;
-}
-
-/*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-void assignFixedRegisters(set *regset)
+int IS_CONFIG_ADDRESS(int address)
 {
-       regs *reg;
-       
-       for (reg = setFirstItem(regset) ; reg ; 
-       reg = setNextItem(regset)) {
-               
-               if(reg->isFixed) 
-                       assignRegister(reg,0);
-       }
-       
-}
 
-/*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-void assignRelocatableRegisters(set *regset, int used)
-{
-       
-       regs *reg;
-       int address = 0;
-       
-       for (reg = setFirstItem(regset) ; reg ; 
-       reg = setNextItem(regset)) {
-               
-               //fprintf(stdout,"assigning %s (%d) isFixed=%d, wasUsed=%d\n",reg->name,reg->size,reg->isFixed,reg->wasUsed);
-               
-               if((!reg->isExtern) && (!reg->isFixed) && ( used || reg->wasUsed)) {
-                       /* If register have been reused then shall not print it a second time. */
-                       set *s;
-                       int done = 0;
-                       for (s = regset; s; s = s->next) {
-                               regs *r;
-                               r = s->item;
-                               if (r == reg)
-                                       break;
-                               if((!r->isFixed) && ( used || r->wasUsed)) {
-                                       if (r->rIdx == reg->rIdx) {
-                                               reg->address = r->address;
-                                               done = 1;
-                                               break;
-                                       }
-                               }
-                       }
-                       if (!done)
-                               address = assignRegister(reg,address);
-               }
-       }
-       
+        return ((address == CONFIG_WORD_ADDRESS)
+                || (address == CONFIG2_WORD_ADDRESS));
 }
 
-/* Keep track of whether we found an assignment to the __config words. */
-static int pic14_hasSetConfigWord = 0;
-
 /*-----------------------------------------------------------------*
- *  void assignConfigWordValue(int address, int value)
+ *  void pic14_assignConfigWordValue(int address, int value)
  *
  * Most midrange PICs have one config word at address 0x2007.
  * Newer PIC14s have a second config word at address 0x2008.
@@ -944,33 +566,6 @@ void pic14_assignConfigWordValue(int address, int value)
        pic14_hasSetConfigWord = 1;
 }
 
-/*-----------------------------------------------------------------*
- * int pic14_emitConfigWord (FILE * vFile)
- * 
- * Emit the __config directives iff we found a previous assignment
- * to the config word.
- *-----------------------------------------------------------------*/
-extern char *iComments2;
-int pic14_emitConfigWord (FILE * vFile)
-{
-  if (pic14_hasSetConfigWord)
-  {
-    fprintf (vFile, "%s", iComments2);
-    fprintf (vFile, "; config word \n");
-    fprintf (vFile, "%s", iComments2);
-    if (pic14_getHasSecondConfigReg())
-    {
-      fprintf (vFile, "\t__config _CONFIG1, 0x%x\n", pic14_getConfigWord(0x2007));
-      fprintf (vFile, "\t__config _CONFIG2, 0x%x\n", pic14_getConfigWord(0x2008));
-    }
-    else
-      fprintf (vFile, "\t__config 0x%x\n", pic14_getConfigWord(0x2007));
-
-    return 1;
-  }
-  return 0;
-}
-
 /*-----------------------------------------------------------------*
  * int pic14_getConfigWord(int address)
  *
@@ -978,7 +573,7 @@ int pic14_emitConfigWord (FILE * vFile)
  *
  *-----------------------------------------------------------------*/
 
-int pic14_getConfigWord(int address)
+static int pic14_getConfigWord(int address)
 {
        switch (address)
        {
@@ -993,20 +588,11 @@ int pic14_getConfigWord(int address)
        }
 }
 
-/*-----------------------------------------------------------------*
-*  
-*-----------------------------------------------------------------*/
-unsigned pic14_getMaxRam(void)
-{
-       return pic->defMaxRAMaddrs;
-}
-
-
 /*-----------------------------------------------------------------*
 *  int getHasSecondConfigReg(void) - check if the device has a 
 *  second config register, rather than just one.
 *-----------------------------------------------------------------*/
-int pic14_getHasSecondConfigReg(void)
+static int pic14_getHasSecondConfigReg(void)
 {
        if(!pic)
                return 0;
@@ -1015,29 +601,144 @@ int pic14_getHasSecondConfigReg(void)
 }
 
 /*-----------------------------------------------------------------*
- * Query the size of the sharebank of the selected device.
- * FIXME: Currently always returns 16.
+ * int pic14_emitConfigWord (FILE * vFile)
+ *
+ * Emit the __config directives iff we found a previous assignment
+ * to the config word.
  *-----------------------------------------------------------------*/
-int pic14_getSharebankSize(void)
+int pic14_emitConfigWord (FILE * vFile)
 {
-       return 16;
+  if (pic14_hasSetConfigWord)
+  {
+    fprintf (vFile, "%s", iComments2);
+    fprintf (vFile, "; config word \n");
+    fprintf (vFile, "%s", iComments2);
+    if (pic14_getHasSecondConfigReg())
+    {
+      fprintf (vFile, "\t__config _CONFIG1, 0x%x\n", pic14_getConfigWord(0x2007));
+      fprintf (vFile, "\t__config _CONFIG2, 0x%x\n", pic14_getConfigWord(0x2008));
+    }
+    else
+      fprintf (vFile, "\t__config 0x%x\n", pic14_getConfigWord(0x2007));
+
+    return 1;
+  }
+  return 0;
 }
 
 /*-----------------------------------------------------------------*
- * Query the highest byte address occupied by the sharebank of the
- * selected device.
- * FIXME: Currently always returns 0x7f.
- * THINK: Might not be needed, if we assign all shareable objects to
- *        a `udata_shr' section and let the linker do the rest...
- * Tried it, but yields `no target memory available' for pic16f877...
+ * True iff the device has memory aliased in every bank.
+ * If true, low and high will be set to the low and high address
+ * occupied by the (last) sharebank found.
  *-----------------------------------------------------------------*/
-int pic14_getSharebankAddress(void)
+static int pic14_hasSharebank(int *low, int *high, int *size)
 {
-       int sharebankAddress = 0x7f;
-       /* If total RAM is less than 0x7f as with 16f84 then reduce
-        * sharebankAddress to fit */
-       if ((unsigned)sharebankAddress > pic14_getMaxRam())
-               sharebankAddress = (int)pic14_getMaxRam();
-       return sharebankAddress;
+       memRange *r;
+
+       assert(pic);
+       r = pic->ram;
+
+       while (r) {
+           //fprintf (stderr, "%s: region %x..%x, bank %x, alias %x, pic->bankmask %x, min_size %d\n",  __FUNCTION__, r->start_address, r->end_address, r->bank, r->alias, pic->bankMask, size ? *size : 0);
+           // find sufficiently large shared region
+           if ((r->alias == pic->bankMask)
+                   && (r->end_address != r->start_address) // ignore SFRs
+                   && (!size || (*size <= (r->end_address - r->start_address + 1))))
+           {
+               if (low) *low = r->start_address;
+               if (high) *high = r->end_address;
+               if (size) *size = r->end_address - r->start_address + 1;
+               return 1;
+           } // if
+           r = r->next;
+       } // while
+
+       if (low) *low = 0x0;
+       if (high) *high = 0x0;
+       if (size) *size = 0x0;
+       //fprintf (stderr, "%s: no shared bank found\n", __FUNCTION__);
+       return 0;
 }
 
+/*
+ * True iff the memory region [low, high] is aliased in all banks.
+ */
+static int pic14_isShared(int low, int high)
+{
+       memRange *r;
+
+       assert(pic);
+       r = pic->ram;
+
+       while (r) {
+           //fprintf (stderr, "%s: region %x..%x, bank %x, alias %x, pic->bankmask %x\n", __FUNCTION__, r->start_address, r->end_address, r->bank, r->alias, pic->bankMask);
+           if ((r->alias == pic->bankMask) && (r->start_address <= low) && (r->end_address >= high)) {
+               return 1;
+           } // if
+           r = r->next;
+       } // while
+
+       return 0;
+}
+
+/*
+ * True iff all RAM is aliased in all banks (no BANKSELs required except for
+ * SFRs).
+ */
+int pic14_allRAMShared(void)
+{
+       memRange *r;
+
+       assert(pic);
+       r = pic->ram;
+
+       while (r) {
+           if (r->alias != pic->bankMask) return 0;
+           r = r->next;
+       } // while
+       
+       return 1;
+}
+
+/*
+ * True iff the pseudo stack is a sharebank --> let linker place it.
+ * [low, high] denotes a size byte long block of (shared or banked)
+ * memory to be used.
+ */
+int pic14_getSharedStack(int *low, int *high, int *size)
+{
+    int haveShared;
+    int l, h, s;
+
+    s = options.stack_size ? options.stack_size : 0x10;
+    haveShared = pic14_hasSharebank(&l, &h, &s);
+    if ((options.stack_loc != 0) || !haveShared)
+    {
+       // sharebank not available or not to be used
+       s = options.stack_size ? options.stack_size : 0x10;
+       l = options.stack_loc ? options.stack_loc : 0x20;
+       h = l + s - 1;
+       if (low) *low = l;
+       if (high) *high = h;
+       if (size) *size = s;
+       // return 1 iff [low, high] is present in all banks
+       //fprintf(stderr, "%s: low %x, high %x, size %x, shared %d\n", __FUNCTION__, l, h, s, pic14_isShared(l, h));
+       return (pic14_isShared(l, h));
+    } else {
+       // sharebanks available for use by the stack
+       if (options.stack_size) s = options.stack_size;
+       else if (!s || s > 16) s = 16; // limit stack to 16 bytes in SHAREBANK
+
+       // provide addresses for sharebank
+       if (low) *low = l;
+       if (high) *high = l + s - 1;
+       if (size) *size = s;
+       //fprintf(stderr, "%s: low %x, high %x, size %x, shared 1\n", __FUNCTION__, l, h, s);
+       return 1;
+    }
+}
+
+PIC_device * pic14_getPIC(void)
+{
+    return pic;
+}