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;
169 // add memRange to device entry for future lookup (sharebanks)
176 /* define ram areas - may be duplicated across banks */
177 static void ram_map(int num_words, char word[SPLIT_WORDS_MAX][PIC14_STRING_LEN])
182 fprintf(stderr, "WARNING: not enough values in %s memmap directive\n", DEVICE_FILE_NAME);
186 r = Safe_calloc(1, sizeof(memRange));
187 //fprintf (stderr, "%s: %s %s %s\n", __FUNCTION__, word[1], word[2], word[3]);
189 r->start_address = parse_config_value(word[1]);
190 r->end_address = parse_config_value(word[2]);
191 r->alias = parse_config_value(word[3]);
192 r->bank = (r->start_address >> 7) & 3;
194 // add memRange to device entry for future lookup (sharebanks)
199 extern set *includeDirsSet;
200 extern set *userIncDirsSet;
201 extern set *libDirsSet;
202 extern set *libPathsSet;
204 /* read the file with all the pic14 definitions and pick out the definition for a processor
205 * if specified. if pic_name is NULL reads everything */
206 static PIC_device *find_device(char *pic_name)
209 char pic_buf[PIC14_STRING_LEN];
211 int found_processor = FALSE;
213 char processor_name[SPLIT_WORDS_MAX][PIC14_STRING_LEN];
214 int num_processor_names = 0;
222 char *simple_pic_name;
227 /* allow abbreviations of the form "f877" - convert to "16f877" */
228 simple_pic_name = sanitise_processor_name(pic_name);
229 num_of_supported_PICS = 0;
231 /* open the piclist file */
232 /* first scan all include directories */
234 //fprintf( stderr, "%s: searching %s\n", __FUNCTION__, DEVICE_FILE_NAME );
235 for (dir = setFirstItem(includeDirsSet);
237 dir = setNextItem(includeDirsSet))
239 //fprintf( stderr, "searching1 %s\n", dir );
240 SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
241 pic_file = fopen( filename, "rt" );
244 for (dir = setFirstItem(userIncDirsSet);
246 dir = setNextItem(userIncDirsSet))
248 //fprintf( stderr, "searching2 %s\n", dir );
249 SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
250 pic_file = fopen( filename, "rt" );
253 for (dir = setFirstItem(libDirsSet);
255 dir = setNextItem(libDirsSet))
257 //fprintf( stderr, "searching3 %s\n", dir );
258 SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
259 pic_file = fopen( filename, "rt" );
262 for (dir = setFirstItem(libPathsSet);
264 dir = setNextItem(libPathsSet))
266 //fprintf( stderr, "searching4 %s\n", dir );
267 SNPRINTF(&filename[0], len, "%s%s%s", dir, DIR_SEPARATOR_STRING, DEVICE_FILE_NAME);
268 pic_file = fopen( filename, "rt" );
272 pic_file = fopen(DATADIR LIB_DIR_SUFFIX DIR_SEPARATOR_STRING "pic" DIR_SEPARATOR_STRING DEVICE_FILE_NAME, "rt");
274 if (pic_file == NULL) {
275 /* this second attempt is used when initially building the libraries */
276 pic_file = fopen(".." DIR_SEPARATOR_STRING ".." DIR_SEPARATOR_STRING ".." DIR_SEPARATOR_STRING ".."
277 DIR_SEPARATOR_STRING "src" DIR_SEPARATOR_STRING "pic" DIR_SEPARATOR_STRING
278 DEVICE_FILE_NAME, "rt");
279 if (pic_file == NULL) {
280 fprintf(stderr, "can't find %s\n", DATADIR LIB_DIR_SUFFIX DIR_SEPARATOR_STRING "pic"
281 DIR_SEPARATOR_STRING DEVICE_FILE_NAME);
286 /* read line by line */
287 pic_buf[sizeof(pic_buf)-1] = '\0';
288 while (fgets(pic_buf, sizeof(pic_buf)-1, pic_file) != NULL && !done) {
290 /* remove trailing spaces */
291 while (isspace(pic_buf[strlen(pic_buf)-1]))
292 pic_buf[strlen(pic_buf)-1] = '\0';
294 /* remove leading spaces */
295 for (pic_buf_pos = pic_buf; isspace(*pic_buf_pos); pic_buf_pos++)
298 /* ignore comment / empty lines */
299 if (*pic_buf_pos != '\0' && *pic_buf_pos != '#') {
301 /* split into fields */
302 char pic_word[SPLIT_WORDS_MAX][PIC14_STRING_LEN];
306 num_pic_words = split_words(pic_word, pic_buf_pos);
308 if (STRCASECMP(pic_word[0], "processor") == 0) {
310 if (pic_name == NULL) {
311 /* this is the mode where we read all the processors in - store the names for now */
312 if (num_processor_names > 0) {
313 /* store away all the previous processor definitions */
316 for (dcount = 1; dcount < num_processor_names; dcount++)
317 create_pic(processor_name[dcount], pic_maxram, pic_bankmsk,
318 pic_confsiz, pic_program, pic_data, pic_eeprom, pic_io);
321 num_processor_names = split_words(processor_name, pic_buf_pos);
324 /* if we've just completed reading a processor definition stop now */
328 /* check if this processor name is a match */
329 for (wcount = 1; wcount < num_pic_words; wcount++) {
331 /* skip uninteresting prefixes */
332 char *found_name = sanitise_processor_name(pic_word[wcount]);
334 if (STRCASECMP(found_name, simple_pic_name) == 0)
335 found_processor = TRUE;
342 if (found_processor || pic_name == NULL) {
343 /* only parse a processor section if we've found the one we want */
344 if (STRCASECMP(pic_word[0], "maxram") == 0 && num_pic_words > 1) {
345 pic_maxram = parse_config_value(pic_word[1]);
346 setMaxRAM(pic_maxram);
348 else if (STRCASECMP(pic_word[0], "bankmsk") == 0 && num_pic_words > 1)
349 pic_bankmsk = parse_config_value(pic_word[1]);
351 else if (STRCASECMP(pic_word[0], "confsiz") == 0 && num_pic_words > 1)
352 pic_confsiz = parse_config_value(pic_word[1]);
354 else if (STRCASECMP(pic_word[0], "program") == 0 && num_pic_words > 1)
355 pic_program = parse_config_value(pic_word[1]);
357 else if (STRCASECMP(pic_word[0], "data") == 0 && num_pic_words > 1)
358 pic_data = parse_config_value(pic_word[1]);
360 else if (STRCASECMP(pic_word[0], "eeprom") == 0 && num_pic_words > 1)
361 pic_eeprom = parse_config_value(pic_word[1]);
363 else if (STRCASECMP(pic_word[0], "io") == 0 && num_pic_words > 1)
364 pic_io = parse_config_value(pic_word[1]);
366 else if (STRCASECMP(pic_word[0], "regmap") == 0 && num_pic_words > 2) {
368 register_map(num_pic_words, pic_word);
370 else if (STRCASECMP(pic_word[0], "memmap") == 0 && num_pic_words > 2) {
372 ram_map(num_pic_words, pic_word);
375 fprintf(stderr, "WARNING: %s: bad syntax `%s'\n", DEVICE_FILE_NAME, pic_word[0]);
384 /* if we're in read-the-lot mode then create the final processor definition */
385 if (pic_name == NULL) {
387 if (num_processor_names > 0) {
388 /* store away all the previous processor definitions */
391 for (dcount = 1; dcount < num_processor_names; dcount++)
392 create_pic(processor_name[dcount], pic_maxram, pic_bankmsk,
393 pic_confsiz, pic_program, pic_data, pic_eeprom, pic_io);
398 if (found_processor) {
399 /* create a new pic entry */
400 return create_pic(pic_name, pic_maxram, pic_bankmsk,
401 pic_confsiz, pic_program, pic_data, pic_eeprom, pic_io);
408 void setMaxRAM(int size)
410 maxRAMaddress = size;
412 if (maxRAMaddress < 0) {
413 fprintf(stderr, "invalid maxram 0x%x setting in %s\n",
414 maxRAMaddress, DEVICE_FILE_NAME);
419 /*-----------------------------------------------------------------*
420 *-----------------------------------------------------------------*/
422 int isREGinBank(regs *reg, int bank)
428 if((int)((reg->address | reg->alias) & pic->bankMask & bank) == bank)
434 /*-----------------------------------------------------------------*
435 *-----------------------------------------------------------------*/
436 int REGallBanks(regs *reg)
442 return ((reg->address | reg->alias) & pic->bankMask);
446 /*-----------------------------------------------------------------*
447 * void list_valid_pics(int ncols, int list_alias)
449 * Print out a formatted list of valid PIC devices
451 * ncols - number of columns in the list.
453 * list_alias - if non-zero, print all of the supported aliases
454 * for a device (e.g. F84, 16F84, etc...)
455 *-----------------------------------------------------------------*/
456 void list_valid_pics(int ncols)
461 if (num_of_supported_PICS == 0)
462 find_device(NULL); /* load all the definitions */
464 /* decrement the column number if it's greater than zero */
465 ncols = (ncols > 1) ? ncols-1 : 4;
467 /* Find the device with the longest name */
468 for(i=0,longest=0; i<num_of_supported_PICS; i++) {
469 k = strlen(Pics[i]->name);
476 fprintf(stderr, "\nPIC14 processors and their characteristics:\n\n");
477 fprintf(stderr, " processor");
478 for(k=0; k<longest-1; k++)
480 fprintf(stderr, "program RAM EEPROM I/O\n");
481 fprintf(stderr, "-----------------------------------------------------\n");
483 for(i=0; i < num_of_supported_PICS; i++) {
484 fprintf(stderr," %s", Pics[i]->name);
485 l = longest + 2 - strlen(Pics[i]->name);
489 fprintf(stderr, " ");
490 if (Pics[i]->programMemSize % 1024 == 0)
491 fprintf(stderr, "%4dK", Pics[i]->programMemSize / 1024);
493 fprintf(stderr, "%5d", Pics[i]->programMemSize);
495 fprintf(stderr, " %5d %5d %4d\n",
496 Pics[i]->dataMemSize, Pics[i]->eepromMemSize, Pics[i]->ioPins);
501 fprintf(stderr, "\nPIC14 processors supported:\n");
502 for(i=0; i < num_of_supported_PICS; i++) {
504 fprintf(stderr,"%s", Pics[i]->name);
506 l = longest + 2 - strlen(Pics[i]->name);
523 /*-----------------------------------------------------------------*
525 *-----------------------------------------------------------------*/
526 PIC_device *init_pic(char *pic_type)
528 char long_name[PIC14_STRING_LEN];
530 pic = find_device(pic_type);
533 /* check for shortened "16xxx" form */
534 sprintf(long_name, "16%s", pic_type);
535 pic = find_device(long_name);
537 if(pic_type != NULL && pic_type[0] != '\0')
538 fprintf(stderr, "'%s' was not found.\n", pic_type);
540 fprintf(stderr, "No processor has been specified (use -pPROCESSOR_NAME)\n");
549 /*-----------------------------------------------------------------*
551 *-----------------------------------------------------------------*/
552 int picIsInitialized(void)
554 if(pic && maxRAMaddress > 0)
561 /*-----------------------------------------------------------------*
562 * char *processor_base_name(void) - Include file is derived from this.
563 *-----------------------------------------------------------------*/
564 char *processor_base_name(void)
573 /*-----------------------------------------------------------------*
574 *-----------------------------------------------------------------*/
575 int validAddress(int address, int reg_size)
577 if (maxRAMaddress < 0) {
578 fprintf(stderr, "missing maxram setting in %s\n", DEVICE_FILE_NAME);
581 // fprintf(stderr, "validAddress: Checking 0x%04x\n",address);
582 assert (reg_size > 0);
583 if(address + (reg_size - 1) > maxRAMaddress)
590 /* The following code should be (and is) implemented in the linker. */
592 /*-----------------------------------------------------------------*
593 *-----------------------------------------------------------------*/
594 void mapRegister(regs *reg)
600 if(!reg || !reg->size) {
601 fprintf(stderr,"WARNING: %s:%s:%d Bad register\n",__FILE__,__FUNCTION__,__LINE__);
605 if (maxRAMaddress < 0) {
606 fprintf(stderr, "missing maxram setting in %s\n", DEVICE_FILE_NAME);
610 for(i=0; i<reg->size; i++) {
612 assert(reg->address >= 0 && reg->address < maxRAMaddress);
614 alias = finalMapping[reg->address].alias;
619 //fprintf(stdout,"mapping %s to address 0x%02x, reg size = %d\n",reg->name, (reg->address+alias+i),reg->size);
621 finalMapping[reg->address + alias + i].reg = reg;
622 finalMapping[reg->address + alias + i].instance = i;
624 /* Decrement alias */
626 alias -= ((alias & (alias - 1)) ^ alias);
633 //fprintf(stderr,"%s - %s addr = 0x%03x, size %d\n",__FUNCTION__,reg->name, reg->address,reg->size);
639 /*-----------------------------------------------------------------*
640 *-----------------------------------------------------------------*/
641 int assignRegister(regs *reg, int start_address)
645 //fprintf(stderr,"%s - %s start_address = 0x%03x\n",__FUNCTION__,reg->name, start_address);
648 if (validAddress(reg->address,reg->size)) {
649 //fprintf(stderr,"%s - %s address = 0x%03x\n",__FUNCTION__,reg->name, reg->address);
654 if (getenv("SDCCPICDEBUG")) {
655 fprintf(stderr, "WARNING: Ignoring Out of Range register assignment at fixed address %d, %s\n",
656 reg->address, reg->name);
661 /* This register does not have a fixed address requirement
662 * so we'll search through all availble ram address and
663 * assign the first one */
665 for (i=start_address; i<=maxRAMaddress; i++) {
667 if (validAddress(i,reg->size)) {
674 fprintf(stderr, "WARNING: No more RAM available for %s\n",reg->name);
681 /*-----------------------------------------------------------------*
682 *-----------------------------------------------------------------*/
683 void assignFixedRegisters(set *regset)
687 for (reg = setFirstItem(regset) ; reg ;
688 reg = setNextItem(regset)) {
691 assignRegister(reg,0);
696 /*-----------------------------------------------------------------*
697 *-----------------------------------------------------------------*/
698 void assignRelocatableRegisters(set *regset, int used)
704 for (reg = setFirstItem(regset) ; reg ;
705 reg = setNextItem(regset)) {
707 //fprintf(stdout,"assigning %s (%d) isFixed=%d, wasUsed=%d\n",reg->name,reg->size,reg->isFixed,reg->wasUsed);
709 if((!reg->isExtern) && (!reg->isFixed) && ( used || reg->wasUsed)) {
710 /* If register have been reused then shall not print it a second time. */
713 for (s = regset; s; s = s->next) {
718 if((!r->isFixed) && ( used || r->wasUsed)) {
719 if (r->rIdx == reg->rIdx) {
720 reg->address = r->address;
727 address = assignRegister(reg,address);
734 /* Keep track of whether we found an assignment to the __config words. */
735 static int pic14_hasSetConfigWord = 0;
737 /*-----------------------------------------------------------------*
738 * void assignConfigWordValue(int address, int value)
740 * Most midrange PICs have one config word at address 0x2007.
741 * Newer PIC14s have a second config word at address 0x2008.
742 * This routine will assign values to those addresses.
744 *-----------------------------------------------------------------*/
746 void pic14_assignConfigWordValue(int address, int value)
748 if (CONFIG_WORD_ADDRESS == address)
751 else if (CONFIG2_WORD_ADDRESS == address)
752 config2_word = value;
754 //fprintf(stderr,"setting config word 0x%x to 0x%x\n", address, value);
755 pic14_hasSetConfigWord = 1;
758 /*-----------------------------------------------------------------*
759 * int pic14_emitConfigWord (FILE * vFile)
761 * Emit the __config directives iff we found a previous assignment
762 * to the config word.
763 *-----------------------------------------------------------------*/
764 extern char *iComments2;
765 int pic14_emitConfigWord (FILE * vFile)
767 if (pic14_hasSetConfigWord)
769 fprintf (vFile, "%s", iComments2);
770 fprintf (vFile, "; config word \n");
771 fprintf (vFile, "%s", iComments2);
772 if (pic14_getHasSecondConfigReg())
774 fprintf (vFile, "\t__config _CONFIG1, 0x%x\n", pic14_getConfigWord(0x2007));
775 fprintf (vFile, "\t__config _CONFIG2, 0x%x\n", pic14_getConfigWord(0x2008));
778 fprintf (vFile, "\t__config 0x%x\n", pic14_getConfigWord(0x2007));
785 /*-----------------------------------------------------------------*
786 * int pic14_getConfigWord(int address)
788 * Get the current value of a config word.
790 *-----------------------------------------------------------------*/
792 int pic14_getConfigWord(int address)
796 case CONFIG_WORD_ADDRESS:
799 case CONFIG2_WORD_ADDRESS:
807 /*-----------------------------------------------------------------*
809 *-----------------------------------------------------------------*/
810 unsigned pic14_getMaxRam(void)
812 return pic->defMaxRAMaddrs;
816 /*-----------------------------------------------------------------*
817 * int getHasSecondConfigReg(void) - check if the device has a
818 * second config register, rather than just one.
819 *-----------------------------------------------------------------*/
820 int pic14_getHasSecondConfigReg(void)
825 return pic->hasSecondConfigReg;
828 /*-----------------------------------------------------------------*
829 * True iff the device has memory aliased in every bank.
830 * If true, low and high will be set to the low and high address
831 * occupied by the (last) sharebank found.
832 *-----------------------------------------------------------------*/
833 int pic14_hasSharebank(int *low, int *high, int *size)
841 //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);
842 // find sufficiently large shared region
843 if ((r->alias == pic->bankMask)
844 && (r->end_address != r->start_address) // ignore SFRs
845 && (!size || (*size <= (r->end_address - r->start_address + 1))))
847 if (low) *low = r->start_address;
848 if (high) *high = r->end_address;
849 if (size) *size = r->end_address - r->start_address + 1;
856 if (high) *high = 0x0;
857 if (size) *size = 0x0;
858 //fprintf (stderr, "%s: no shared bank found\n", __FUNCTION__);
863 * True iff the memory region [low, high] is aliased in all banks.
865 int pic14_isShared(int low, int high)
873 //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);
874 if ((r->alias == pic->bankMask) && (r->start_address <= low) && (r->end_address >= high)) {
884 * True iff all RAM is aliased in all banks (no BANKSELs required except for
887 int pic14_allRAMShared(void)
895 if (r->alias != pic->bankMask) return 0;
903 * True iff the pseudo stack is a sharebank --> let linker place it.
904 * [low, high] denotes a size byte long block of (shared or banked)
907 int pic14_getSharedStack(int *low, int *high, int *size)
912 s = options.stack_size ? options.stack_size : 0x10;
913 haveShared = pic14_hasSharebank(&l, &h, &s);
914 if ((options.stack_loc != 0) || !haveShared)
916 // sharebank not available or not to be used
917 s = options.stack_size ? options.stack_size : 0x10;
918 l = options.stack_loc ? options.stack_loc : 0x20;
923 // return 1 iff [low, high] is present in all banks
924 //fprintf(stderr, "%s: low %x, high %x, size %x, shared %d\n", __FUNCTION__, l, h, s, pic14_isShared(l, h));
925 return (pic14_isShared(l, h));
927 // sharebanks available for use by the stack
928 if (options.stack_size) s = options.stack_size;
929 else if (!s || s > 16) s = 16; // limit stack to 16 bytes in SHAREBANK
931 // provide addresses for sharebank
933 if (high) *high = l + s - 1;
935 //fprintf(stderr, "%s: low %x, high %x, size %x, shared 1\n", __FUNCTION__, l, h, s);
940 PIC_device * pic14_getPIC(void)