1 /*-------------------------------------------------------------------------
3 device.c - Accomodates subtle variations in PIC devices
4 Written By - Scott Dattalo scott@dattalo.com
6 This program is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by the
8 Free Software Foundation; either version 2, or (at your option) any
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
19 -------------------------------------------------------------------------*/
25 #include "common.h" // Include everything in the SDCC src directory
34 #if defined(__BORLANDC__) || defined(_MSC_VER)
35 #define STRCASECMP stricmp
36 #define STRNCASECMP strnicmp
38 #define STRCASECMP strcasecmp
39 #define STRNCASECMP strncasecmp
42 extern int Gstack_base_addr;
43 extern int Gstack_size;
45 #define MAX_PICLIST 200
46 static PIC_device *Pics[MAX_PICLIST];
47 static int num_of_supported_PICS = 0;
49 static PIC_device *pic=NULL;
51 int maxRAMaddress = 0;
53 #define CONFIG_WORD_ADDRESS 0x2007
54 #define CONFIG2_WORD_ADDRESS 0x2008
55 #define DEFAULT_CONFIG_WORD 0x3fff
56 #define DEFAULT_CONFIG2_WORD 0x3ffc
58 #define DEVICE_FILE_NAME "pic14devices.txt"
59 #define PIC14_STRING_LEN 256
60 #define SPLIT_WORDS_MAX 16
62 static unsigned int config_word = DEFAULT_CONFIG_WORD;
63 static unsigned int config2_word = DEFAULT_CONFIG2_WORD;
64 static memRange *rangeRAM = NULL;
67 /* parse a value from the configuration file */
68 static int parse_config_value(char *str)
70 if (str[strlen(str) - 1] == 'K')
71 return atoi(str) * 1024; /* like "1K" */
73 else if (STRNCASECMP(str, "0x", 2) == 0)
74 return strtol(str+2, NULL, 16); /* like "0x400" */
77 return atoi(str); /* like "1024" */
81 /* split a line into words */
82 static int split_words(char result_word[SPLIT_WORDS_MAX][PIC14_STRING_LEN], char *str)
88 while (*pos != '\0' && num_words < SPLIT_WORDS_MAX) {
89 /* remove leading spaces */
90 while (isspace(*pos) || *pos == ',')
93 /* copy everything up until the first space or comma */
94 for (ccount = 0; *pos != '\0' && !isspace(*pos) && *pos != ',' && ccount < PIC14_STRING_LEN-1; ccount++, pos++)
95 result_word[num_words][ccount] = *pos;
96 result_word[num_words][ccount] = '\0';
105 /* remove annoying prefixes from the processor name */
106 static char *sanitise_processor_name(char *name)
108 char *proc_pos = name;
113 if (STRNCASECMP(proc_pos, "pic", 3) == 0)
116 else if (tolower(*proc_pos) == 'p')
123 /* create a structure for a pic processor */
124 static PIC_device *create_pic(char *pic_name, int maxram, int bankmsk, int confsiz, int program, int data, int eeprom, int io)
127 char *simple_pic_name = sanitise_processor_name(pic_name);
129 new_pic = Safe_calloc(1, sizeof(PIC_device));
130 new_pic->name = Safe_calloc(strlen(simple_pic_name)+1, sizeof(char));
131 strcpy(new_pic->name, simple_pic_name);
133 new_pic->defMaxRAMaddrs = maxram;
134 new_pic->bankMask = bankmsk;
135 new_pic->hasSecondConfigReg = confsiz > 1;
137 new_pic->programMemSize = program;
138 new_pic->dataMemSize = data;
139 new_pic->eepromMemSize = eeprom;
140 new_pic->ioPins = io;
142 new_pic->ram = rangeRAM;
144 Pics[num_of_supported_PICS] = new_pic;
145 num_of_supported_PICS++;
151 /* mark some registers as being duplicated across banks */
152 static void register_map(int num_words, char word[SPLIT_WORDS_MAX][PIC14_STRING_LEN])
158 fprintf(stderr, "WARNING: not enough values in %s regmap directive\n", DEVICE_FILE_NAME);
162 for (pcount = 2; pcount < num_words; pcount++) {
163 r = Safe_calloc(1, sizeof(memRange));
165 r->start_address = parse_config_value(word[pcount]);
166 r->end_address = parse_config_value(word[pcount]);
167 r->alias = parse_config_value(word[1]);
168 r->bank = (r->start_address >> 7) & 3;
171 // add memRange to device entry for future lookup (sharebanks)
177 /* define ram areas - may be duplicated across banks */
178 static void ram_map(int num_words, char word[SPLIT_WORDS_MAX][PIC14_STRING_LEN])
183 fprintf(stderr, "WARNING: not enough values in %s memmap directive\n", DEVICE_FILE_NAME);
187 r = Safe_calloc(1, sizeof(memRange));
188 //fprintf (stderr, "%s: %s %s %s\n", __FUNCTION__, word[1], word[2], word[3]);
190 r->start_address = parse_config_value(word[1]);
191 r->end_address = parse_config_value(word[2]);
192 r->alias = parse_config_value(word[3]);
193 r->bank = (r->start_address >> 7) & 3;
195 // add memRange to device entry for future lookup (sharebanks)
200 extern set *includeDirsSet;
201 extern set *userIncDirsSet;
202 extern set *libDirsSet;
203 extern set *libPathsSet;
205 /* read the file with all the pic14 definitions and pick out the definition for a processor
206 * if specified. if pic_name is NULL reads everything */
207 static PIC_device *find_device(char *pic_name)
210 char pic_buf[PIC14_STRING_LEN];
212 int found_processor = FALSE;
214 char processor_name[SPLIT_WORDS_MAX][PIC14_STRING_LEN];
215 int num_processor_names = 0;
223 char *simple_pic_name;
228 /* allow abbreviations of the form "f877" - convert to "16f877" */
229 simple_pic_name = sanitise_processor_name(pic_name);
230 num_of_supported_PICS = 0;
232 /* open the piclist file */
233 /* first scan all include directories */
235 //fprintf( stderr, "%s: searching %s\n", __FUNCTION__, DEVICE_FILE_NAME );
236 for (dir = setFirstItem(includeDirsSet);
238 dir = setNextItem(includeDirsSet))
240 //fprintf( stderr, "searching1 %s\n", dir );
241 SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
242 pic_file = fopen( filename, "rt" );
245 for (dir = setFirstItem(userIncDirsSet);
247 dir = setNextItem(userIncDirsSet))
249 //fprintf( stderr, "searching2 %s\n", dir );
250 SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
251 pic_file = fopen( filename, "rt" );
254 for (dir = setFirstItem(libDirsSet);
256 dir = setNextItem(libDirsSet))
258 //fprintf( stderr, "searching3 %s\n", dir );
259 SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
260 pic_file = fopen( filename, "rt" );
263 for (dir = setFirstItem(libPathsSet);
265 dir = setNextItem(libPathsSet))
267 //fprintf( stderr, "searching4 %s\n", dir );
268 SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
269 pic_file = fopen( filename, "rt" );
273 pic_file = fopen(DATADIR LIB_DIR_SUFFIX DIR_SEPARATOR_STRING "pic" DIR_SEPARATOR_STRING DEVICE_FILE_NAME, "rt");
275 if (pic_file == NULL) {
276 /* this second attempt is used when initially building the libraries */
277 pic_file = fopen(".." DIR_SEPARATOR_STRING ".." DIR_SEPARATOR_STRING ".." DIR_SEPARATOR_STRING ".."
278 DIR_SEPARATOR_STRING "src" DIR_SEPARATOR_STRING "pic" DIR_SEPARATOR_STRING
279 DEVICE_FILE_NAME, "rt");
280 if (pic_file == NULL) {
281 fprintf(stderr, "can't find %s\n", DATADIR LIB_DIR_SUFFIX DIR_SEPARATOR_STRING "pic"
282 DIR_SEPARATOR_STRING DEVICE_FILE_NAME);
287 /* read line by line */
288 pic_buf[sizeof(pic_buf)-1] = '\0';
289 while (fgets(pic_buf, sizeof(pic_buf)-1, pic_file) != NULL && !done) {
291 /* remove trailing spaces */
292 while (isspace(pic_buf[strlen(pic_buf)-1]))
293 pic_buf[strlen(pic_buf)-1] = '\0';
295 /* remove leading spaces */
296 for (pic_buf_pos = pic_buf; isspace(*pic_buf_pos); pic_buf_pos++)
299 /* ignore comment / empty lines */
300 if (*pic_buf_pos != '\0' && *pic_buf_pos != '#') {
302 /* split into fields */
303 char pic_word[SPLIT_WORDS_MAX][PIC14_STRING_LEN];
307 num_pic_words = split_words(pic_word, pic_buf_pos);
309 if (STRCASECMP(pic_word[0], "processor") == 0) {
311 if (pic_name == NULL) {
312 /* this is the mode where we read all the processors in - store the names for now */
313 if (num_processor_names > 0) {
314 /* store away all the previous processor definitions */
317 for (dcount = 1; dcount < num_processor_names; dcount++)
318 create_pic(processor_name[dcount], pic_maxram, pic_bankmsk,
319 pic_confsiz, pic_program, pic_data, pic_eeprom, pic_io);
322 num_processor_names = split_words(processor_name, pic_buf_pos);
325 /* if we've just completed reading a processor definition stop now */
329 /* check if this processor name is a match */
330 for (wcount = 1; wcount < num_pic_words; wcount++) {
332 /* skip uninteresting prefixes */
333 char *found_name = sanitise_processor_name(pic_word[wcount]);
335 if (STRCASECMP(found_name, simple_pic_name) == 0)
336 found_processor = TRUE;
343 if (found_processor || pic_name == NULL) {
344 /* only parse a processor section if we've found the one we want */
345 if (STRCASECMP(pic_word[0], "maxram") == 0 && num_pic_words > 1) {
346 pic_maxram = parse_config_value(pic_word[1]);
347 setMaxRAM(pic_maxram);
349 else if (STRCASECMP(pic_word[0], "bankmsk") == 0 && num_pic_words > 1)
350 pic_bankmsk = parse_config_value(pic_word[1]);
352 else if (STRCASECMP(pic_word[0], "confsiz") == 0 && num_pic_words > 1)
353 pic_confsiz = parse_config_value(pic_word[1]);
355 else if (STRCASECMP(pic_word[0], "program") == 0 && num_pic_words > 1)
356 pic_program = parse_config_value(pic_word[1]);
358 else if (STRCASECMP(pic_word[0], "data") == 0 && num_pic_words > 1)
359 pic_data = parse_config_value(pic_word[1]);
361 else if (STRCASECMP(pic_word[0], "eeprom") == 0 && num_pic_words > 1)
362 pic_eeprom = parse_config_value(pic_word[1]);
364 else if (STRCASECMP(pic_word[0], "io") == 0 && num_pic_words > 1)
365 pic_io = parse_config_value(pic_word[1]);
367 else if (STRCASECMP(pic_word[0], "regmap") == 0 && num_pic_words > 2) {
369 register_map(num_pic_words, pic_word);
371 else if (STRCASECMP(pic_word[0], "memmap") == 0 && num_pic_words > 2) {
373 ram_map(num_pic_words, pic_word);
376 fprintf(stderr, "WARNING: %s: bad syntax `%s'\n", DEVICE_FILE_NAME, pic_word[0]);
385 /* if we're in read-the-lot mode then create the final processor definition */
386 if (pic_name == NULL) {
388 if (num_processor_names > 0) {
389 /* store away all the previous processor definitions */
392 for (dcount = 1; dcount < num_processor_names; dcount++)
393 create_pic(processor_name[dcount], pic_maxram, pic_bankmsk,
394 pic_confsiz, pic_program, pic_data, pic_eeprom, pic_io);
399 if (found_processor) {
400 /* create a new pic entry */
401 return create_pic(pic_name, pic_maxram, pic_bankmsk,
402 pic_confsiz, pic_program, pic_data, pic_eeprom, pic_io);
409 void setMaxRAM(int size)
411 maxRAMaddress = size;
413 if (maxRAMaddress < 0) {
414 fprintf(stderr, "invalid maxram 0x%x setting in %s\n",
415 maxRAMaddress, DEVICE_FILE_NAME);
420 /*-----------------------------------------------------------------*
421 *-----------------------------------------------------------------*/
423 int isREGinBank(regs *reg, int bank)
429 if((int)((reg->address | reg->alias) & pic->bankMask & bank) == bank)
435 /*-----------------------------------------------------------------*
436 *-----------------------------------------------------------------*/
437 int REGallBanks(regs *reg)
443 return ((reg->address | reg->alias) & pic->bankMask);
447 /*-----------------------------------------------------------------*
448 * void list_valid_pics(int ncols, int list_alias)
450 * Print out a formatted list of valid PIC devices
452 * ncols - number of columns in the list.
454 * list_alias - if non-zero, print all of the supported aliases
455 * for a device (e.g. F84, 16F84, etc...)
456 *-----------------------------------------------------------------*/
457 void list_valid_pics(int ncols)
462 if (num_of_supported_PICS == 0)
463 find_device(NULL); /* load all the definitions */
465 /* decrement the column number if it's greater than zero */
466 ncols = (ncols > 1) ? ncols-1 : 4;
468 /* Find the device with the longest name */
469 for(i=0,longest=0; i<num_of_supported_PICS; i++) {
470 k = strlen(Pics[i]->name);
477 fprintf(stderr, "\nPIC14 processors and their characteristics:\n\n");
478 fprintf(stderr, " processor");
479 for(k=0; k<longest-1; k++)
481 fprintf(stderr, "program RAM EEPROM I/O\n");
482 fprintf(stderr, "-----------------------------------------------------\n");
484 for(i=0; i < num_of_supported_PICS; i++) {
485 fprintf(stderr," %s", Pics[i]->name);
486 l = longest + 2 - strlen(Pics[i]->name);
490 fprintf(stderr, " ");
491 if (Pics[i]->programMemSize % 1024 == 0)
492 fprintf(stderr, "%4dK", Pics[i]->programMemSize / 1024);
494 fprintf(stderr, "%5d", Pics[i]->programMemSize);
496 fprintf(stderr, " %5d %5d %4d\n",
497 Pics[i]->dataMemSize, Pics[i]->eepromMemSize, Pics[i]->ioPins);
502 fprintf(stderr, "\nPIC14 processors supported:\n");
503 for(i=0; i < num_of_supported_PICS; i++) {
505 fprintf(stderr,"%s", Pics[i]->name);
507 l = longest + 2 - strlen(Pics[i]->name);
524 /*-----------------------------------------------------------------*
526 *-----------------------------------------------------------------*/
527 PIC_device *init_pic(char *pic_type)
529 char long_name[PIC14_STRING_LEN];
531 pic = find_device(pic_type);
534 /* check for shortened "16xxx" form */
535 sprintf(long_name, "16%s", pic_type);
536 pic = find_device(long_name);
538 if(pic_type != NULL && pic_type[0] != '\0')
539 fprintf(stderr, "'%s' was not found.\n", pic_type);
541 fprintf(stderr, "No processor has been specified (use -pPROCESSOR_NAME)\n");
550 /*-----------------------------------------------------------------*
552 *-----------------------------------------------------------------*/
553 int picIsInitialized(void)
555 if(pic && maxRAMaddress > 0)
562 /*-----------------------------------------------------------------*
563 * char *processor_base_name(void) - Include file is derived from this.
564 *-----------------------------------------------------------------*/
565 char *processor_base_name(void)
574 /*-----------------------------------------------------------------*
575 *-----------------------------------------------------------------*/
576 int validAddress(int address, int reg_size)
578 if (maxRAMaddress < 0) {
579 fprintf(stderr, "missing maxram setting in %s\n", DEVICE_FILE_NAME);
582 // fprintf(stderr, "validAddress: Checking 0x%04x\n",address);
583 assert (reg_size > 0);
584 if(address + (reg_size - 1) > maxRAMaddress)
591 /* The following code should be (and is) implemented in the linker. */
593 /*-----------------------------------------------------------------*
594 *-----------------------------------------------------------------*/
595 void mapRegister(regs *reg)
601 if(!reg || !reg->size) {
602 fprintf(stderr,"WARNING: %s:%s:%d Bad register\n",__FILE__,__FUNCTION__,__LINE__);
606 if (maxRAMaddress < 0) {
607 fprintf(stderr, "missing maxram setting in %s\n", DEVICE_FILE_NAME);
611 for(i=0; i<reg->size; i++) {
613 assert(reg->address >= 0 && reg->address < maxRAMaddress);
615 alias = finalMapping[reg->address].alias;
620 //fprintf(stdout,"mapping %s to address 0x%02x, reg size = %d\n",reg->name, (reg->address+alias+i),reg->size);
622 finalMapping[reg->address + alias + i].reg = reg;
623 finalMapping[reg->address + alias + i].instance = i;
625 /* Decrement alias */
627 alias -= ((alias & (alias - 1)) ^ alias);
634 //fprintf(stderr,"%s - %s addr = 0x%03x, size %d\n",__FUNCTION__,reg->name, reg->address,reg->size);
640 /*-----------------------------------------------------------------*
641 *-----------------------------------------------------------------*/
642 int assignRegister(regs *reg, int start_address)
646 //fprintf(stderr,"%s - %s start_address = 0x%03x\n",__FUNCTION__,reg->name, start_address);
649 if (validAddress(reg->address,reg->size)) {
650 //fprintf(stderr,"%s - %s address = 0x%03x\n",__FUNCTION__,reg->name, reg->address);
655 if (getenv("SDCCPICDEBUG")) {
656 fprintf(stderr, "WARNING: Ignoring Out of Range register assignment at fixed address %d, %s\n",
657 reg->address, reg->name);
662 /* This register does not have a fixed address requirement
663 * so we'll search through all availble ram address and
664 * assign the first one */
666 for (i=start_address; i<=maxRAMaddress; i++) {
668 if (validAddress(i,reg->size)) {
675 fprintf(stderr, "WARNING: No more RAM available for %s\n",reg->name);
682 /*-----------------------------------------------------------------*
683 *-----------------------------------------------------------------*/
684 void assignFixedRegisters(set *regset)
688 for (reg = setFirstItem(regset) ; reg ;
689 reg = setNextItem(regset)) {
692 assignRegister(reg,0);
697 /*-----------------------------------------------------------------*
698 *-----------------------------------------------------------------*/
699 void assignRelocatableRegisters(set *regset, int used)
705 for (reg = setFirstItem(regset) ; reg ;
706 reg = setNextItem(regset)) {
708 //fprintf(stdout,"assigning %s (%d) isFixed=%d, wasUsed=%d\n",reg->name,reg->size,reg->isFixed,reg->wasUsed);
710 if((!reg->isExtern) && (!reg->isFixed) && ( used || reg->wasUsed)) {
711 /* If register have been reused then shall not print it a second time. */
714 for (s = regset; s; s = s->next) {
719 if((!r->isFixed) && ( used || r->wasUsed)) {
720 if (r->rIdx == reg->rIdx) {
721 reg->address = r->address;
728 address = assignRegister(reg,address);
735 /* Keep track of whether we found an assignment to the __config words. */
736 static int pic14_hasSetConfigWord = 0;
738 /*-----------------------------------------------------------------*
739 * void assignConfigWordValue(int address, int value)
741 * Most midrange PICs have one config word at address 0x2007.
742 * Newer PIC14s have a second config word at address 0x2008.
743 * This routine will assign values to those addresses.
745 *-----------------------------------------------------------------*/
747 void pic14_assignConfigWordValue(int address, int value)
749 if (CONFIG_WORD_ADDRESS == address)
752 else if (CONFIG2_WORD_ADDRESS == address)
753 config2_word = value;
755 //fprintf(stderr,"setting config word 0x%x to 0x%x\n", address, value);
756 pic14_hasSetConfigWord = 1;
759 /*-----------------------------------------------------------------*
760 * int pic14_emitConfigWord (FILE * vFile)
762 * Emit the __config directives iff we found a previous assignment
763 * to the config word.
764 *-----------------------------------------------------------------*/
765 extern char *iComments2;
766 int pic14_emitConfigWord (FILE * vFile)
768 if (pic14_hasSetConfigWord)
770 fprintf (vFile, "%s", iComments2);
771 fprintf (vFile, "; config word \n");
772 fprintf (vFile, "%s", iComments2);
773 if (pic14_getHasSecondConfigReg())
775 fprintf (vFile, "\t__config _CONFIG1, 0x%x\n", pic14_getConfigWord(0x2007));
776 fprintf (vFile, "\t__config _CONFIG2, 0x%x\n", pic14_getConfigWord(0x2008));
779 fprintf (vFile, "\t__config 0x%x\n", pic14_getConfigWord(0x2007));
786 /*-----------------------------------------------------------------*
787 * int pic14_getConfigWord(int address)
789 * Get the current value of a config word.
791 *-----------------------------------------------------------------*/
793 int pic14_getConfigWord(int address)
797 case CONFIG_WORD_ADDRESS:
800 case CONFIG2_WORD_ADDRESS:
808 /*-----------------------------------------------------------------*
810 *-----------------------------------------------------------------*/
811 unsigned pic14_getMaxRam(void)
813 return pic->defMaxRAMaddrs;
817 /*-----------------------------------------------------------------*
818 * int getHasSecondConfigReg(void) - check if the device has a
819 * second config register, rather than just one.
820 *-----------------------------------------------------------------*/
821 int pic14_getHasSecondConfigReg(void)
826 return pic->hasSecondConfigReg;
829 /*-----------------------------------------------------------------*
830 * True iff the device has memory aliased in every bank.
831 * If true, low and high will be set to the low and high address
832 * occupied by the (last) sharebank found.
833 *-----------------------------------------------------------------*/
834 int pic14_hasSharebank(int *low, int *high, int *size)
842 //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);
843 // find sufficiently large shared region
844 if ((r->alias == pic->bankMask)
845 && (r->end_address != r->start_address) // ignore SFRs
846 && (!size || (*size <= (r->end_address - r->start_address + 1))))
848 if (low) *low = r->start_address;
849 if (high) *high = r->end_address;
850 if (size) *size = r->end_address - r->start_address + 1;
857 if (high) *high = 0x0;
858 if (size) *size = 0x0;
859 //fprintf (stderr, "%s: no shared bank found\n", __FUNCTION__);
864 * True iff the memory region [low, high] is aliased in all banks.
866 int pic14_isShared(int low, int high)
874 //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);
875 if ((r->alias == pic->bankMask) && (r->start_address <= low) && (r->end_address >= high)) {
885 * True iff all RAM is aliased in all banks (no BANKSELs required except for
888 int pic14_allRAMShared(void)
896 if (r->alias != pic->bankMask) return 0;
904 * True iff the pseudo stack is a sharebank --> let linker place it.
905 * [low, high] denotes a size byte long block of (shared or banked)
908 int pic14_getSharedStack(int *low, int *high, int *size)
913 s = options.stack_size ? options.stack_size : 0x10;
914 haveShared = pic14_hasSharebank(&l, &h, &s);
915 if ((options.stack_loc != 0) || !haveShared)
917 // sharebank not available or not to be used
918 s = options.stack_size ? options.stack_size : 0x10;
919 l = options.stack_loc ? options.stack_loc : 0x20;
924 // return 1 iff [low, high] is present in all banks
925 //fprintf(stderr, "%s: low %x, high %x, size %x, shared %d\n", __FUNCTION__, l, h, s, pic14_isShared(l, h));
926 return (pic14_isShared(l, h));
928 // sharebanks available for use by the stack
929 if (options.stack_size) s = options.stack_size;
930 else if (!s || s > 16) s = 16; // limit stack to 16 bytes in SHAREBANK
932 // provide addresses for sharebank
934 if (high) *high = l + s - 1;
936 //fprintf(stderr, "%s: low %x, high %x, size %x, shared 1\n", __FUNCTION__, l, h, s);
941 PIC_device * pic14_getPIC(void)