* debugger/mcs51/break.c, debugger/mcs51/cmd.c,
[fw/sdcc] / src / pic / device.c
index fa970737f15901620341b190fe271f187ecb23d3..ffb95d014918e0dc7ff456c9dcb4066cbedddaeb 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,587 +43,443 @@ 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 */
-static int parse_config_value(char *str)
+static int
+parse_config_value (char *str)
 {
-       if (str[strlen(str) - 1] == 'K')
-               return atoi(str) * 1024;        /* like "1K" */
-               
-       else if (STRNCASECMP(str, "0x", 2) == 0)
-               return strtol(str+2, NULL, 16); /* like "0x400" */
-       
-       else
-               return atoi(str);               /* like "1024" */
+  if (str[strlen (str) - 1] == 'K')
+    return atoi (str) * 1024;        /* like "1K" */
+
+  else if (STRNCASECMP (str, "0x", 2) == 0)
+    return strtol (str+2, NULL, 16); /* like "0x400" */
+
+  else
+    return atoi (str);               /* like "1024" */
 }
 
 
 /* split a line into words */
-static int split_words(char result_word[SPLIT_WORDS_MAX][PIC14_STRING_LEN], char *str)
+static int
+split_words (char **result_word, char *str)
 {
-       char *pos = str;
-       int num_words = 0;
-       int ccount;
-       
-       while (*pos != '\0' && num_words < SPLIT_WORDS_MAX) {
-               /* remove leading spaces */
-               while (isspace(*pos) || *pos == ',')
-                       pos++;
-       
-               /* copy everything up until the first space or comma */
-               for (ccount = 0; *pos != '\0' && !isspace(*pos) && *pos != ',' && ccount < PIC14_STRING_LEN-1; ccount++, pos++)
-                       result_word[num_words][ccount] = *pos;
-               result_word[num_words][ccount] = '\0';
-               
-               num_words++;
-       }
-       
-       return num_words;
+  static const char delim[] = " \f\n\r\t\v,";
+  char *token;
+  int num_words;
+
+  /* release previously allocated words */
+  for (num_words = 0; num_words < SPLIT_WORDS_MAX; num_words++)
+    {
+      if (result_word[num_words])
+        {
+          free (result_word[num_words]);
+          result_word[num_words] = NULL;
+        } // if
+    } // for
+
+  /* split line */
+  token = strtok (str, delim);
+  num_words = 0;
+  while (token && (num_words < SPLIT_WORDS_MAX))
+    {
+      result_word[num_words] = Safe_strdup (token);
+      num_words++;
+      token = strtok (NULL, delim);
+    } // while
+
+  return num_words;
 }
 
 
 /* remove annoying prefixes from the processor name */
-static char *sanitise_processor_name(char *name)
+static char *
+sanitise_processor_name (char *name)
 {
-       char *proc_pos = name;
+  char *proc_pos = name;
 
-       if (name == NULL)
-               return NULL;
-       
-       if (STRNCASECMP(proc_pos, "pic", 3) == 0)
-               proc_pos += 3;
+  if (name == NULL)
+    return NULL;
 
-       else if (tolower(*proc_pos) == 'p')
-               proc_pos += 1;
-                               
-       return proc_pos;
+  if (STRNCASECMP (proc_pos, "pic", 3) == 0)
+    proc_pos += 3;
+
+  else if (tolower (*proc_pos) == 'p')
+    proc_pos += 1;
+
+  return proc_pos;
 }
 
 
 /* create a structure for a pic processor */
-static PIC_device *create_pic(char *pic_name, int maxram, int bankmsk, int confsiz, int program, int data, int eeprom, int io)
+static PIC_device *
+create_pic (char *pic_name, int maxram, int bankmsk, int confsiz,
+            int program, int data, int eeprom, int io)
 {
-       PIC_device *new_pic;
-       char *simple_pic_name = sanitise_processor_name(pic_name);
-       
-       new_pic = Safe_calloc(1, sizeof(PIC_device));
-       new_pic->name = Safe_calloc(strlen(simple_pic_name)+1, sizeof(char));
-       strcpy(new_pic->name, simple_pic_name);
-                       
-       new_pic->defMaxRAMaddrs = maxram;
-       new_pic->bankMask = bankmsk;
-       new_pic->hasSecondConfigReg = confsiz > 1;
-       
-       new_pic->programMemSize = program;
-       new_pic->dataMemSize = data;
-       new_pic->eepromMemSize = eeprom;
-       new_pic->ioPins = io;
-       
-       Pics[num_of_supported_PICS] = new_pic;
-       num_of_supported_PICS++;
-                       
-       return new_pic;
-}
+  PIC_device *new_pic;
+  char *simple_pic_name = sanitise_processor_name (pic_name);
 
+  new_pic = Safe_calloc (1, sizeof (PIC_device));
+  new_pic->name = Safe_strdup (simple_pic_name);
 
-/* 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;
-       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]);
+  new_pic->defMaxRAMaddrs = maxram;
+  new_pic->bankMask = bankmsk;
+  new_pic->hasSecondConfigReg = confsiz > 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;
-               
-               addMemRange(&r, 1);
-       }
-}
+  new_pic->programMemSize = program;
+  new_pic->dataMemSize = data;
+  new_pic->eepromMemSize = eeprom;
+  new_pic->ioPins = io;
 
+  new_pic->ram = rangeRAM;
 
-/* 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;
-       
-       if (num_words < 4) {
-               fprintf(stderr, "WARNING: not enough values in %s memmap directive\n", DEVICE_FILE_NAME);
-               return;
-       }
-       
-       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);
+  Pics[num_of_supported_PICS] = new_pic;
+  num_of_supported_PICS++;
+
+  return new_pic;
 }
 
-extern set *includeDirsSet;
-extern set *userIncDirsSet;
-extern set *libDirsSet;
-extern set *libPathsSet;
 
-/* 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)
+/* mark some registers as being duplicated across banks */
+static void
+register_map (int num_words, char **word)
 {
-       FILE *pic_file;
-       char pic_buf[PIC14_STRING_LEN];
-       char *pic_buf_pos;
-       int found_processor = FALSE;
-       int done = FALSE;
-       char processor_name[SPLIT_WORDS_MAX][PIC14_STRING_LEN];
-       int num_processor_names = 0;
-       int pic_maxram = 0;
-       int pic_bankmsk = 0;
-       int pic_confsiz = 0;
-       int pic_program = 0;
-       int pic_data = 0;
-       int pic_eeprom = 0;
-       int pic_io = 0;
-       char *simple_pic_name;
-       char *dir;
-       char filename[512];
-       int len = 512;
-       
-       /* allow abbreviations of the form "f877" - convert to "16f877" */
-       simple_pic_name = sanitise_processor_name(pic_name);
-       num_of_supported_PICS = 0;
-       
-       /* open the piclist file */
-       /* first scan all include directories */
-       pic_file = NULL;
-       //fprintf( stderr, "%s: searching %s\n", __FUNCTION__, DEVICE_FILE_NAME );
-       for (dir = setFirstItem(includeDirsSet);
-               !pic_file && dir;
-               dir = setNextItem(includeDirsSet))
-       {
-         //fprintf( stderr, "searching1 %s\n", dir );
-         SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
-         pic_file = fopen( filename, "rt" );
-         if (pic_file) break;
-       } // for
-       for (dir = setFirstItem(userIncDirsSet);
-               !pic_file && dir;
-               dir = setNextItem(userIncDirsSet))
-       {
-         //fprintf( stderr, "searching2 %s\n", dir );
-         SNPRINTF(&filename[0], len, "%s%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);
-         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);
-         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;
-               }
-       }
-       
-       /* read line by line */
-       pic_buf[sizeof(pic_buf)-1] = '\0';
-       while (fgets(pic_buf, sizeof(pic_buf)-1, pic_file) != NULL && !done) {
-               
-               /* remove trailing spaces */
-               while (isspace(pic_buf[strlen(pic_buf)-1]))
-                       pic_buf[strlen(pic_buf)-1] = '\0';
-               
-               /* remove leading spaces */
-               for (pic_buf_pos = pic_buf; isspace(*pic_buf_pos); pic_buf_pos++)
-               {}
-               
-               /* ignore comment / empty lines */
-               if (*pic_buf_pos != '\0' && *pic_buf_pos != '#') {
-                       
-                       /* split into fields */
-                       char pic_word[SPLIT_WORDS_MAX][PIC14_STRING_LEN];
-                       int num_pic_words;
-                       int wcount;
-                       
-                       num_pic_words = split_words(pic_word, pic_buf_pos);
-                       
-                       if (STRCASECMP(pic_word[0], "processor") == 0) {
-                       
-                               if (pic_name == NULL) {
-                                       /* this is the mode where we read all the processors in - store the names for now */
-                                       if (num_processor_names > 0) {
-                                               /* store away all the previous processor definitions */
-                                               int dcount;
-                                               
-                                               for (dcount = 1; dcount < num_processor_names; dcount++)
-                                                       create_pic(processor_name[dcount], pic_maxram, pic_bankmsk,
-                                                                  pic_confsiz, pic_program, pic_data, pic_eeprom, pic_io);
-                                       }
-                                       
-                                       num_processor_names = split_words(processor_name, pic_buf_pos);
-                               }
-                               else {
-                                       /* if we've just completed reading a processor definition stop now */
-                                       if (found_processor)
-                                               done = TRUE;
-                                       else {
-                                               /* check if this processor name is a match */
-                                               for (wcount = 1; wcount < num_pic_words; wcount++) {
-                                                       
-                                                       /* skip uninteresting prefixes */
-                                                       char *found_name = sanitise_processor_name(pic_word[wcount]);
-
-                                                       if (STRCASECMP(found_name, simple_pic_name) == 0)
-                                                               found_processor = TRUE;
-                                               }
-                                       }
-                               }
-                       }
-                       
-                       else {
-                               if (found_processor || pic_name == NULL) {
-                                       /* only parse a processor section if we've found the one we want */
-                                       if (STRCASECMP(pic_word[0], "maxram") == 0 && num_pic_words > 1) {
-                                               pic_maxram = parse_config_value(pic_word[1]);
-                                               setMaxRAM(pic_maxram);
-                                       }
-                                       else if (STRCASECMP(pic_word[0], "bankmsk") == 0 && num_pic_words > 1)
-                                               pic_bankmsk = parse_config_value(pic_word[1]);
-                       
-                                       else if (STRCASECMP(pic_word[0], "confsiz") == 0 && num_pic_words > 1)
-                                               pic_confsiz = parse_config_value(pic_word[1]);
-                       
-                                       else if (STRCASECMP(pic_word[0], "program") == 0 && num_pic_words > 1)
-                                               pic_program = parse_config_value(pic_word[1]);
-                       
-                                       else if (STRCASECMP(pic_word[0], "data") == 0 && num_pic_words > 1)
-                                               pic_data = parse_config_value(pic_word[1]);
-                       
-                                       else if (STRCASECMP(pic_word[0], "eeprom") == 0 && num_pic_words > 1)
-                                               pic_eeprom = parse_config_value(pic_word[1]);
-                       
-                                       else if (STRCASECMP(pic_word[0], "io") == 0 && num_pic_words > 1)
-                                               pic_io = parse_config_value(pic_word[1]);
-                       
-                                       else if (STRCASECMP(pic_word[0], "regmap") == 0 && num_pic_words > 2) {
-                                               if (found_processor)
-                                                       register_map(num_pic_words, pic_word);
-                                       }
-                                       else if (STRCASECMP(pic_word[0], "memmap") == 0 && num_pic_words > 2) {
-                                               if (found_processor)
-                                                       ram_map(num_pic_words, pic_word);
-                                       }
-                                       else {
-                                               fprintf(stderr, "WARNING: %s: bad syntax `%s'\n", DEVICE_FILE_NAME, pic_word[0]);
-                                       }
-                               }
-                       }
-               }
-       }
-       
-       fclose(pic_file);
-
-       /* if we're in read-the-lot mode then create the final processor definition */
-       if (pic_name == NULL) {
-           
-               if (num_processor_names > 0) {
-                       /* store away all the previous processor definitions */
-                       int dcount;
-               
-                       for (dcount = 1; dcount < num_processor_names; dcount++)
-                               create_pic(processor_name[dcount], pic_maxram, pic_bankmsk,
-                                          pic_confsiz, pic_program, pic_data, pic_eeprom, pic_io);
-               }
-       }
-       else {
-               /* in search mode */
-               if (found_processor) {
-                       /* create a new pic entry */
-                       return create_pic(pic_name, pic_maxram, pic_bankmsk,
-                                         pic_confsiz, pic_program, pic_data, pic_eeprom, pic_io);
-               }
-       }
-       
-       return NULL;
-}
+  memRange *r;
+  int pcount;
 
-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 {
-                               if (getenv("SDCCPICDEBUG")) {
-                                       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);
-}
+  if (num_words < 3)
+    {
+      fprintf (stderr, "WARNING: not enough values in %s regmap directive\n",
+               DEVICE_FILE_NAME);
+      return;
+    } // if
 
-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);
-       }
+  for (pcount = 2; pcount < num_words; pcount++)
+    {
+      r = Safe_calloc (1, sizeof (memRange));
+
+      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;
+    } // for
 }
 
-/*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
 
-int isREGinBank(regs *reg, int bank)
+/* define ram areas - may be duplicated across banks */
+static void
+ram_map (int num_words, char **word)
 {
-       
-       if(!reg || !pic)
-               return 0;
-       
-       if((int)((reg->address | reg->alias) & pic->bankMask & bank) == bank)
-               return 1;
-       
-       return 0;
-}
+  memRange *r;
 
-/*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-int REGallBanks(regs *reg)
-{
-       
-       if(!reg || !pic)
-               return 0;
-       
-       return ((reg->address | reg->alias) & pic->bankMask);
-       
+  if (num_words < 4)
+    {
+      fprintf (stderr, "WARNING: not enough values in %s memmap directive\n",
+               DEVICE_FILE_NAME);
+      return;
+    } // if
+
+  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;
+
+  // add memRange to device entry for future lookup (sharebanks)
+  r->next = rangeRAM;
+  rangeRAM = r;
 }
 
-/*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-
-int isSFR(int address)
+static void
+setMaxRAM (int size)
 {
-       
-       if( (address > maxRAMaddress) || !finalMapping[address].isSFR)
-               return 0;
-       
-       return 1;
-       
-}
+  maxRAMaddress = size;
 
-/*
-*  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");
-               }
-       }
-       
+  if (maxRAMaddress < 0)
+    {
+      fprintf (stderr, "invalid maxram 0x%x setting in %s\n",
+               maxRAMaddress, DEVICE_FILE_NAME);
+      return;
+    } // if
 }
 
-void dump_sfr(FILE *of)
+/* 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)
 {
-#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);
+  FILE *pic_file;
+  char pic_buf[PIC14_STRING_LEN];
+  int found_processor = FALSE;
+  int done = FALSE;
+  char **processor_name;
+  int num_processor_names = 0;
+  int pic_maxram = 0;
+  int pic_bankmsk = 0;
+  int pic_confsiz = 0;
+  int pic_program = 0;
+  int pic_data = 0;
+  int pic_eeprom = 0;
+  int pic_io = 0;
+  char *simple_pic_name;
+  char *dir;
+  char filename[512];
+  int len = 512;
+  char **pic_word;
+  int num_pic_words;
+  int wcount;
+
+  pic_word = Safe_calloc (sizeof (char *), SPLIT_WORDS_MAX);
+  processor_name = Safe_calloc (sizeof (char *), SPLIT_WORDS_MAX);
+
+  /* allow abbreviations of the form "f877" - convert to "16f877" */
+  simple_pic_name = sanitise_processor_name (pic_name);
+  num_of_supported_PICS = 0;
+
+  /* open the piclist file */
+  /* first scan all include directories */
+  pic_file = NULL;
+  //fprintf (stderr, "%s: searching %s\n", __FUNCTION__, DEVICE_FILE_NAME);
+  for (dir = setFirstItem (userIncDirsSet);
+      !pic_file && dir;
+      dir = setNextItem (userIncDirsSet))
+    {
+      //fprintf (stderr, "searching1 %s\n", dir);
+      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 (includeDirsSet);
+      !pic_file && dir;
+      dir = setNextItem (includeDirsSet))
+    {
+      //fprintf (stderr, "searching2 %s\n", dir);
+      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", 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", dir,
+                DIR_SEPARATOR_STRING DEVICE_FILE_NAME);
+      pic_file = fopen (filename, "rt");
+      if (pic_file) break;
+    } // for
+
+  if (!pic_file)
+    {
+      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);
 
-#endif
+  /* read line by line */
+  pic_buf[sizeof (pic_buf)-1] = '\0';
+  while (fgets (pic_buf, sizeof (pic_buf)-1, pic_file) != NULL && !done)
+    {
+      /* strip comments */
+      {
+        char *comment = strchr (pic_buf, '#');
+        if (comment)
+          *comment = 0;
+      }
+
+      /* split into fields */
+      num_pic_words = split_words (pic_word, pic_buf);
+
+      /* ignore comment / empty lines */
+      if (num_pic_words > 0)
+        {
+
+          if (STRCASECMP (pic_word[0], "processor") == 0)
+            {
+              if (pic_name == NULL)
+                {
+                  int dcount;
+
+                  /* this is the mode where we read all the processors in - store the names for now */
+                  if (num_processor_names > 0)
+                    {
+                      /* store away all the previous processor definitions */
+                      for (dcount = 1; dcount < num_processor_names; dcount++)
+                        {
+                          create_pic (processor_name[dcount], pic_maxram,
+                                      pic_bankmsk, pic_confsiz, pic_program,
+                                      pic_data, pic_eeprom, pic_io);
+                        } // for
+                    } // if
+
+                  /* copy processor names */
+                  num_processor_names = num_pic_words;
+                  for (dcount = 1; dcount < num_processor_names; dcount++)
+                    {
+                      processor_name[dcount] = pic_word[dcount];
+                      pic_word[dcount] = NULL;
+                    } // for
+                } // if
+              else
+                {
+                  /* if we've just completed reading a processor definition stop now */
+                  if (found_processor)
+                    done = TRUE;
+                  else
+                    {
+                      /* check if this processor name is a match */
+                      for (wcount = 1; wcount < num_pic_words; wcount++)
+                        {
+                          /* skip uninteresting prefixes */
+                          char *found_name = sanitise_processor_name (pic_word[wcount]);
+
+                          if (STRCASECMP (found_name, simple_pic_name) == 0)
+                            found_processor = TRUE;
+                        } // for
+                    } // if
+                } // if
+            } // if
+          else
+            {
+              if (found_processor || pic_name == NULL)
+                {
+                  /* only parse a processor section if we've found the one we want */
+                  if (STRCASECMP (pic_word[0], "maxram") == 0 && num_pic_words > 1)
+                    {
+                      pic_maxram = parse_config_value (pic_word[1]);
+                      setMaxRAM (pic_maxram);
+                    } // if
+
+                  else if (STRCASECMP (pic_word[0], "bankmsk") == 0 && num_pic_words > 1)
+                    pic_bankmsk = parse_config_value (pic_word[1]);
+
+                  else if (STRCASECMP (pic_word[0], "confsiz") == 0 && num_pic_words > 1)
+                    pic_confsiz = parse_config_value (pic_word[1]);
+
+                  else if (STRCASECMP (pic_word[0], "program") == 0 && num_pic_words > 1)
+                    pic_program = parse_config_value (pic_word[1]);
+
+                  else if (STRCASECMP (pic_word[0], "data") == 0 && num_pic_words > 1)
+                    pic_data = parse_config_value (pic_word[1]);
+
+                  else if (STRCASECMP (pic_word[0], "eeprom") == 0 && num_pic_words > 1)
+                    pic_eeprom = parse_config_value (pic_word[1]);
+
+                  else if (STRCASECMP (pic_word[0], "io") == 0 && num_pic_words > 1)
+                    pic_io = parse_config_value (pic_word[1]);
+
+                  else if (STRCASECMP (pic_word[0], "regmap") == 0 && num_pic_words > 2)
+                    {
+                      if (found_processor)
+                        register_map (num_pic_words, pic_word);
+                    } // if
+
+                  else if (STRCASECMP (pic_word[0], "memmap") == 0 && num_pic_words > 2)
+                    {
+                      if (found_processor)
+                        ram_map (num_pic_words, pic_word);
+                    } // if
+
+                  else
+                    {
+                      fprintf (stderr, "WARNING: %s: bad syntax `%s'\n",
+                               DEVICE_FILE_NAME, pic_word[0]);
+                    } // if
+                } // if
+            } // if
+        } // if
+    } // while
+
+  fclose (pic_file);
+
+  split_words (pic_word, NULL);
+  free (pic_word);
+
+  /* if we're in read-the-lot mode then create the final processor definition */
+  if (pic_name == NULL)
+    {
+      if (num_processor_names > 0)
+        {
+          /* store away all the previous processor definitions */
+          int dcount;
+
+          for (dcount = 1; dcount < num_processor_names; dcount++)
+            {
+              create_pic (processor_name[dcount], pic_maxram, pic_bankmsk,
+                          pic_confsiz, pic_program, pic_data, pic_eeprom,
+                          pic_io);
+            } // for
+        } // if
+    } // if
+  else
+    {
+      /* in search mode */
+      if (found_processor)
+        {
+          split_words (processor_name, NULL);
+          free (processor_name);
+
+          /* create a new pic entry */
+          return create_pic (pic_name, pic_maxram, pic_bankmsk,
+                             pic_confsiz, pic_program, pic_data,
+                             pic_eeprom, pic_io);
+        } // if
+    } // if
+
+  split_words (processor_name, NULL);
+  free (processor_name);
+
+  return NULL;
 }
 
 /*-----------------------------------------------------------------*
-*  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;
@@ -710,7 +549,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];
        
@@ -730,6 +569,7 @@ void init_pic(char *pic_type)
                        exit(1);
                }
        }
+       return pic;
 }
 
 /*-----------------------------------------------------------------*
@@ -756,179 +596,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 IS_CONFIG_ADDRESS(int 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;
-               }
-               
-               if (getenv("SDCCPICDEBUG")) {
-                       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)
-{
-       regs *reg;
-       
-       for (reg = setFirstItem(regset) ; reg ; 
-       reg = setNextItem(regset)) {
-               
-               if(reg->isFixed) 
-                       assignRegister(reg,0);
-       }
-       
+        return ((address == CONFIG_WORD_ADDRESS)
+                || (address == CONFIG2_WORD_ADDRESS));
 }
 
 /*-----------------------------------------------------------------*
-*-----------------------------------------------------------------*/
-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);
-               }
-       }
-       
-}
-
-/* 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.
@@ -948,33 +624,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)
  *
@@ -982,7 +631,7 @@ int pic14_emitConfigWord (FILE * vFile)
  *
  *-----------------------------------------------------------------*/
 
-int pic14_getConfigWord(int address)
+static int pic14_getConfigWord(int address)
 {
        switch (address)
        {
@@ -997,20 +646,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;
@@ -1019,29 +659,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)
+{
+       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)
 {
-       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) {
+           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;
+}