git.gag.com Git - fw/sdcc/blob - src/SDCCglue.c

   1 /*-------------------------------------------------------------------------
   2
   3   SDCCglue.c - glues everything we have done together into one file.
   4                 Written By -  Sandeep Dutta . sandeep.dutta@usa.net (1998)
   5
   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
   9    later version.
  10
  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.
  15
  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
  20    In other words, you are welcome to use, share and improve this program.
  21    You are forbidden to forbid anyone else to use, share and improve
  22    what you give them.   Help stamp out software-hoarding!
  23 -------------------------------------------------------------------------*/
  24
  25 #include "common.h"
  26 #include "asm.h"
  27 #include <time.h>
  28 #include "newalloc.h"
  29 #include <fcntl.h>
  30 #include <sys/stat.h>
  31
  32 #ifdef _WIN32
  33 #include <io.h>
  34 #else
  35 #include <unistd.h>
  36 #endif
  37
  38 symbol *interrupts[256];
  39
  40 void printIval (symbol *, sym_link *, initList *, FILE *);
  41 set *publics = NULL;            /* public variables */
  42 set *externs = NULL;            /* Varibles that are declared as extern */
  43
  44 /* TODO: this should be configurable (DS803C90 uses more than 6) */
  45 unsigned maxInterrupts = 6;
  46 int allocInfo = 1;
  47 symbol *mainf;
  48 set *pipeSet = NULL;            /* set of pipes */
  49 set *tmpfileSet = NULL;         /* set of tmp file created by the compiler */
  50 set *tmpfileNameSet = NULL;     /* All are unlinked at close. */
  51
  52 /*-----------------------------------------------------------------*/
  53 /* closePipes - closes all pipes created by the compiler           */
  54 /*-----------------------------------------------------------------*/
  55 DEFSETFUNC (closePipes)
  56 {
  57   FILE *pfile = item;
  58   int ret;
  59
  60   if (pfile) {
  61     ret = pclose (pfile);
  62     assert(ret != -1);
  63   }
  64
  65   return 0;
  66 }
  67
  68 /*-----------------------------------------------------------------*/
  69 /* closeTmpFiles - closes all tmp files created by the compiler    */
  70 /*                 because of BRAIN DEAD MS/DOS & CYGNUS Libraries */
  71 /*-----------------------------------------------------------------*/
  72 DEFSETFUNC (closeTmpFiles)
  73 {
  74   FILE *tfile = item;
  75   int ret;
  76
  77   if (tfile) {
  78     ret = fclose (tfile);
  79     assert(ret == 0);
  80   }
  81
  82   return 0;
  83 }
  84
  85 /*-----------------------------------------------------------------*/
  86 /* rmTmpFiles - unlinks all tmp files created by the compiler      */
  87 /*                 because of BRAIN DEAD MS/DOS & CYGNUS Libraries */
  88 /*-----------------------------------------------------------------*/
  89 DEFSETFUNC (rmTmpFiles)
  90 {
  91   char *name = item;
  92   int ret;
  93
  94   if (name) {
  95       ret = unlink (name);
  96       assert(ret == 0);
  97       Safe_free (name);
  98   }
  99
 100   return 0;
 101 }
 102
 103 /*-----------------------------------------------------------------*/
 104 /* rm_tmpfiles - close and remove temporary files and delete sets  */
 105 /*-----------------------------------------------------------------*/
 106 void
 107 rm_tmpfiles (void)
 108 {
 109   /* close temporary files */
 110   applyToSet (pipeSet, closePipes);
 111   /* close temporary files */
 112   deleteSet (&pipeSet);
 113
 114   applyToSet (tmpfileSet, closeTmpFiles);
 115   /* remove temporary files */
 116   applyToSet (tmpfileNameSet, rmTmpFiles);
 117   /* delete temorary file sets */
 118   deleteSet (&tmpfileSet);
 119   deleteSet (&tmpfileNameSet);
 120 }
 121
 122 /*-----------------------------------------------------------------*/
 123 /* copyFile - copies source file to destination file               */
 124 /*-----------------------------------------------------------------*/
 125 void
 126 copyFile (FILE * dest, FILE * src)
 127 {
 128   int ch;
 129
 130   rewind (src);
 131   while (!feof (src))
 132     if ((ch = fgetc (src)) != EOF)
 133       fputc (ch, dest);
 134 }
 135
 136 char *
 137 aopLiteralLong (value * val, int offset, int size)
 138 {
 139         union {
 140                 float f;
 141                 unsigned char c[4];
 142         }
 143         fl;
 144
 145         if (!val) {
 146           // assuming we have been warned before
 147           val=constVal("0");
 148         }
 149
 150         /* if it is a float then it gets tricky */
 151         /* otherwise it is fairly simple */
 152         if (!IS_FLOAT (val->type)) {
 153                 unsigned long v = (unsigned long) floatFromVal (val);
 154
 155                 v >>= (offset * 8);
 156                 switch (size) {
 157                 case 1:
 158                         tsprintf (buffer, sizeof(buffer),
 159                                   "!immedbyte", (unsigned int) v & 0xff);
 160                         break;
 161                 case 2:
 162                         tsprintf (buffer, sizeof(buffer),
 163                                   "!immedword", (unsigned int) v & 0xffff);
 164                         break;
 165                 default:
 166                         /* Hmm.  Too big for now. */
 167                         assert (0);
 168                 }
 169                 return Safe_strdup (buffer);
 170         }
 171
 172         /* PENDING: For now size must be 1 */
 173         assert (size == 1);
 174
 175         /* it is type float */
 176         fl.f = (float) floatFromVal (val);
 177 #ifdef WORDS_BIGENDIAN
 178         tsprintf (buffer, sizeof(buffer),
 179                   "!immedbyte", fl.c[3 - offset]);
 180 #else
 181         tsprintf (buffer, sizeof(buffer),
 182                   "!immedbyte", fl.c[offset]);
 183 #endif
 184         return Safe_strdup (buffer);
 185 }
 186
 187 /*-----------------------------------------------------------------*/
 188 /* aopLiteral - string from a literal value                        */
 189 /*-----------------------------------------------------------------*/
 190 char *
 191 aopLiteral (value * val, int offset)
 192 {
 193         return aopLiteralLong (val, offset, 1);
 194 }
 195
 196 /*-----------------------------------------------------------------*/
 197 /* emitRegularMap - emit code for maps with no special cases       */
 198 /*-----------------------------------------------------------------*/
 199 static void
 200 emitRegularMap (memmap * map, bool addPublics, bool arFlag)
 201 {
 202   symbol *sym;
 203   ast *ival = NULL;
 204
 205   if (!map)
 206     return;
 207
 208   if (addPublics)
 209     {
 210       /* PENDING: special case here - should remove */
 211       if (!strcmp (map->sname, CODE_NAME))
 212         tfprintf (map->oFile, "\t!areacode\n", map->sname);
 213       else if (!strcmp (map->sname, DATA_NAME))
 214         tfprintf (map->oFile, "\t!areadata\n", map->sname);
 215       else if (!strcmp (map->sname, HOME_NAME))
 216         tfprintf (map->oFile, "\t!areahome\n", map->sname);
 217       else
 218         tfprintf (map->oFile, "\t!area\n", map->sname);
 219     }
 220
 221   for (sym = setFirstItem (map->syms); sym;
 222        sym = setNextItem (map->syms))
 223     {
 224       symbol *newSym=NULL;
 225
 226       /* if extern then add it into the extern list */
 227       if (IS_EXTERN (sym->etype))
 228         {
 229           addSetHead (&externs, sym);
 230           continue;
 231         }
 232
 233       /* if allocation required check is needed
 234          then check if the symbol really requires
 235          allocation only for local variables */
 236
 237       if (arFlag && !IS_AGGREGATE (sym->type) &&
 238           !(sym->_isparm && !IS_REGPARM (sym->etype)) &&
 239           !sym->allocreq && sym->level)
 240         continue;
 241
 242       /* for bitvar locals and parameters */
 243       if (!arFlag && !sym->allocreq && sym->level
 244           && !SPEC_ABSA (sym->etype)) {
 245         continue;
 246       }
 247
 248       /* if global variable & not static or extern
 249          and addPublics allowed then add it to the public set */
 250       if ((sym->level == 0 ||
 251            (sym->_isparm && !IS_REGPARM (sym->etype))) &&
 252           addPublics &&
 253           !IS_STATIC (sym->etype) &&
 254           (IS_FUNC(sym->type) ? (sym->used || IFFUNC_HASBODY(sym->type)) : 1))
 255         {
 256           addSetHead (&publics, sym);
 257         }
 258
 259       /* if extern then do nothing or is a function
 260          then do nothing */
 261       if (IS_FUNC (sym->type))
 262         continue;
 263
 264       /* print extra debug info if required */
 265       if (options.debug)
 266         {
 267           if (!sym->level) /* global */
 268             {
 269               if (IS_STATIC (sym->etype))
 270                 fprintf (map->oFile, "F%s$", moduleName); /* scope is file */
 271               else
 272                 fprintf (map->oFile, "G$");     /* scope is global */
 273             }
 274           else
 275             {
 276               /* symbol is local */
 277               fprintf (map->oFile, "L%s$", (sym->localof ? sym->localof->name : "-null-"));
 278             }
 279           fprintf (map->oFile, "%s$%d$%d", sym->name, sym->level, sym->block);
 280         }
 281
 282       /* if it has an initial value then do it only if
 283          it is a global variable */
 284       if (sym->ival && sym->level == 0) {
 285         if (SPEC_OCLS(sym->etype)==xidata) {
 286           /* create a new "XINIT (CODE)" symbol, that will be emitted later
 287              in the static seg */
 288           newSym=copySymbol (sym);
 289           SPEC_OCLS(newSym->etype)=xinit;
 290           SNPRINTF (newSym->name, sizeof(newSym->name), "__xinit_%s", sym->name);
 291           SNPRINTF (newSym->rname, sizeof(newSym->rname), "__xinit_%s", sym->rname);
 292           SPEC_CONST(newSym->etype)=1;
 293           SPEC_STAT(newSym->etype)=1;
 294           resolveIvalSym(newSym->ival);
 295
 296           // add it to the "XINIT (CODE)" segment
 297           addSet(&xinit->syms, newSym);
 298           sym->ival=NULL;
 299         } else {
 300           if (IS_AGGREGATE (sym->type)) {
 301             ival = initAggregates (sym, sym->ival, NULL);
 302           } else {
 303             if (getNelements(sym->type, sym->ival)>1) {
 304               werror (W_EXCESS_INITIALIZERS, "scalar",
 305                       sym->name, sym->lineDef);
 306             }
 307             ival = newNode ('=', newAst_VALUE (symbolVal (sym)),
 308                             decorateType (resolveSymbols (list2expr (sym->ival))));
 309           }
 310           codeOutFile = statsg->oFile;
 311
 312           if (ival) {
 313             // set ival's lineno to where the symbol was defined
 314             setAstLineno (ival, lineno=sym->lineDef);
 315             // check if this is not a constant expression
 316             if (!constExprTree(ival)) {
 317               werror (E_CONST_EXPECTED, "found expression");
 318               // but try to do it anyway
 319             }
 320             allocInfo = 0;
 321             eBBlockFromiCode (iCodeFromAst (ival));
 322             allocInfo = 1;
 323           }
 324         }
 325         sym->ival = NULL;
 326       }
 327
 328       /* if is has an absolute address then generate
 329          an equate for this no need to allocate space */
 330       if (SPEC_ABSA (sym->etype))
 331         {
 332           char *equ="=";
 333           if (options.debug) {
 334             fprintf (map->oFile, " == 0x%04x\n", SPEC_ADDR (sym->etype));
 335           }
 336           if (TARGET_IS_XA51) {
 337             if (map==sfr) {
 338               equ="sfr";
 339             } else if (map==bit || map==sfrbit) {
 340               equ="bit";
 341             }
 342           }
 343           fprintf (map->oFile, "%s\t%s\t0x%04x\n",
 344                    sym->rname, equ,
 345                    SPEC_ADDR (sym->etype));
 346         }
 347       else {
 348         int size = getSize (sym->type);
 349         if (size==0) {
 350           werror(E_UNKNOWN_SIZE,sym->name);
 351         }
 352         /* allocate space */
 353         if (options.debug) {
 354           fprintf (map->oFile, "==.\n");
 355         }
 356         if (IS_STATIC (sym->etype))
 357           tfprintf (map->oFile, "!slabeldef\n", sym->rname);
 358         else
 359           tfprintf (map->oFile, "!labeldef\n", sym->rname);
 360         tfprintf (map->oFile, "\t!ds\n",
 361                   (unsigned int)  size & 0xffff);
 362       }
 363     }
 364 }
 365
 366 /*-----------------------------------------------------------------*/
 367 /* initPointer - pointer initialization code massaging             */
 368 /*-----------------------------------------------------------------*/
 369 value *
 370 initPointer (initList * ilist, sym_link *toType)
 371 {
 372         value *val;
 373         ast *expr = list2expr (ilist);
 374
 375         if (!expr)
 376                 goto wrong;
 377
 378         /* try it the oldway first */
 379         if ((val = constExprValue (expr, FALSE)))
 380                 return val;
 381
 382         /* ( ptr + constant ) */
 383         if (IS_AST_OP (expr) &&
 384             (expr->opval.op == '+' || expr->opval.op == '-') &&
 385             IS_AST_SYM_VALUE (expr->left) &&
 386             (IS_ARRAY(expr->left->ftype) || IS_PTR(expr->left->ftype)) &&
 387             compareType(toType, expr->left->ftype) &&
 388             IS_AST_LIT_VALUE (expr->right)) {
 389           return valForCastAggr (expr->left, expr->left->ftype,
 390                                       expr->right,
 391                                       expr->opval.op);
 392         }
 393
 394         /* (char *)&a */
 395         if (IS_AST_OP(expr) && expr->opval.op==CAST &&
 396             IS_AST_OP(expr->right) && expr->right->opval.op=='&') {
 397           if (compareType(toType, expr->left->ftype)!=1) {
 398             werror (W_INIT_WRONG);
 399             printFromToType(expr->left->ftype, toType);
 400           }
 401           // skip the cast ???
 402           expr=expr->right;
 403         }
 404
 405         /* no then we have to do these cludgy checks */
 406         /* pointers can be initialized with address of
 407            a variable or address of an array element */
 408         if (IS_AST_OP (expr) && expr->opval.op == '&') {
 409                 /* address of symbol */
 410                 if (IS_AST_SYM_VALUE (expr->left)) {
 411                         val = copyValue (AST_VALUE (expr->left));
 412                         val->type = newLink (DECLARATOR);
 413                         if (SPEC_SCLS (expr->left->etype) == S_CODE) {
 414                                 DCL_TYPE (val->type) = CPOINTER;
 415                                 DCL_PTR_CONST (val->type) = port->mem.code_ro;
 416                         }
 417                         else if (SPEC_SCLS (expr->left->etype) == S_XDATA)
 418                                 DCL_TYPE (val->type) = FPOINTER;
 419                         else if (SPEC_SCLS (expr->left->etype) == S_XSTACK)
 420                                 DCL_TYPE (val->type) = PPOINTER;
 421                         else if (SPEC_SCLS (expr->left->etype) == S_IDATA)
 422                                 DCL_TYPE (val->type) = IPOINTER;
 423                         else if (SPEC_SCLS (expr->left->etype) == S_EEPROM)
 424                                 DCL_TYPE (val->type) = EEPPOINTER;
 425                         else
 426                                 DCL_TYPE (val->type) = POINTER;
 427                         val->type->next = expr->left->ftype;
 428                         val->etype = getSpec (val->type);
 429                         return val;
 430                 }
 431
 432                 /* if address of indexed array */
 433                 if (IS_AST_OP (expr->left) && expr->left->opval.op == '[')
 434                         return valForArray (expr->left);
 435
 436                 /* if address of structure element then
 437                    case 1. a.b ; */
 438                 if (IS_AST_OP (expr->left) &&
 439                     expr->left->opval.op == '.') {
 440                         return valForStructElem (expr->left->left,
 441                                                  expr->left->right);
 442                 }
 443
 444                 /* case 2. (&a)->b ;
 445                    (&some_struct)->element */
 446                 if (IS_AST_OP (expr->left) &&
 447                     expr->left->opval.op == PTR_OP &&
 448                     IS_ADDRESS_OF_OP (expr->left->left)) {
 449                   return valForStructElem (expr->left->left->left,
 450                                            expr->left->right);
 451                 }
 452         }
 453         /* case 3. (((char *) &a) +/- constant) */
 454         if (IS_AST_OP (expr) &&
 455             (expr->opval.op == '+' || expr->opval.op == '-') &&
 456             IS_AST_OP (expr->left) && expr->left->opval.op == CAST &&
 457             IS_AST_OP (expr->left->right) &&
 458             expr->left->right->opval.op == '&' &&
 459             IS_AST_LIT_VALUE (expr->right)) {
 460
 461                 return valForCastAggr (expr->left->right->left,
 462                                        expr->left->left->opval.lnk,
 463                                        expr->right, expr->opval.op);
 464
 465         }
 466         /* case 4. (char *)(array type) */
 467         if (IS_CAST_OP(expr) && IS_AST_SYM_VALUE (expr->right) &&
 468             IS_ARRAY(expr->right->ftype)) {
 469
 470                 val = copyValue (AST_VALUE (expr->right));
 471                 val->type = newLink (DECLARATOR);
 472                 if (SPEC_SCLS (expr->right->etype) == S_CODE) {
 473                         DCL_TYPE (val->type) = CPOINTER;
 474                         DCL_PTR_CONST (val->type) = port->mem.code_ro;
 475                 }
 476                 else if (SPEC_SCLS (expr->right->etype) == S_XDATA)
 477                         DCL_TYPE (val->type) = FPOINTER;
 478                 else if (SPEC_SCLS (expr->right->etype) == S_XSTACK)
 479                         DCL_TYPE (val->type) = PPOINTER;
 480                 else if (SPEC_SCLS (expr->right->etype) == S_IDATA)
 481                         DCL_TYPE (val->type) = IPOINTER;
 482                 else if (SPEC_SCLS (expr->right->etype) == S_EEPROM)
 483                         DCL_TYPE (val->type) = EEPPOINTER;
 484                 else
 485                         DCL_TYPE (val->type) = POINTER;
 486                 val->type->next = expr->right->ftype->next;
 487                 val->etype = getSpec (val->type);
 488                 return val;
 489         }
 490  wrong:
 491         werror (E_INCOMPAT_PTYPES);
 492         return NULL;
 493
 494 }
 495
 496 /*-----------------------------------------------------------------*/
 497 /* printChar - formats and prints a characater string with DB      */
 498 /*-----------------------------------------------------------------*/
 499 void
 500 printChar (FILE * ofile, char *s, int plen)
 501 {
 502   int i;
 503   int len = strlen (s);
 504   int pplen = 0;
 505   char buf[100];
 506   char *p = buf;
 507
 508   while (len && pplen < plen)
 509     {
 510       i = 60;
 511       while (i && *s && pplen < plen)
 512         {
 513           if (*s < ' ' || *s == '\"' || *s=='\\')
 514             {
 515               *p = '\0';
 516               if (p != buf)
 517                 tfprintf (ofile, "\t!ascii\n", buf);
 518               tfprintf (ofile, "\t!db !constbyte\n", (unsigned char)*s);
 519               p = buf;
 520             }
 521           else
 522             {
 523               *p = *s;
 524               p++;
 525             }
 526           s++;
 527           pplen++;
 528           i--;
 529         }
 530       if (p != buf)
 531         {
 532           *p = '\0';
 533           tfprintf (ofile, "\t!ascii\n", buf);
 534           p = buf;
 535         }
 536
 537       if (len > 60)
 538         len -= 60;
 539       else
 540         len = 0;
 541     }
 542   tfprintf (ofile, "\t!db !constbyte\n", 0);
 543 }
 544
 545 /*-----------------------------------------------------------------*/
 546 /* return the generic pointer high byte for a given pointer type.  */
 547 /*-----------------------------------------------------------------*/
 548 int
 549 pointerTypeToGPByte (const int p_type, const char *iname, const char *oname)
 550 {
 551   switch (p_type)
 552     {
 553     case IPOINTER:
 554     case POINTER:
 555       return GPTYPE_NEAR;
 556     case GPOINTER:
 557         werror (E_CANNOT_USE_GENERIC_POINTER,
 558                 iname ? iname : "<null>",
 559                 oname ? oname : "<null>");
 560       exit (1);
 561     case FPOINTER:
 562       return GPTYPE_FAR;
 563     case CPOINTER:
 564       return GPTYPE_CODE;
 565     case PPOINTER:
 566       return GPTYPE_XSTACK;
 567     default:
 568       fprintf (stderr, "*** internal error: unknown pointer type %d in GPByte.\n",
 569                p_type);
 570       break;
 571     }
 572   return -1;
 573 }
 574
 575
 576 /*-----------------------------------------------------------------*/
 577 /* printPointerType - generates ival for pointer type              */
 578 /*-----------------------------------------------------------------*/
 579 void
 580 _printPointerType (FILE * oFile, const char *name)
 581 {
 582   if (options.model == MODEL_FLAT24)
 583     {
 584       fprintf (oFile, "\t.byte %s,(%s >> 8),(%s >> 16)", name, name, name);
 585     }
 586   else
 587     {
 588       fprintf (oFile, "\t.byte %s,(%s >> 8)", name, name);
 589     }
 590 }
 591
 592 /*-----------------------------------------------------------------*/
 593 /* printPointerType - generates ival for pointer type              */
 594 /*-----------------------------------------------------------------*/
 595 void
 596 printPointerType (FILE * oFile, const char *name)
 597 {
 598   _printPointerType (oFile, name);
 599   fprintf (oFile, "\n");
 600 }
 601
 602 /*-----------------------------------------------------------------*/
 603 /* printGPointerType - generates ival for generic pointer type     */
 604 /*-----------------------------------------------------------------*/
 605 void
 606 printGPointerType (FILE * oFile, const char *iname, const char *oname,
 607                    const unsigned int type)
 608 {
 609   _printPointerType (oFile, iname);
 610   fprintf (oFile, ",#0x%02x\n", pointerTypeToGPByte (type, iname, oname));
 611 }
 612
 613 /*-----------------------------------------------------------------*/
 614 /* printIvalType - generates ival for int/char                     */
 615 /*-----------------------------------------------------------------*/
 616 void
 617 printIvalType (symbol *sym, sym_link * type, initList * ilist, FILE * oFile)
 618 {
 619         value *val;
 620
 621         /* if initList is deep */
 622         if (ilist->type == INIT_DEEP)
 623                 ilist = ilist->init.deep;
 624
 625         if (!(val = list2val (ilist))) {
 626           // assuming a warning has been thrown
 627           val=constVal("0");
 628         }
 629
 630         if (val->type != type) {
 631           val = valCastLiteral(type, floatFromVal(val));
 632         }
 633
 634         switch (getSize (type)) {
 635         case 1:
 636                 if (!val)
 637                         tfprintf (oFile, "\t!db !constbyte\n", 0);
 638                 else
 639                         tfprintf (oFile, "\t!dbs\n",
 640                                   aopLiteral (val, 0));
 641                 break;
 642
 643         case 2:
 644                 if (port->use_dw_for_init)
 645                         tfprintf (oFile, "\t!dws\n", aopLiteralLong (val, 0, 2));
 646                 else
 647                         fprintf (oFile, "\t.byte %s,%s\n", aopLiteral (val, 0), aopLiteral (val, 1));
 648                 break;
 649         case 4:
 650                 if (!val) {
 651                         tfprintf (oFile, "\t!dw !constword\n", 0);
 652                         tfprintf (oFile, "\t!dw !constword\n", 0);
 653                 }
 654                 else {
 655                         fprintf (oFile, "\t.byte %s,%s,%s,%s\n",
 656                                  aopLiteral (val, 0), aopLiteral (val, 1),
 657                                  aopLiteral (val, 2), aopLiteral (val, 3));
 658                 }
 659                 break;
 660         }
 661 }
 662
 663 /*-----------------------------------------------------------------*/
 664 /* printIvalBitFields - generate initializer for bitfields         */
 665 /*-----------------------------------------------------------------*/
 666 void printIvalBitFields(symbol **sym, initList **ilist, FILE * oFile)
 667 {
 668         value *val ;
 669         symbol *lsym = *sym;
 670         initList *lilist = *ilist ;
 671         unsigned long ival = 0;
 672         int size =0;
 673
 674
 675         do {
 676                 unsigned long i;
 677                 val = list2val(lilist);
 678                 if (size) {
 679                         if (SPEC_BLEN(lsym->etype) > 8) {
 680                                 size += ((SPEC_BLEN (lsym->etype) / 8) +
 681                                          (SPEC_BLEN (lsym->etype) % 8 ? 1 : 0));
 682                         }
 683                 } else {
 684                         size = ((SPEC_BLEN (lsym->etype) / 8) +
 685                                  (SPEC_BLEN (lsym->etype) % 8 ? 1 : 0));
 686                 }
 687                 i = (unsigned long)floatFromVal(val);
 688                 i <<= SPEC_BSTR (lsym->etype);
 689                 ival |= i;
 690                 if (! ( lsym->next &&
 691                         (IS_BITFIELD(lsym->next->type)) &&
 692                         (SPEC_BSTR(lsym->next->etype)))) break;
 693                 lsym = lsym->next;
 694                 lilist = lilist->next;
 695         } while (1);
 696         switch (size) {
 697         case 1:
 698                 tfprintf (oFile, "\t!db !constbyte\n",ival);
 699                 break;
 700
 701         case 2:
 702                 tfprintf (oFile, "\t!dw !constword\n",ival);
 703                 break;
 704         case 4:
 705                 tfprintf (oFile, "\t!db  !constword,!constword\n",
 706                          (ival >> 8) & 0xffff, (ival & 0xffff));
 707                 break;
 708         }
 709         *sym = lsym;
 710         *ilist = lilist;
 711 }
 712
 713 /*-----------------------------------------------------------------*/
 714 /* printIvalStruct - generates initial value for structures        */
 715 /*-----------------------------------------------------------------*/
 716 void
 717 printIvalStruct (symbol * sym, sym_link * type,
 718                  initList * ilist, FILE * oFile)
 719 {
 720         symbol *sflds;
 721         initList *iloop;
 722
 723         sflds = SPEC_STRUCT (type)->fields;
 724         if (ilist->type != INIT_DEEP) {
 725                 werror (E_INIT_STRUCT, sym->name);
 726                 return;
 727         }
 728
 729         iloop = ilist->init.deep;
 730
 731         for (; sflds; sflds = sflds->next, iloop = (iloop ? iloop->next : NULL)) {
 732                 if (IS_BITFIELD(sflds->type)) {
 733                         printIvalBitFields(&sflds,&iloop,oFile);
 734                 } else {
 735                         printIval (sym, sflds->type, iloop, oFile);
 736                 }
 737         }
 738         if (iloop) {
 739           werror (W_EXCESS_INITIALIZERS, "struct", sym->name, sym->lineDef);
 740         }
 741         return;
 742 }
 743
 744 /*-----------------------------------------------------------------*/
 745 /* printIvalChar - generates initital value for character array    */
 746 /*-----------------------------------------------------------------*/
 747 int
 748 printIvalChar (sym_link * type, initList * ilist, FILE * oFile, char *s)
 749 {
 750   value *val;
 751   int remain;
 752
 753   if (!s)
 754     {
 755
 756       val = list2val (ilist);
 757       /* if the value is a character string  */
 758       if (IS_ARRAY (val->type) && IS_CHAR (val->etype))
 759         {
 760           if (!DCL_ELEM (type))
 761             DCL_ELEM (type) = strlen (SPEC_CVAL (val->etype).v_char) + 1;
 762
 763           printChar (oFile, SPEC_CVAL (val->etype).v_char, DCL_ELEM (type));
 764
 765           if ((remain = (DCL_ELEM (type) - strlen (SPEC_CVAL (val->etype).v_char) - 1)) > 0)
 766             while (remain--)
 767               tfprintf (oFile, "\t!db !constbyte\n", 0);
 768
 769           return 1;
 770         }
 771       else
 772         return 0;
 773     }
 774   else
 775     printChar (oFile, s, strlen (s) + 1);
 776   return 1;
 777 }
 778
 779 /*-----------------------------------------------------------------*/
 780 /* printIvalArray - generates code for array initialization        */
 781 /*-----------------------------------------------------------------*/
 782 void
 783 printIvalArray (symbol * sym, sym_link * type, initList * ilist,
 784                 FILE * oFile)
 785 {
 786   initList *iloop;
 787   int size = 0;
 788
 789   /* take care of the special   case  */
 790   /* array of characters can be init  */
 791   /* by a string                      */
 792   if (IS_CHAR (type->next)) {
 793     if (!IS_LITERAL(list2val(ilist)->etype)) {
 794       werror (E_CONST_EXPECTED);
 795       return;
 796     }
 797     if (printIvalChar (type,
 798                        (ilist->type == INIT_DEEP ? ilist->init.deep : ilist),
 799                        oFile, SPEC_CVAL (sym->etype).v_char))
 800       return;
 801   }
 802   /* not the special case             */
 803   if (ilist->type != INIT_DEEP)
 804     {
 805       werror (E_INIT_STRUCT, sym->name);
 806       return;
 807     }
 808
 809   for (iloop=ilist->init.deep; iloop; iloop=iloop->next)
 810     {
 811       printIval (sym, type->next, iloop, oFile);
 812
 813       if (++size > DCL_ELEM(type)) {
 814         werror (W_EXCESS_INITIALIZERS, "array", sym->name, sym->lineDef);
 815         break;
 816       }
 817     }
 818
 819   if (DCL_ELEM(type)) {
 820     // pad with zeros if needed
 821     if (size<DCL_ELEM(type)) {
 822       size = (DCL_ELEM(type) - size) * getSize(type->next);
 823       while (size--) {
 824         tfprintf (oFile, "\t!db !constbyte\n", 0);
 825       }
 826     }
 827   } else {
 828     // we have not been given a size, but we now know it
 829     DCL_ELEM (type) = size;
 830   }
 831
 832   return;
 833 }
 834
 835 /*-----------------------------------------------------------------*/
 836 /* printIvalFuncPtr - generate initial value for function pointers */
 837 /*-----------------------------------------------------------------*/
 838 void
 839 printIvalFuncPtr (sym_link * type, initList * ilist, FILE * oFile)
 840 {
 841   value *val;
 842   int dLvl = 0;
 843
 844   val = list2val (ilist);
 845
 846   if (!val) {
 847     // an error has been thrown allready
 848     val=constVal("0");
 849   }
 850
 851   if (IS_LITERAL(val->etype)) {
 852     if (compareType(type,val->etype)==0) {
 853       werror (E_INCOMPAT_TYPES);
 854       printFromToType (val->type, type);
 855     }
 856     printIvalCharPtr (NULL, type, val, oFile);
 857     return;
 858   }
 859
 860   /* check the types   */
 861   if ((dLvl = compareType (val->type, type->next)) <= 0)
 862     {
 863       tfprintf (oFile, "\t!dw !constword\n", 0);
 864       return;
 865     }
 866
 867   /* now generate the name */
 868   if (!val->sym)
 869     {
 870       if (port->use_dw_for_init)
 871         {
 872           tfprintf (oFile, "\t!dws\n", val->name);
 873         }
 874       else
 875         {
 876           printPointerType (oFile, val->name);
 877         }
 878     }
 879   else if (port->use_dw_for_init)
 880     {
 881       tfprintf (oFile, "\t!dws\n", val->sym->rname);
 882     }
 883   else
 884     {
 885       printPointerType (oFile, val->sym->rname);
 886     }
 887
 888   return;
 889 }
 890
 891 /*-----------------------------------------------------------------*/
 892 /* printIvalCharPtr - generates initial values for character pointers */
 893 /*-----------------------------------------------------------------*/
 894 int
 895 printIvalCharPtr (symbol * sym, sym_link * type, value * val, FILE * oFile)
 896 {
 897   int size = 0;
 898
 899   /* PENDING: this is _very_ mcs51 specific, including a magic
 900      number...
 901      It's also endin specific.
 902    */
 903   size = getSize (type);
 904
 905   if (val->name && strlen (val->name))
 906     {
 907       if (size == 1)            /* This appears to be Z80 specific?? */
 908         {
 909           tfprintf (oFile,
 910                     "\t!dbs\n", val->name);
 911         }
 912       else if (size == FPTRSIZE)
 913         {
 914           if (port->use_dw_for_init)
 915             {
 916               tfprintf (oFile, "\t!dws\n", val->name);
 917             }
 918           else
 919             {
 920               printPointerType (oFile, val->name);
 921             }
 922         }
 923       else if (size == GPTRSIZE)
 924         {
 925           int type;
 926           if (IS_PTR (val->type)) {
 927             type = DCL_TYPE (val->type);
 928           } else {
 929             type = PTR_TYPE (SPEC_OCLS (val->etype));
 930           }
 931           if (val->sym && val->sym->isstrlit) {
 932             // this is a literal string
 933             type=CPOINTER;
 934           }
 935           printGPointerType (oFile, val->name, sym->name, type);
 936         }
 937       else
 938         {
 939           fprintf (stderr, "*** internal error: unknown size in "
 940                    "printIvalCharPtr.\n");
 941         }
 942     }
 943   else
 944     {
 945       // these are literals assigned to pointers
 946       switch (size)
 947         {
 948         case 1:
 949           tfprintf (oFile, "\t!dbs\n", aopLiteral (val, 0));
 950           break;
 951         case 2:
 952           if (port->use_dw_for_init)
 953             tfprintf (oFile, "\t!dws\n", aopLiteralLong (val, 0, size));
 954           else
 955             tfprintf (oFile, "\t.byte %s,%s\n",
 956                       aopLiteral (val, 0), aopLiteral (val, 1));
 957           break;
 958         case 3:
 959           if (IS_GENPTR(type) && floatFromVal(val)!=0) {
 960             // non-zero mcs51 generic pointer
 961             werror (E_LITERAL_GENERIC);
 962           }
 963           fprintf (oFile, "\t.byte %s,%s,%s\n",
 964                    aopLiteral (val, 0),
 965                    aopLiteral (val, 1),
 966                    aopLiteral (val, 2));
 967           break;
 968         case 4:
 969           if (IS_GENPTR(type) && floatFromVal(val)!=0) {
 970             // non-zero ds390 generic pointer
 971             werror (E_LITERAL_GENERIC);
 972           }
 973           fprintf (oFile, "\t.byte %s,%s,%s,%s\n",
 974                    aopLiteral (val, 0),
 975                    aopLiteral (val, 1),
 976                    aopLiteral (val, 2),
 977                    aopLiteral (val, 3));
 978           break;
 979         default:
 980           assert (0);
 981         }
 982     }
 983
 984   if (val->sym && val->sym->isstrlit && !isinSet(statsg->syms, val->sym)) {
 985     addSet (&statsg->syms, val->sym);
 986   }
 987
 988   return 1;
 989 }
 990
 991 /*-----------------------------------------------------------------*/
 992 /* printIvalPtr - generates initial value for pointers             */
 993 /*-----------------------------------------------------------------*/
 994 void
 995 printIvalPtr (symbol * sym, sym_link * type, initList * ilist, FILE * oFile)
 996 {
 997   value *val;
 998   int size;
 999
1000   /* if deep then   */
1001   if (ilist->type == INIT_DEEP)
1002     ilist = ilist->init.deep;
1003
1004   /* function pointer     */
1005   if (IS_FUNC (type->next))
1006     {
1007       printIvalFuncPtr (type, ilist, oFile);
1008       return;
1009     }
1010
1011   if (!(val = initPointer (ilist, type)))
1012     return;
1013
1014   /* if character pointer */
1015   if (IS_CHAR (type->next))
1016     if (printIvalCharPtr (sym, type, val, oFile))
1017       return;
1018
1019   /* check the type      */
1020   if (compareType (type, val->type) == 0) {
1021     werror (W_INIT_WRONG);
1022     printFromToType (val->type, type);
1023   }
1024
1025   /* if val is literal */
1026   if (IS_LITERAL (val->etype))
1027     {
1028       switch (getSize (type))
1029         {
1030         case 1:
1031           tfprintf (oFile, "\t!db !constbyte\n", (unsigned int) floatFromVal (val) & 0xff);
1032           break;
1033         case 2:
1034           if (port->use_dw_for_init)
1035             tfprintf (oFile, "\t!dws\n", aopLiteralLong (val, 0, 2));
1036           else
1037             tfprintf (oFile, "\t.byte %s,%s\n", aopLiteral (val, 0), aopLiteral (val, 1));
1038           break;
1039         case 3: // how about '390??
1040           fprintf (oFile, "\t.byte %s,%s,#0x%d\n",
1041                    aopLiteral (val, 0), aopLiteral (val, 1), GPTYPE_CODE);
1042         }
1043       return;
1044     }
1045
1046
1047   size = getSize (type);
1048
1049   if (size == 1)                /* Z80 specific?? */
1050     {
1051       tfprintf (oFile, "\t!dbs\n", val->name);
1052     }
1053   else if (size == FPTRSIZE)
1054     {
1055       if (port->use_dw_for_init) {
1056         tfprintf (oFile, "\t!dws\n", val->name);
1057       } else {
1058         printPointerType (oFile, val->name);
1059       }
1060     }
1061   else if (size == GPTRSIZE)
1062     {
1063       printGPointerType (oFile, val->name, sym->name,
1064                          (IS_PTR (val->type) ? DCL_TYPE (val->type) :
1065                           PTR_TYPE (SPEC_OCLS (val->etype))));
1066     }
1067   return;
1068 }
1069
1070 /*-----------------------------------------------------------------*/
1071 /* printIval - generates code for initial value                    */
1072 /*-----------------------------------------------------------------*/
1073 void
1074 printIval (symbol * sym, sym_link * type, initList * ilist, FILE * oFile)
1075 {
1076   value *val;
1077
1078   if (!ilist)
1079     return;
1080
1081   /* update line number for error msgs */
1082   lineno=sym->lineDef;
1083
1084   /* if structure then    */
1085   if (IS_STRUCT (type))
1086     {
1087       printIvalStruct (sym, type, ilist, oFile);
1088       return;
1089     }
1090
1091   /* if this is an array   */
1092   if (IS_ARRAY (type))
1093     {
1094       printIvalArray (sym, type, ilist, oFile);
1095       return;
1096     }
1097
1098   // not an aggregate, ilist must be a node
1099   if (ilist->type!=INIT_NODE &&
1100       // or a 1-element list
1101       ilist->init.deep->next) {
1102     werror (W_EXCESS_INITIALIZERS, "scalar",
1103             sym->name, sym->lineDef);
1104   }
1105
1106   // and the type must match
1107   val=list2val(ilist);
1108   if (compareType(type, val->type)==0) {
1109     // special case for literal strings
1110     if (IS_ARRAY (val->type) && IS_CHAR (val->etype) &&
1111         // which are really code pointers
1112         IS_PTR(type) && DCL_TYPE(type)==CPOINTER) {
1113       // no sweat
1114     } else {
1115       werror (E_TYPE_MISMATCH, "assignment", " ");
1116       printFromToType(list2val(ilist)->type, type);
1117     }
1118   }
1119
1120   /* if this is a pointer */
1121   if (IS_PTR (type))
1122     {
1123       printIvalPtr (sym, type, ilist, oFile);
1124       return;
1125     }
1126
1127   /* if type is SPECIFIER */
1128   if (IS_SPEC (type))
1129     {
1130       printIvalType (sym, type, ilist, oFile);
1131       return;
1132     }
1133 }
1134
1135 /*-----------------------------------------------------------------*/
1136 /* emitStaticSeg - emitcode for the static segment                 */
1137 /*-----------------------------------------------------------------*/
1138 void
1139 emitStaticSeg (memmap * map, FILE * out)
1140 {
1141   symbol *sym;
1142
1143   /* fprintf(out, "\t.area\t%s\n", map->sname); */
1144
1145   /* for all variables in this segment do */
1146   for (sym = setFirstItem (map->syms); sym;
1147        sym = setNextItem (map->syms))
1148     {
1149
1150       /* if it is "extern" then do nothing */
1151       if (IS_EXTERN (sym->etype))
1152         continue;
1153
1154       /* if it is not static add it to the public
1155          table */
1156       if (!IS_STATIC (sym->etype))
1157         {
1158           addSetHead (&publics, sym);
1159         }
1160
1161       /* print extra debug info if required */
1162       if (options.debug) {
1163
1164         if (!sym->level)
1165           {                     /* global */
1166             if (IS_STATIC (sym->etype))
1167               fprintf (out, "F%s$", moduleName);        /* scope is file */
1168             else
1169               fprintf (out, "G$");      /* scope is global */
1170           }
1171         else
1172           /* symbol is local */
1173           fprintf (out, "L%s$",
1174                    (sym->localof ? sym->localof->name : "-null-"));
1175         fprintf (out, "%s$%d$%d", sym->name, sym->level, sym->block);
1176       }
1177
1178       /* if it has an absolute address */
1179       if (SPEC_ABSA (sym->etype))
1180         {
1181           if (options.debug)
1182             fprintf (out, " == 0x%04x\n", SPEC_ADDR (sym->etype));
1183
1184           fprintf (out, "%s\t=\t0x%04x\n",
1185                    sym->rname,
1186                    SPEC_ADDR (sym->etype));
1187         }
1188       else
1189         {
1190           if (options.debug)
1191             fprintf (out, " == .\n");
1192
1193           /* if it has an initial value */
1194           if (sym->ival)
1195             {
1196               fprintf (out, "%s:\n", sym->rname);
1197               noAlloc++;
1198               resolveIvalSym (sym->ival);
1199               printIval (sym, sym->type, sym->ival, out);
1200               noAlloc--;
1201               /* if sym is a simple string and sym->ival is a string,
1202                  WE don't need it anymore */
1203               if (IS_ARRAY(sym->type) && IS_CHAR(sym->type->next) &&
1204                   IS_AST_SYM_VALUE(list2expr(sym->ival)) &&
1205                   list2val(sym->ival)->sym->isstrlit) {
1206                 freeStringSymbol(list2val(sym->ival)->sym);
1207               }
1208             }
1209           else {
1210               /* allocate space */
1211               int size = getSize (sym->type);
1212
1213               if (size==0) {
1214                   werror(E_UNKNOWN_SIZE,sym->name);
1215               }
1216               fprintf (out, "%s:\n", sym->rname);
1217               /* special case for character strings */
1218               if (IS_ARRAY (sym->type) && IS_CHAR (sym->type->next) &&
1219                   SPEC_CVAL (sym->etype).v_char)
1220                   printChar (out,
1221                              SPEC_CVAL (sym->etype).v_char,
1222                              strlen (SPEC_CVAL (sym->etype).v_char) + 1);
1223               else
1224                   tfprintf (out, "\t!ds\n", (unsigned int) size & 0xffff);
1225             }
1226         }
1227     }
1228 }
1229
1230 /*-----------------------------------------------------------------*/
1231 /* emitMaps - emits the code for the data portion the code         */
1232 /*-----------------------------------------------------------------*/
1233 void
1234 emitMaps (void)
1235 {
1236   inInitMode++;
1237   /* no special considerations for the following
1238      data, idata & bit & xdata */
1239   emitRegularMap (data, TRUE, TRUE);
1240   emitRegularMap (idata, TRUE, TRUE);
1241   emitRegularMap (bit, TRUE, FALSE);
1242   emitRegularMap (xdata, TRUE, TRUE);
1243   if (port->genXINIT) {
1244     emitRegularMap (xidata, TRUE, TRUE);
1245   }
1246   emitRegularMap (sfr, FALSE, FALSE);
1247   emitRegularMap (sfrbit, FALSE, FALSE);
1248   emitRegularMap (home, TRUE, FALSE);
1249   emitRegularMap (code, TRUE, FALSE);
1250
1251   emitStaticSeg (statsg, code->oFile);
1252   if (port->genXINIT) {
1253     tfprintf (code->oFile, "\t!area\n", xinit->sname);
1254     emitStaticSeg (xinit, code->oFile);
1255   }
1256   inInitMode--;
1257 }
1258
1259 /*-----------------------------------------------------------------*/
1260 /* flushStatics - flush all currently defined statics out to file  */
1261 /*  and delete.  Temporary function                                */
1262 /*-----------------------------------------------------------------*/
1263 void
1264 flushStatics (void)
1265 {
1266   emitStaticSeg (statsg, codeOutFile);
1267   statsg->syms = NULL;
1268 }
1269
1270 /*-----------------------------------------------------------------*/
1271 /* createInterruptVect - creates the interrupt vector              */
1272 /*-----------------------------------------------------------------*/
1273 void
1274 createInterruptVect (FILE * vFile)
1275 {
1276   unsigned i = 0;
1277   mainf = newSymbol ("main", 0);
1278   mainf->block = 0;
1279
1280   /* only if the main function exists */
1281   if (!(mainf = findSymWithLevel (SymbolTab, mainf)))
1282     {
1283       if (!options.cc_only && !noAssemble && !options.c1mode)
1284         werror (E_NO_MAIN);
1285       return;
1286     }
1287
1288   /* if the main is only a prototype ie. no body then do nothing */
1289   if (!IFFUNC_HASBODY(mainf->type))
1290     {
1291       /* if ! compile only then main function should be present */
1292       if (!options.cc_only && !noAssemble)
1293         werror (E_NO_MAIN);
1294       return;
1295     }
1296
1297   tfprintf (vFile, "\t!areacode\n", CODE_NAME);
1298   fprintf (vFile, "__interrupt_vect:\n");
1299
1300
1301   if (!port->genIVT || !(port->genIVT (vFile, interrupts, maxInterrupts)))
1302     {
1303       /* "generic" interrupt table header (if port doesn't specify one).
1304        * Look suspiciously like 8051 code to me...
1305        */
1306
1307       fprintf (vFile, "\tljmp\t__sdcc_gsinit_startup\n");
1308
1309
1310       /* now for the other interrupts */
1311       for (; i < maxInterrupts; i++)
1312         {
1313           if (interrupts[i])
1314             fprintf (vFile, "\tljmp\t%s\n\t.ds\t5\n", interrupts[i]->rname);
1315           else
1316             fprintf (vFile, "\treti\n\t.ds\t7\n");
1317         }
1318     }
1319 }
1320
1321 char *iComments1 =
1322 {
1323   ";--------------------------------------------------------\n"
1324   "; File Created by SDCC : FreeWare ANSI-C Compiler\n"};
1325
1326 char *iComments2 =
1327 {
1328   ";--------------------------------------------------------\n"};
1329
1330
1331 /*-----------------------------------------------------------------*/
1332 /* initialComments - puts in some initial comments                 */
1333 /*-----------------------------------------------------------------*/
1334 void
1335 initialComments (FILE * afile)
1336 {
1337   time_t t;
1338   time (&t);
1339   fprintf (afile, "%s", iComments1);
1340   fprintf (afile, "; Version " SDCC_VERSION_STR " %s\n", asctime (localtime (&t)));
1341   fprintf (afile, "%s", iComments2);
1342 }
1343
1344 /*-----------------------------------------------------------------*/
1345 /* printPublics - generates .global for publics                    */
1346 /*-----------------------------------------------------------------*/
1347 void
1348 printPublics (FILE * afile)
1349 {
1350   symbol *sym;
1351
1352   fprintf (afile, "%s", iComments2);
1353   fprintf (afile, "; Public variables in this module\n");
1354   fprintf (afile, "%s", iComments2);
1355
1356   for (sym = setFirstItem (publics); sym;
1357        sym = setNextItem (publics))
1358     tfprintf (afile, "\t!global\n", sym->rname);
1359 }
1360
1361 /*-----------------------------------------------------------------*/
1362 /* printExterns - generates .global for externs                    */
1363 /*-----------------------------------------------------------------*/
1364 void
1365 printExterns (FILE * afile)
1366 {
1367   symbol *sym;
1368
1369   fprintf (afile, "%s", iComments2);
1370   fprintf (afile, "; Externals used\n");
1371   fprintf (afile, "%s", iComments2);
1372
1373   for (sym = setFirstItem (externs); sym;
1374        sym = setNextItem (externs))
1375     tfprintf (afile, "\t!extern\n", sym->rname);
1376 }
1377
1378 /*-----------------------------------------------------------------*/
1379 /* emitOverlay - will emit code for the overlay stuff              */
1380 /*-----------------------------------------------------------------*/
1381 static void
1382 emitOverlay (FILE * afile)
1383 {
1384   set *ovrset;
1385
1386   if (!elementsInSet (ovrSetSets))
1387     tfprintf (afile, "\t!area\n", port->mem.overlay_name);
1388
1389   /* for each of the sets in the overlay segment do */
1390   for (ovrset = setFirstItem (ovrSetSets); ovrset;
1391        ovrset = setNextItem (ovrSetSets))
1392     {
1393
1394       symbol *sym;
1395
1396       if (elementsInSet (ovrset))
1397         {
1398           /* output the area informtion */
1399           fprintf (afile, "\t.area\t%s\n", port->mem.overlay_name);     /* MOF */
1400         }
1401
1402       for (sym = setFirstItem (ovrset); sym;
1403            sym = setNextItem (ovrset))
1404         {
1405           /* if extern then it is in the publics table: do nothing */
1406           if (IS_EXTERN (sym->etype))
1407             continue;
1408
1409           /* if allocation required check is needed
1410              then check if the symbol really requires
1411              allocation only for local variables */
1412           if (!IS_AGGREGATE (sym->type) &&
1413               !(sym->_isparm && !IS_REGPARM (sym->etype))
1414               && !sym->allocreq && sym->level)
1415             continue;
1416
1417           /* if global variable & not static or extern
1418              and addPublics allowed then add it to the public set */
1419           if ((sym->_isparm && !IS_REGPARM (sym->etype))
1420               && !IS_STATIC (sym->etype))
1421             {
1422               addSetHead (&publics, sym);
1423             }
1424
1425           /* if extern then do nothing or is a function
1426              then do nothing */
1427           if (IS_FUNC (sym->type))
1428             continue;
1429
1430           /* print extra debug info if required */
1431           if (options.debug)
1432             {
1433               if (!sym->level)
1434                 {               /* global */
1435                   if (IS_STATIC (sym->etype))
1436                     fprintf (afile, "F%s$", moduleName);        /* scope is file */
1437                   else
1438                     fprintf (afile, "G$");      /* scope is global */
1439                 }
1440               else
1441                 /* symbol is local */
1442                 fprintf (afile, "L%s$",
1443                          (sym->localof ? sym->localof->name : "-null-"));
1444               fprintf (afile, "%s$%d$%d", sym->name, sym->level, sym->block);
1445             }
1446
1447           /* if is has an absolute address then generate
1448              an equate for this no need to allocate space */
1449           if (SPEC_ABSA (sym->etype))
1450             {
1451
1452               if (options.debug)
1453                 fprintf (afile, " == 0x%04x\n", SPEC_ADDR (sym->etype));
1454
1455               fprintf (afile, "%s\t=\t0x%04x\n",
1456                        sym->rname,
1457                        SPEC_ADDR (sym->etype));
1458             }
1459           else {
1460               int size = getSize(sym->type);
1461
1462               if (size==0) {
1463                   werror(E_UNKNOWN_SIZE,sym->name);
1464               }
1465               if (options.debug)
1466                   fprintf (afile, "==.\n");
1467
1468               /* allocate space */
1469               tfprintf (afile, "!labeldef\n", sym->rname);
1470               tfprintf (afile, "\t!ds\n", (unsigned int) getSize (sym->type) & 0xffff);
1471           }
1472
1473         }
1474     }
1475 }
1476
1477
1478 /*-----------------------------------------------------------------*/
1479 /* spacesToUnderscores - replace spaces with underscores        */
1480 /*-----------------------------------------------------------------*/
1481 static char *
1482 spacesToUnderscores (char *dest, const char *src, size_t len)
1483 {
1484   int i;
1485   char *p;
1486
1487   assert(dest != NULL);
1488   assert(src != NULL);
1489   assert(len > 0);
1490
1491   --len;
1492   for (p = dest, i = 0; *src != '\0' && i < len; ++src, ++i) {
1493     *p++ = isspace(*src) ? '_' : *src;
1494   }
1495   *p = '\0';
1496
1497   return dest;
1498 }
1499
1500
1501 /*-----------------------------------------------------------------*/
1502 /* glue - the final glue that hold the whole thing together        */
1503 /*-----------------------------------------------------------------*/
1504 void
1505 glue (void)
1506 {
1507   FILE *vFile;
1508   FILE *asmFile;
1509   FILE *ovrFile = tempfile ();
1510   char moduleBuf[PATH_MAX];
1511
1512   addSetHead (&tmpfileSet, ovrFile);
1513   /* print the global struct definitions */
1514   if (options.debug)
1515     cdbStructBlock (0);
1516
1517   vFile = tempfile ();
1518   /* PENDING: this isnt the best place but it will do */
1519   if (port->general.glue_up_main)
1520     {
1521       /* create the interrupt vector table */
1522       createInterruptVect (vFile);
1523     }
1524
1525   addSetHead (&tmpfileSet, vFile);
1526
1527   /* emit code for the all the variables declared */
1528   emitMaps ();
1529   /* do the overlay segments */
1530   emitOverlay (ovrFile);
1531
1532   outputDebugSymbols();
1533
1534   /* now put it all together into the assembler file */
1535   /* create the assembler file name */
1536
1537   /* -o option overrides default name? */
1538   if ((noAssemble || options.c1mode) && fullDstFileName)
1539     {
1540       strncpyz (scratchFileName, fullDstFileName, PATH_MAX);
1541     }
1542   else
1543     {
1544       strncpyz (scratchFileName, dstFileName, PATH_MAX);
1545       strncatz (scratchFileName, port->assembler.file_ext, PATH_MAX);
1546     }
1547
1548   if (!(asmFile = fopen (scratchFileName, "w")))
1549     {
1550       werror (E_FILE_OPEN_ERR, scratchFileName);
1551       exit (1);
1552     }
1553
1554   /* initial comments */
1555   initialComments (asmFile);
1556
1557   /* print module name */
1558   tfprintf (asmFile, "\t!module\n",
1559     spacesToUnderscores (moduleBuf, moduleName, sizeof moduleBuf));
1560   tfprintf (asmFile, "\t!fileprelude\n");
1561
1562   /* Let the port generate any global directives, etc. */
1563   if (port->genAssemblerPreamble)
1564     {
1565       port->genAssemblerPreamble (asmFile);
1566     }
1567
1568   /* print the global variables in this module */
1569   printPublics (asmFile);
1570   if (port->assembler.externGlobal)
1571     printExterns (asmFile);
1572
1573   /* copy the sfr segment */
1574   fprintf (asmFile, "%s", iComments2);
1575   fprintf (asmFile, "; special function registers\n");
1576   fprintf (asmFile, "%s", iComments2);
1577   copyFile (asmFile, sfr->oFile);
1578
1579   /* copy the sbit segment */
1580   fprintf (asmFile, "%s", iComments2);
1581   fprintf (asmFile, "; special function bits \n");
1582   fprintf (asmFile, "%s", iComments2);
1583   copyFile (asmFile, sfrbit->oFile);
1584
1585   /*JCF: Create the areas for the register banks*/
1586   if(port->general.glue_up_main &&
1587      (TARGET_IS_MCS51 || TARGET_IS_DS390 || TARGET_IS_XA51 || TARGET_IS_DS400))
1588   {
1589           if(RegBankUsed[0]||RegBankUsed[1]||RegBankUsed[2]||RegBankUsed[3])
1590           {
1591                  fprintf (asmFile, "%s", iComments2);
1592                  fprintf (asmFile, "; overlayable register banks \n");
1593                  fprintf (asmFile, "%s", iComments2);
1594                  if(RegBankUsed[0])
1595                         fprintf (asmFile, "\t.area REG_BANK_0\t(REL,OVR,DATA)\n\t.ds 8\n");
1596                  if(RegBankUsed[1]||options.parms_in_bank1)
1597                         fprintf (asmFile, "\t.area REG_BANK_1\t(REL,OVR,DATA)\n\t.ds 8\n");
1598                  if(RegBankUsed[2])
1599                         fprintf (asmFile, "\t.area REG_BANK_2\t(REL,OVR,DATA)\n\t.ds 8\n");
1600                  if(RegBankUsed[3])
1601                         fprintf (asmFile, "\t.area REG_BANK_3\t(REL,OVR,DATA)\n\t.ds 8\n");
1602           }
1603   }
1604
1605   /* copy the data segment */
1606   fprintf (asmFile, "%s", iComments2);
1607   fprintf (asmFile, "; internal ram data\n");
1608   fprintf (asmFile, "%s", iComments2);
1609   copyFile (asmFile, data->oFile);
1610
1611
1612   /* create the overlay segments */
1613   if (overlay) {
1614     fprintf (asmFile, "%s", iComments2);
1615     fprintf (asmFile, "; overlayable items in internal ram \n");
1616     fprintf (asmFile, "%s", iComments2);
1617     copyFile (asmFile, ovrFile);
1618   }
1619
1620   /* create the stack segment MOF */
1621   if (mainf && IFFUNC_HASBODY(mainf->type))
1622     {
1623       fprintf (asmFile, "%s", iComments2);
1624       fprintf (asmFile, "; Stack segment in internal ram \n");
1625       fprintf (asmFile, "%s", iComments2);
1626       fprintf (asmFile, "\t.area\tSSEG\t(DATA)\n"
1627                "__start__stack:\n\t.ds\t1\n\n");
1628     }
1629
1630   /* create the idata segment */
1631   if (idata) {
1632     fprintf (asmFile, "%s", iComments2);
1633     fprintf (asmFile, "; indirectly addressable internal ram data\n");
1634     fprintf (asmFile, "%s", iComments2);
1635     copyFile (asmFile, idata->oFile);
1636   }
1637
1638   /* copy the bit segment */
1639   fprintf (asmFile, "%s", iComments2);
1640   fprintf (asmFile, "; bit data\n");
1641   fprintf (asmFile, "%s", iComments2);
1642   copyFile (asmFile, bit->oFile);
1643
1644   /* if external stack then reserve space of it */
1645   if (mainf && IFFUNC_HASBODY(mainf->type) && options.useXstack)
1646     {
1647       fprintf (asmFile, "%s", iComments2);
1648       fprintf (asmFile, "; external stack \n");
1649       fprintf (asmFile, "%s", iComments2);
1650       fprintf (asmFile, "\t.area XSEG (XDATA)\n");      /* MOF */
1651       fprintf (asmFile, "\t.ds 256\n");
1652     }
1653
1654
1655   /* copy xtern ram data */
1656   fprintf (asmFile, "%s", iComments2);
1657   fprintf (asmFile, "; external ram data\n");
1658   fprintf (asmFile, "%s", iComments2);
1659   copyFile (asmFile, xdata->oFile);
1660
1661   /* copy xternal initialized ram data */
1662   fprintf (asmFile, "%s", iComments2);
1663   fprintf (asmFile, "; external initialized ram data\n");
1664   fprintf (asmFile, "%s", iComments2);
1665   copyFile (asmFile, xidata->oFile);
1666
1667   /* copy the interrupt vector table */
1668   if (mainf && IFFUNC_HASBODY(mainf->type))
1669     {
1670       fprintf (asmFile, "%s", iComments2);
1671       fprintf (asmFile, "; interrupt vector \n");
1672       fprintf (asmFile, "%s", iComments2);
1673       copyFile (asmFile, vFile);
1674     }
1675
1676   /* copy global & static initialisations */
1677   fprintf (asmFile, "%s", iComments2);
1678   fprintf (asmFile, "; global & static initialisations\n");
1679   fprintf (asmFile, "%s", iComments2);
1680
1681   /* Everywhere we generate a reference to the static_name area,
1682    * (which is currently only here), we immediately follow it with a
1683    * definition of the post_static_name area. This guarantees that
1684    * the post_static_name area will immediately follow the static_name
1685    * area.
1686    */
1687   tfprintf (asmFile, "\t!area\n", port->mem.static_name);       /* MOF */
1688   tfprintf (asmFile, "\t!area\n", port->mem.post_static_name);
1689   tfprintf (asmFile, "\t!area\n", port->mem.static_name);
1690
1691   if (mainf && IFFUNC_HASBODY(mainf->type))
1692     {
1693       fprintf (asmFile, "__sdcc_gsinit_startup:\n");
1694       /* if external stack is specified then the
1695          higher order byte of the xdatalocation is
1696          going into P2 and the lower order going into
1697          spx */
1698       if (options.useXstack)
1699         {
1700           fprintf (asmFile, "\tmov\tP2,#0x%02x\n",
1701                    (((unsigned int) options.xdata_loc) >> 8) & 0xff);
1702           fprintf (asmFile, "\tmov\t_spx,#0x%02x\n",
1703                    (unsigned int) options.xdata_loc & 0xff);
1704         }
1705
1706         // This should probably be a port option, but I'm being lazy.
1707         // on the 400, the firmware boot loader gives us a valid stack
1708         // (see '400 data sheet pg. 85 (TINI400 ROM Initialization code)
1709         if (!TARGET_IS_DS400)
1710         {
1711             /* initialise the stack pointer.  JCF: aslink takes care of the location */
1712             fprintf (asmFile, "\tmov\tsp,#__start__stack - 1\n");       /* MOF */
1713         }
1714
1715       fprintf (asmFile, "\tlcall\t__sdcc_external_startup\n");
1716       fprintf (asmFile, "\tmov\ta,dpl\n");
1717       fprintf (asmFile, "\tjz\t__sdcc_init_data\n");
1718       fprintf (asmFile, "\tljmp\t__sdcc_program_startup\n");
1719       fprintf (asmFile, "__sdcc_init_data:\n");
1720
1721       // if the port can copy the XINIT segment to XISEG
1722       if (port->genXINIT) {
1723         port->genXINIT(asmFile);
1724       }
1725
1726     }
1727   copyFile (asmFile, statsg->oFile);
1728
1729   if (port->general.glue_up_main && mainf && IFFUNC_HASBODY(mainf->type))
1730     {
1731       /* This code is generated in the post-static area.
1732        * This area is guaranteed to follow the static area
1733        * by the ugly shucking and jiving about 20 lines ago.
1734        */
1735       tfprintf (asmFile, "\t!area\n", port->mem.post_static_name);
1736       fprintf (asmFile, "\tljmp\t__sdcc_program_startup\n");
1737     }
1738
1739   fprintf (asmFile,
1740            "%s"
1741            "; Home\n"
1742            "%s", iComments2, iComments2);
1743   tfprintf (asmFile, "\t!areahome\n", HOME_NAME);
1744   copyFile (asmFile, home->oFile);
1745
1746   /* copy over code */
1747   fprintf (asmFile, "%s", iComments2);
1748   fprintf (asmFile, "; code\n");
1749   fprintf (asmFile, "%s", iComments2);
1750   tfprintf (asmFile, "\t!areacode\n", CODE_NAME);
1751   if (mainf && IFFUNC_HASBODY(mainf->type))
1752     {
1753
1754       /* entry point @ start of CSEG */
1755       fprintf (asmFile, "__sdcc_program_startup:\n");
1756
1757       /* put in the call to main */
1758       fprintf (asmFile, "\tlcall\t_main\n");
1759       if (options.mainreturn)
1760         {
1761
1762           fprintf (asmFile, ";\treturn from main ; will return to caller\n");
1763           fprintf (asmFile, "\tret\n");
1764
1765         }
1766       else
1767         {
1768
1769           fprintf (asmFile, ";\treturn from main will lock up\n");
1770           fprintf (asmFile, "\tsjmp .\n");
1771         }
1772     }
1773   copyFile (asmFile, code->oFile);
1774
1775   if (port->genAssemblerEnd) {
1776       port->genAssemblerEnd(asmFile);
1777   }
1778   fclose (asmFile);
1779
1780   rm_tmpfiles ();
1781 }
1782
1783
1784 /** Creates a temporary file with unoque file name
1785     Scans, in order:
1786     - TMP, TEMP, TMPDIR env. varibles
1787     - if Un*x system: /usr/tmp and /tmp
1788     - root directory using mkstemp() if avaliable
1789     - default location using tempnam()
1790 */
1791 static int
1792 tempfileandname(char *fname, size_t len)
1793 {
1794 #define TEMPLATE      "sdccXXXXXX"
1795 #define TEMPLATE_LEN  ((sizeof TEMPLATE) - 1)
1796
1797   const char *tmpdir = NULL;
1798   int fd;
1799
1800   if ((tmpdir = getenv ("TMP")) == NULL)
1801     if ((tmpdir = getenv ("TEMP")) == NULL)
1802       tmpdir = getenv ("TMPDIR");
1803
1804 #ifndef _WIN32
1805   {
1806     /* try with /usr/tmp and /tmp on Un*x systems */
1807     struct stat statbuf;
1808
1809     if (tmpdir == NULL) {
1810       if (stat("/usr/tmp", &statbuf) != -1)
1811         tmpdir = "/usr/tmp";
1812       else if (stat("/tmp", &statbuf) != -1)
1813         tmpdir = "/tmp";
1814     }
1815   }
1816 #endif
1817
1818 #ifdef HAVE_MKSTEMP
1819   {
1820     char fnamebuf[PATH_MAX];
1821     size_t name_len;
1822
1823     if (fname == NULL || len == 0) {
1824       fname = fnamebuf;
1825       len = sizeof fnamebuf;
1826     }
1827
1828     if (tmpdir) {
1829       name_len = strlen(tmpdir) + 1 + TEMPLATE_LEN;
1830
1831       assert(name_len < len);
1832       if (!(name_len < len))  /* in NDEBUG is defined */
1833         return -1;            /* buffer too small, temporary file can not be created */
1834
1835       sprintf(fname, "%s" DIR_SEPARATOR_STRING TEMPLATE, tmpdir);
1836     }
1837     else {
1838       name_len = TEMPLATE_LEN;
1839
1840       assert(name_len < len);
1841       if (!(name_len < len))  /* in NDEBUG is defined */
1842         return -1;            /* buffer too small, temporary file can not be created */
1843
1844       strcpy(fname, TEMPLATE);
1845     }
1846
1847     fd = mkstemp(fname);
1848   }
1849 #else
1850   {
1851     char *name = tempnam(tmpdir, "sdcc");
1852
1853     if (name == NULL) {
1854       perror("Can't create temporary file name");
1855       exit(1);
1856     }
1857
1858     assert(strlen(name) < len);
1859     if (!(strlen(name) < len))  /* in NDEBUG is defined */
1860       return -1;                /* buffer too small, temporary file can not be created */
1861
1862     strcpy(fname, name);
1863 #ifdef _WIN32
1864     fd = open(name, O_CREAT | O_EXCL | O_RDWR, S_IREAD | S_IWRITE);
1865 #else
1866     fd = open(name, O_CREAT | O_EXCL | O_RDWR, S_IRUSR | S_IWUSR);
1867 #endif
1868   }
1869 #endif
1870
1871   if (fd == -1) {
1872     perror("Can't create temporary file");
1873     exit(1);
1874   }
1875
1876   return fd;
1877 }
1878
1879
1880 /** Create a temporary file name
1881 */
1882 char *
1883 tempfilename(void)
1884 {
1885   int fd;
1886   static char fnamebuf[PATH_MAX];
1887
1888   if ((fd = tempfileandname(fnamebuf, sizeof fnamebuf)) == -1) {
1889     fprintf(stderr, "Can't create temporary file name!");
1890     exit(1);
1891   }
1892
1893   fd = close(fd);
1894   assert(fd != -1);
1895
1896   return fnamebuf;
1897 }
1898
1899
1900 /** Create a temporary file and add it to tmpfileNameSet,
1901     so that it is removed explicitly by rm_tmpfiles()
1902     or implicitly at program extit.
1903 */
1904 FILE *
1905 tempfile(void)
1906 {
1907   int fd;
1908   char *tmp;
1909   FILE *fp;
1910   char fnamebuf[PATH_MAX];
1911
1912   if ((fd = tempfileandname(fnamebuf, sizeof fnamebuf)) == -1) {
1913     fprintf(stderr, "Can't create temporary file!");
1914     exit(1);
1915   }
1916
1917   tmp = Safe_strdup(fnamebuf);
1918   if (tmp)
1919     addSetHead(&tmpfileNameSet, tmp);
1920
1921   if ((fp = fdopen(fd, "w+b")) == NULL) {
1922       perror("Can't create temporary file!");
1923       exit(1);
1924   }
1925
1926   return fp;
1927 }