* src/SDCCast.c (processParams): added new type flow and restructured
[fw/sdcc] / src / pic / glue.c
index 4be47c6b400b85e6a1bf84aa465660ece5a82ad7..d1f271717f98e2d94880c1402f19de6fbb689ba0 100644 (file)
 #include "../common.h"
 #include <time.h>
 #include "ralloc.h"
+#include "pcode.h"
 #include "newalloc.h"
 
+
+#ifdef WORDS_BIGENDIAN
+  #define _ENDIAN(x)  (3-x)
+#else
+  #define _ENDIAN(x)  (x)
+#endif
+
+#define BYTE_IN_LONG(x,b) ((x>>(8*_ENDIAN(b)))&0xff)
+
 extern symbol *interrupts[256];
-void printIval (symbol *, sym_link *, initList *, FILE *);
+static void printIval (symbol * sym, sym_link * type, initList * ilist, pBlock *pb);
 extern int noAlloc;
 extern set *publics;
-extern int maxInterrupts;
-extern int maxRegBank ;
+extern set *externs;
+extern unsigned maxInterrupts;
+extern int maxRegBank;
 extern symbol *mainf;
 extern char *VersionString;
 extern FILE *codeOutFile;
@@ -42,1115 +53,942 @@ extern char *iComments1;
 extern char *iComments2;
 //extern void emitStaticSeg (memmap * map);
 
-extern DEFSETFUNC(closeTmpFiles);
-extern DEFSETFUNC(rmTmpFiles);
+extern DEFSETFUNC (closeTmpFiles);
+extern DEFSETFUNC (rmTmpFiles);
 
+extern void AnalyzeBanking (void);
 extern void copyFile (FILE * dest, FILE * src);
+extern void ReuseReg(void);
+extern void InlinepCode(void);
+extern void writeUsedRegs(FILE *);
 
-
-//extern void emitMaps ();
-//extern void createInterruptVect (FILE * vFile);
 extern void initialComments (FILE * afile);
 extern void printPublics (FILE * afile);
 
 extern void printChar (FILE * ofile, char *s, int plen);
+void  pCodeInitRegisters(void);
+int getConfigWord(int address);
 
-#if 0
-char *aopLiteral (value *val, int offset)
-static void emitRegularMap (memmap * map, bool addPublics, bool arFlag)
-value *initPointer (initList *ilist)
-void printIvalType (sym_link * type, initList * ilist, FILE * oFile)
-void printIvalStruct (symbol * sym,sym_link * type,
-          initList * ilist, FILE * oFile)
-int printIvalChar (sym_link * type, initList * ilist, FILE * oFile, char *s)
-void printIvalArray (symbol * sym, sym_link * type, initList * ilist,
-         FILE * oFile)
-void printIvalFuncPtr (sym_link * type, initList * ilist, FILE * oFile)
-int printIvalCharPtr (symbol * sym, sym_link * type, value * val, FILE * oFile)
-void printIvalPtr (symbol * sym, sym_link * type, initList * ilist, FILE * oFile)
-#endif
-
+char *udata_section_name=0;            // FIXME Temporary fix to change udata section name -- VR
 
 /*-----------------------------------------------------------------*/
 /* aopLiteral - string from a literal value                        */
 /*-----------------------------------------------------------------*/
-char *pic14aopLiteral (value *val, int offset)
+int pic14aopLiteral (value *val, int offset)
 {
-    char *rs;
-    union {
-        float f;
-        unsigned char c[4];
-    } fl;
-
-    /* if it is a float then it gets tricky */
-    /* otherwise it is fairly simple */
-    if (!IS_FLOAT(val->type)) {
-        unsigned long v = floatFromVal(val);
-
-        v >>= (offset * 8);
-        sprintf(buffer,"0x%02x",((char) v) & 0xff);
-        rs = Safe_calloc(1,strlen(buffer)+1);
-        return strcpy (rs,buffer);
-    }
+  union {
+    float f;
+    unsigned char c[4];
+  } fl;
 
-    /* it is type float */
-    fl.f = (float) floatFromVal(val);
-#ifdef _BIG_ENDIAN
-    sprintf(buffer,"0x%02x",fl.c[3-offset]);
+  /* if it is a float then it gets tricky */
+  /* otherwise it is fairly simple */
+  if (!IS_FLOAT(val->type)) {
+    unsigned long v = (unsigned long) floatFromVal(val);
+
+    return ( (v >> (offset * 8)) & 0xff);
+  }
+
+  /* it is type float */
+  fl.f = (float) floatFromVal(val);
+#ifdef WORDS_BIGENDIAN
+  return fl.c[3-offset];
 #else
-    sprintf(buffer,"0x%02x",fl.c[offset]);
+  return fl.c[offset];
 #endif
-    rs = Safe_calloc(1,strlen(buffer)+1);
-    return strcpy (rs,buffer);
+
 }
 
 
 /*-----------------------------------------------------------------*/
 /* emitRegularMap - emit code for maps with no special cases       */
 /*-----------------------------------------------------------------*/
-static void pic14emitRegularMap (memmap * map, bool addPublics, bool arFlag)
+static void
+pic14emitRegularMap (memmap * map, bool addPublics, bool arFlag)
 {
-    symbol *sym;
-    int i,size,bitvars=0;;
+  symbol *sym;
+  int bitvars = 0;;
+
+  /* print the area name */
+  if (addPublics)
+    fprintf (map->oFile, ";\t.area\t%s\n", map->sname);
 
-    if (addPublics)
-      fprintf (map->oFile, ";\t.area\t%s\n", map->sname);
+  for (sym = setFirstItem (map->syms); sym;
+       sym = setNextItem (map->syms)) {
 
-    /* print the area name */
-    for (sym = setFirstItem (map->syms); sym;
-   sym = setNextItem (map->syms))  {
+    //printf("%s\n",sym->name);
 
-  /* if extern then do nothing */
-  if (IS_EXTERN (sym->etype))
+    /* if extern then add it into the extern list */
+    if (IS_EXTERN (sym->etype)) {
+      addSetHead (&externs, sym);
+      continue;
+    }
+
+    /* if allocation required check is needed
+       then check if the symbol really requires
+       allocation only for local variables */
+    if (arFlag && !IS_AGGREGATE (sym->type) &&
+       !(sym->_isparm && !IS_REGPARM (sym->etype)) &&
+       !sym->allocreq && sym->level)
       continue;
 
-  /* if allocation required check is needed
-     then check if the symbol really requires
-     allocation only for local variables */
-  if (arFlag && !IS_AGGREGATE(sym->type) &&
-      !(sym->_isparm && !IS_REGPARM(sym->etype)) &&
-        !sym->allocreq && sym->level)
-      continue ;
-
-  /* if global variable & not static or extern
-     and addPublics allowed then add it to the public set */
-  if ((sym->level == 0 ||
-       (sym->_isparm && !IS_REGPARM(sym->etype))) &&
-      addPublics &&
-      !IS_STATIC (sym->etype))
+    /* if global variable & not static or extern
+       and addPublics allowed then add it to the public set */
+    if ((sym->level == 0 ||
+        (sym->_isparm && !IS_REGPARM (sym->etype))) &&
+       addPublics &&
+       !IS_STATIC (sym->etype))
       addSetHead (&publics, sym);
 
-  /* if extern then do nothing or is a function
-     then do nothing */
-  if (IS_FUNC (sym->type))
+    // PIC code allocates its own registers - so ignore parameter variable generated by processFuncArgs()
+    if (sym->_isparm)
+      continue;
+    /* if extern then do nothing or is a function
+       then do nothing */
+    if (IS_FUNC (sym->type))
       continue;
 #if 0
-  /* print extra debug info if required */
-  if (options.debug || sym->level == 0) {
-
-      cdbSymbol(sym,cdbFile,FALSE,FALSE);
-
-      if (!sym->level) /* global */
-    if (IS_STATIC(sym->etype))
-        fprintf(map->oFile,"F%s_",moduleName); /* scope is file */
-    else
-        fprintf(map->oFile,"G_"); /* scope is global */
-      else
-    /* symbol is local */
-    fprintf(map->oFile,"L%s_",(sym->localof ? sym->localof->name : "-null-"));
-      fprintf(map->oFile,"%s_%d_%d",sym->name,sym->level,sym->block);
-  }
-#endif
-
-  /* if is has an absolute address then generate
-     an equate for this no need to allocate space */
-  if (SPEC_ABSA (sym->etype)) {
-    //if (options.debug || sym->level == 0)
-    //fprintf (map->oFile,"; == 0x%04x\n",SPEC_ADDR (sym->etype));
-
-      fprintf (map->oFile, "%s\tEQU\t0x%04x\n",
-         sym->rname,
-         SPEC_ADDR (sym->etype));
-  }
-  else {
-      /* allocate space */
-
-    /* If this is a bit variable, then allocate storage after 8 bits have been declared */
-    /* unlike the 8051, the pic does not have a separate bit area. So we emulate bit ram */
-    /* by grouping the bits together into groups of 8 and storing them in the normal ram.*/
-    if(IS_BITVAR(sym->etype)) {
-      if((bitvars % 8) == 0) {
-        fprintf (map->oFile, "  cblock\n");
-        fprintf (map->oFile, "\tbitfield%d\n", bitvars);
-        fprintf (map->oFile, "  endc\n");
+    /* print extra debug info if required */
+    if (options.debug || sym->level == 0)
+      {
+       if (!sym->level)        /* global */
+         if (IS_STATIC (sym->etype))
+           fprintf (map->oFile, "F%s_", moduleName);           /* scope is file */
+         else
+           fprintf (map->oFile, "G_"); /* scope is global */
+       else
+         /* symbol is local */
+         fprintf (map->oFile, "L%s_", (sym->localof ? sym->localof->name : "-null-"));
+       fprintf (map->oFile, "%s_%d_%d", sym->name, sym->level, sym->block);
       }
+#endif
 
-      fprintf (map->oFile, "%s\tEQU\t( (bitfield%d<<3)+%d)\n",
-         sym->rname,
-         bitvars & 0xfff8,
-         bitvars & 0x0007);
+    /* if it has an absolute address then generate
+       an equate for this no need to allocate space */
+    if (SPEC_ABSA (sym->etype))
+      {
+       //if (options.debug || sym->level == 0)
+       //fprintf (map->oFile,"; == 0x%04x\n",SPEC_ADDR (sym->etype));
 
-      bitvars++;
-    } else {
-      fprintf (map->oFile, "\t%s\n", sym->rname);
-      if( (size = (unsigned int)getSize (sym->type) & 0xffff)>1) {
-        for(i=1; i<size; i++)
-    fprintf (map->oFile, "\t%s_%d\n", sym->rname,i);
+       fprintf (map->oFile, "%s\tEQU\t0x%04x\n",
+                sym->rname,
+                SPEC_ADDR (sym->etype));
       }
-    }
-        //fprintf (map->oFile, "\t.ds\t0x%04x\n", (unsigned int)getSize (sym->type) & 0xffff);
-  }
-
-  /* if it has a initial value then do it only if
-     it is a global variable */
-  if (sym->ival && sym->level == 0) {
+     else
+       {
+        /* allocate space */
+
+        /* If this is a bit variable, then allocate storage after 8 bits have been declared */
+        /* unlike the 8051, the pic does not have a separate bit area. So we emulate bit ram */
+        /* by grouping the bits together into groups of 8 and storing them in the normal ram. */
+        if (IS_BITVAR (sym->etype))
+          {
+            bitvars++;
+          }
+        else
+          {
+            fprintf (map->oFile, "%s\tres\t%d\n", sym->rname,getSize (sym->type) & 0xffff);
+            /*
+            {
+              int i, size;
+
+              if ((size = (unsigned int) getSize (sym->type) & 0xffff) > 1)
+                {
+                  for (i = 1; i < size; i++)
+                    fprintf (map->oFile, "\t%s_%d\n", sym->rname, i);
+                }
+            }
+            */
+          }
+        //fprintf (map->oFile, "\t.ds\t0x%04x\n", (unsigned int)getSize (sym->type) & 0xffff);
+       }
+
+    /* if it has a initial value then do it only if
+       it is a global variable */
+    if (sym->ival && sym->level == 0) {
       ast *ival = NULL;
-
+           
       if (IS_AGGREGATE (sym->type))
-    ival = initAggregates (sym, sym->ival, NULL);
+       ival = initAggregates (sym, sym->ival, NULL);
       else
-    ival = newNode ('=', newAst_VALUE(symbolVal (sym)),
-        decorateType (resolveSymbols (list2expr (sym->ival))));
+       ival = newNode ('=', newAst_VALUE(symbolVal (sym)),
+                       decorateType (resolveSymbols (list2expr (sym->ival)), RESULT_CHECK));
       codeOutFile = statsg->oFile;
+      GcurMemmap = statsg;
       eBBlockFromiCode (iCodeFromAst (ival));
       sym->ival = NULL;
-  }
     }
-}
-
-
-#if 0
-/*-----------------------------------------------------------------*/
-/* initPointer - pointer initialization code massaging             */
-/*-----------------------------------------------------------------*/
-value *initPointer (initList *ilist)
-{
-    value *val;
-    ast *expr = list2expr(ilist);
-
-    if (!expr)
-  goto wrong;
-
-    /* try it the oldway first */
-    if ((val = constExprValue(expr,FALSE)))
-  return val;
-
-    /* no then we have to do these cludgy checks */
-    /* pointers can be initialized with address of
-       a variable or address of an array element */
-    if (IS_AST_OP(expr) && expr->opval.op == '&') {
-  /* address of symbol */
-  if (IS_AST_SYM_VALUE(expr->left)) {
-      val = copyValue(AST_VALUE(expr->left));
-      val->type = newLink();
-      if (SPEC_SCLS(expr->left->etype) == S_CODE) {
-    DCL_TYPE(val->type) = CPOINTER ;
-    DCL_PTR_CONST(val->type) = port->mem.code_ro;
-      }
-      else
-    if (SPEC_SCLS(expr->left->etype) == S_XDATA)
-        DCL_TYPE(val->type) = FPOINTER;
-    else
-        if (SPEC_SCLS(expr->left->etype) == S_XSTACK )
-      DCL_TYPE(val->type) = PPOINTER ;
-        else
-      if (SPEC_SCLS(expr->left->etype) == S_IDATA)
-          DCL_TYPE(val->type) = IPOINTER ;
-      else
-          if (SPEC_SCLS(expr->left->etype) == S_EEPROM)
-        DCL_TYPE(val->type) = EEPPOINTER ;
-          else
-        DCL_TYPE(val->type) = POINTER ;
-      val->type->next = expr->left->ftype;
-      val->etype = getSpec(val->type);
-      return val;
   }
-
-  /* if address of indexed array */
-  if (IS_AST_OP(expr->left) && expr->left->opval.op == '[')
-      return valForArray(expr->left);
-
-  /* if address of structure element then
-     case 1. a.b ; */
-  if (IS_AST_OP(expr->left) &&
-      expr->left->opval.op == '.' ) {
-    return valForStructElem(expr->left->left,
-          expr->left->right);
-  }
-
-  /* case 2. (&a)->b ;
-     (&some_struct)->element */
-  if (IS_AST_OP(expr->left) &&
-      expr->left->opval.op == PTR_OP &&
-      IS_ADDRESS_OF_OP(expr->left->left))
-    return valForStructElem(expr->left->left->left,
-          expr->left->right);
-    }
-
- wrong:
-    werror(E_INIT_WRONG);
-    return NULL;
-
 }
 
-/*-----------------------------------------------------------------*/
-/* printChar - formats and prints a characater string with DB      */
-/*-----------------------------------------------------------------*/
-void printChar (FILE * ofile, char *s, int plen)
-{
-    int i;
-    int len = strlen (s);
-    int pplen = 0;
-
-    while (len && pplen < plen) {
-
-  fprintf (ofile, "\t.ascii /");
-  i = 60;
-  while (i && *s && pplen < plen) {
-      if (*s < ' ' || *s == '/') {
-    fprintf (ofile, "/\n\t.byte 0x%02x\n\t.ascii /", *s++);
-      }
-      else
-    fprintf (ofile, "%c", *s++);
-      pplen++;
-      i--;
-  }
-  fprintf (ofile, "/\n");
-
-  if (len > 60)
-      len -= 60;
-  else
-      len = 0;
-    }
-    if (pplen < plen)
-  fprintf(ofile,"\t.byte\t0\n");
-}
 
 /*-----------------------------------------------------------------*/
 /* printIvalType - generates ival for int/char                     */
 /*-----------------------------------------------------------------*/
-void printIvalType (sym_link * type, initList * ilist, FILE * oFile)
+static void 
+printIvalType (symbol *sym, sym_link * type, initList * ilist, pBlock *pb)
 {
-    value *val;
+  value *val;
+  unsigned long ulval;
 
-    /* if initList is deep */
-    if (ilist->type == INIT_DEEP)
-  ilist = ilist->init.deep;
+  //fprintf(stderr, "%s\n",__FUNCTION__);
 
-    val = list2val (ilist);
-    switch (getSize (type)) {
-    case 1:
-  if (!val)
-      fprintf (oFile, "\t.byte 0\n");
-  else
-      fprintf (oFile, "\t.byte %s\n",
-         aopLiteral (val, 0));
-  break;
+  /* if initList is deep */
+  if (ilist->type == INIT_DEEP)
+    ilist = ilist->init.deep;
 
-    case 2:
-  if (!val)
-      fprintf (oFile, "\t.word 0\n");
-  else
-      fprintf (oFile, "\t.byte %s,%s\n",
-         aopLiteral (val, 0), aopLiteral (val, 1));
-  break;
-
-    case 4:
-  if (!val)
-      fprintf (oFile, "\t.word 0,0\n");
-  else
-      fprintf (oFile, "\t.byte %s,%s,%s,%s\n",
-         aopLiteral (val, 0), aopLiteral (val, 1),
-         aopLiteral (val, 2), aopLiteral (val, 3));
-  break;
-    }
-
-    return;
-}
+  if (!IS_AGGREGATE(sym->type) && getNelements(type, ilist)>1) {
+    werror (W_EXCESS_INITIALIZERS, "scalar", sym->name, sym->lineDef);
+  }
 
-/*-----------------------------------------------------------------*/
-/* printIvalStruct - generates initial value for structures        */
-/*-----------------------------------------------------------------*/
-void printIvalStruct (symbol * sym,sym_link * type,
-          initList * ilist, FILE * oFile)
-{
-    symbol *sflds;
-    initList *iloop;
+  if (!(val = list2val (ilist))) {
+    // assuming a warning has been thrown
+    val=constVal("0");
+  }
 
-    sflds = SPEC_STRUCT (type)->fields;
-    if (ilist->type != INIT_DEEP) {
-  werror (E_INIT_STRUCT, sym->name);
-  return;
-    }
+  if (val->type != type) {
+    val = valCastLiteral(type, floatFromVal(val));
+  }
 
-    iloop = ilist->init.deep;
+  if(val) 
+    ulval = (unsigned long) floatFromVal (val);
+  else
+    ulval =0;
 
-    for (; sflds; sflds = sflds->next, iloop = (iloop ? iloop->next : NULL))
-  printIval (sflds, sflds->type, iloop, oFile);
+  switch (getSize (type)) {
+  case 1:
+    addpCode2pBlock(pb,newpCode(POC_RETLW,newpCodeOpLit(BYTE_IN_LONG(ulval,0))));
+    break;
 
-    return;
+  case 2:
+    addpCode2pBlock(pb,newpCode(POC_RETLW,newpCodeOpLit(BYTE_IN_LONG(ulval,0))));
+    addpCode2pBlock(pb,newpCode(POC_RETLW,newpCodeOpLit(BYTE_IN_LONG(ulval,1))));
+    break;
+
+  case 4:
+    addpCode2pBlock(pb,newpCode(POC_RETLW,newpCodeOpLit(BYTE_IN_LONG(ulval,0))));
+    addpCode2pBlock(pb,newpCode(POC_RETLW,newpCodeOpLit(BYTE_IN_LONG(ulval,1))));
+    addpCode2pBlock(pb,newpCode(POC_RETLW,newpCodeOpLit(BYTE_IN_LONG(ulval,2))));
+    addpCode2pBlock(pb,newpCode(POC_RETLW,newpCodeOpLit(BYTE_IN_LONG(ulval,3))));
+    break;
+  }
 }
 
 /*-----------------------------------------------------------------*/
 /* printIvalChar - generates initital value for character array    */
 /*-----------------------------------------------------------------*/
-int printIvalChar (sym_link * type, initList * ilist, FILE * oFile, char *s)
+static int 
+printIvalChar (sym_link * type, initList * ilist, pBlock *pb, char *s)
 {
-    value *val;
-    int remain;
-
-    if (!s) {
-
-  val = list2val (ilist);
-  /* if the value is a character string  */
-  if (IS_ARRAY (val->type) && IS_CHAR (val->etype)) {
-      if (!DCL_ELEM (type))
-    DCL_ELEM (type) = strlen (SPEC_CVAL (val->etype).v_char) + 1;
+  value *val;
+  int remain;
 
-      /* if size mismatch  */
-/*      if (DCL_ELEM (type) < ((int) strlen (SPEC_CVAL (val->etype).v_char) + 1)) */
-/*    werror (E_ARRAY_BOUND); */
+  if(!pb)
+    return 0;
 
-      printChar (oFile, SPEC_CVAL (val->etype).v_char,DCL_ELEM(type));
+  //fprintf(stderr, "%s\n",__FUNCTION__);
+  if (!s)
+    {
 
-      if ((remain = (DCL_ELEM (type) - strlen (SPEC_CVAL (val->etype).v_char) -1))>0)
-    while (remain--)
-        fprintf (oFile, "\t.byte 0\n");
+      val = list2val (ilist);
+      /* if the value is a character string  */
+      if (IS_ARRAY (val->type) && IS_CHAR (val->etype))
+       {
+         if (!DCL_ELEM (type))
+           DCL_ELEM (type) = strlen (SPEC_CVAL (val->etype).v_char) + 1;
+
+         //printChar (oFile, SPEC_CVAL (val->etype).v_char, DCL_ELEM (type));
+         //fprintf(stderr, "%s omitting call to printChar\n",__FUNCTION__);
+         addpCode2pBlock(pb,newpCodeCharP(";omitting call to printChar"));
+
+         if ((remain = (DCL_ELEM (type) - strlen (SPEC_CVAL (val->etype).v_char) - 1)) > 0)
+           while (remain--)
+             //tfprintf (oFile, "\t!db !constbyte\n", 0);
+             addpCode2pBlock(pb,newpCode(POC_RETLW,newpCodeOpLit(0)));
+         return 1;
+       }
+      else
+       return 0;
+    }
+  else {
+    //printChar (oFile, s, strlen (s) + 1);
 
-      return 1;
-  }
-  else
-      return 0;
+    for(remain=0; remain<(int)strlen(s); remain++) {
+      addpCode2pBlock(pb,newpCode(POC_RETLW,newpCodeOpLit(s[remain])));
+      //fprintf(stderr,"0x%02x ",s[remain]);
     }
-    else
-  printChar (oFile, s,strlen(s)+1);
-    return 1;
+    //fprintf(stderr,"\n");
+  }
+  return 1;
 }
 
 /*-----------------------------------------------------------------*/
 /* printIvalArray - generates code for array initialization        */
 /*-----------------------------------------------------------------*/
-void printIvalArray (symbol * sym, sym_link * type, initList * ilist,
-         FILE * oFile)
+static void 
+printIvalArray (symbol * sym, sym_link * type, initList * ilist,
+               pBlock *pb)
 {
-    initList *iloop;
-    int lcnt = 0, size = 0;
-
-    /* take care of the special   case  */
-    /* array of characters can be init  */
-    /* by a string                      */
-    if (IS_CHAR (type->next))
-  if (printIvalChar (type,
-         (ilist->type == INIT_DEEP ? ilist->init.deep : ilist),
-         oFile, SPEC_CVAL (sym->etype).v_char))
-      return;
-
-    /* not the special case             */
-    if (ilist->type != INIT_DEEP) {
-  werror (E_INIT_STRUCT, sym->name);
-  return;
-    }
-
-    iloop = ilist->init.deep;
-    lcnt = DCL_ELEM (type);
-
-    for (;;) {
-  size++;
-  printIval (sym, type->next, iloop, oFile);
-  iloop = (iloop ? iloop->next : NULL);
-
-
-  /* if not array limits given & we */
-  /* are out of initialisers then   */
-  if (!DCL_ELEM (type) && !iloop)
-      break;
-
-  /* no of elements given and we    */
-  /* have generated for all of them */
-  if (!--lcnt)
-      break;
-    }
-
-    /* if we have not been given a size  */
-    if (!DCL_ELEM (type))
-  DCL_ELEM (type) = size;
+  initList *iloop;
+  int lcnt = 0, size = 0;
 
+  if(!pb)
     return;
-}
 
-/*-----------------------------------------------------------------*/
-/* printIvalFuncPtr - generate initial value for function pointers */
-/*-----------------------------------------------------------------*/
-void printIvalFuncPtr (sym_link * type, initList * ilist, FILE * oFile)
-{
-    value *val;
-    int dLvl = 0;
-
-    val = list2val (ilist);
-    /* check the types   */
-    if ((dLvl = checkType (val->type, type->next)) <= 0) {
-
-  fprintf (oFile, "\t.word 0\n");
-  return;
+  /* take care of the special   case  */
+  /* array of characters can be init  */
+  /* by a string                      */
+  if (IS_CHAR (type->next)) {
+    //fprintf(stderr,"%s:%d - is_char\n",__FUNCTION__,__LINE__);
+    if (!IS_LITERAL(list2val(ilist)->etype)) {
+      werror (W_INIT_WRONG);
+      return;
     }
-
-    /* now generate the name */
-    if (!val->sym) {
-  if (IS_LITERAL (val->etype))
-      fprintf (oFile, "\t.byte %s,%s\n",
-         aopLiteral (val, 0), aopLiteral (val, 1));
-  else
-      fprintf (oFile, "\t.byte %s,(%s >> 8)\n",
-         val->name, val->name);
+    if (printIvalChar (type,
+                      (ilist->type == INIT_DEEP ? ilist->init.deep : ilist),
+                      pb, SPEC_CVAL (sym->etype).v_char))
+      return;
+  }
+  /* not the special case             */
+  if (ilist->type != INIT_DEEP)
+    {
+      werror (E_INIT_STRUCT, sym->name);
+      return;
     }
-    else
-  fprintf (oFile, "\t.byte %s,(%s >> 8)\n",
-     val->sym->rname, val->sym->rname);
-
-    return;
-}
 
-/*-----------------------------------------------------------------*/
-/* printIvalCharPtr - generates initial values for character pointers */
-/*-----------------------------------------------------------------*/
-int printIvalCharPtr (symbol * sym, sym_link * type, value * val, FILE * oFile)
-{
-    int size = 0;
-
-    size = getSize (type);
-
-    if (size == 1)
-  fprintf(oFile,
-       "\t.byte %s", val->name) ;
-    else
-  fprintf (oFile,
-     "\t.byte %s,(%s >> 8)",
-     val->name, val->name);
-
-    if (size > 2)
-  fprintf (oFile, ",#0x02\n");
-    else
-  fprintf (oFile, "\n");
-
-    if (val->sym && val->sym->isstrlit)
-  addSet (&statsg->syms, val->sym);
-
-    return 1;
-}
+  iloop = ilist->init.deep;
+  lcnt = DCL_ELEM (type);
 
-/*-----------------------------------------------------------------*/
-/* printIvalPtr - generates initial value for pointers             */
-/*-----------------------------------------------------------------*/
-void printIvalPtr (symbol * sym, sym_link * type, initList * ilist, FILE * oFile)
-{
-    value *val;
-
-    /* if deep then   */
-    if (ilist->type == INIT_DEEP)
-  ilist = ilist->init.deep;
-
-    /* function pointer     */
-    if (IS_FUNC (type->next)) {
-  printIvalFuncPtr (type, ilist, oFile);
-  return;
+  for (;;)
+    {
+      //fprintf(stderr,"%s:%d - is_char\n",__FUNCTION__,__LINE__);
+      size++;
+      printIval (sym, type->next, iloop, pb);
+      iloop = (iloop ? iloop->next : NULL);
+
+
+      /* if not array limits given & we */
+      /* are out of initialisers then   */
+      if (!DCL_ELEM (type) && !iloop)
+       break;
+
+      /* no of elements given and we    */
+      /* have generated for all of them */
+      if (!--lcnt) {
+       /* if initializers left */
+       if (iloop) {
+         werror (W_EXCESS_INITIALIZERS, "array", sym->name, sym->lineDef);
+       }
+       break;
+      }
     }
 
-    if (!(val = initPointer (ilist)))
-  return ;
-
-    /* if character pointer */
-    if (IS_CHAR (type->next))
-  if (printIvalCharPtr (sym, type, val, oFile))
-      return;
-
-    /* check the type      */
-    if (checkType (type, val->type) != 1)
-  werror (E_INIT_WRONG);
+  /* if we have not been given a size  */
+  if (!DCL_ELEM (type))
+    DCL_ELEM (type) = size;
 
-    /* if val is literal */
-    if (IS_LITERAL (val->etype)) {
-  switch (getSize (type)) {
-  case 1:
-      fprintf (oFile, "\t.byte 0x%02x\n", ((char) floatFromVal (val)) & 0xff);
-      break;
-  case 2:
-      fprintf (oFile, "\t.byte %s,%s\n",
-         aopLiteral (val, 0), aopLiteral (val, 1));
-
-      break;
-  case 3:
-      fprintf (oFile, "\t.byte %s,%s,0x%02x\n",
-         aopLiteral (val, 0), aopLiteral (val, 1), CPOINTER);
-  }
   return;
-    }
-
-
-    switch (getSize (type)) {
-    case 1:
-  fprintf (oFile, "\t.byte %s\n", val->name);
-  break;
-    case 2:
-  fprintf (oFile, "\t.byte %s,(%s >> 8)\n", val->name, val->name);
-  break;
-
-    case 3:
-  fprintf (oFile, "\t.byte %s,(%s >> 8),0x%02x\n",
-     val->name, val->name, DCL_TYPE(val->type));
-    }
-    return;
 }
 
 /*-----------------------------------------------------------------*/
 /* printIval - generates code for initial value                    */
 /*-----------------------------------------------------------------*/
-void printIval (symbol * sym, sym_link * type, initList * ilist, FILE * oFile)
+static void 
+printIval (symbol * sym, sym_link * type, initList * ilist, pBlock *pb)
 {
-    if (!ilist)
-  return;
+  if (!ilist || !pb)
+    return;
 
-    /* if structure then    */
-    if (IS_STRUCT (type)) {
-  printIvalStruct (sym, type, ilist, oFile);
-  return;
+  /* if structure then    */
+  if (IS_STRUCT (type))
+    {
+      //fprintf(stderr,"%s struct\n",__FUNCTION__);
+      //printIvalStruct (sym, type, ilist, oFile);
+      return;
     }
 
-    /* if this is a pointer */
-    if (IS_PTR (type)) {
-  printIvalPtr (sym, type, ilist, oFile);
-  return;
+  /* if this is a pointer */
+  if (IS_PTR (type))
+    {
+      //fprintf(stderr,"%s pointer\n",__FUNCTION__);
+      //printIvalPtr (sym, type, ilist, oFile);
+      return;
     }
 
-    /* if this is an array   */
-    if (IS_ARRAY (type)) {
-  printIvalArray (sym, type, ilist, oFile);
-  return;
+  /* if this is an array   */
+  if (IS_ARRAY (type))
+    {
+      //fprintf(stderr,"%s array\n",__FUNCTION__);
+      printIvalArray (sym, type, ilist, pb);
+      return;
     }
 
-    /* if type is SPECIFIER */
-    if (IS_SPEC (type)) {
-  printIvalType (type, ilist, oFile);
-  return;
+  /* if type is SPECIFIER */
+  if (IS_SPEC (type))
+    {
+      //fprintf(stderr,"%s spec\n",__FUNCTION__);
+      printIvalType (sym, type, ilist, pb);
+      return;
     }
 }
 
-#endif
+extern void pCodeConstString(char *name, char *value);
 /*-----------------------------------------------------------------*/
 /* emitStaticSeg - emitcode for the static segment                 */
 /*-----------------------------------------------------------------*/
-static void pic14emitStaticSeg (memmap * map)
+static void
+pic14emitStaticSeg (memmap * map)
 {
-    symbol *sym;
+  symbol *sym;
 
-    fprintf(map->oFile,";\t.area\t%s\n",map->sname);
+  fprintf (map->oFile, ";\t.area\t%s\n", map->sname);
 
+  //fprintf(stderr, "%s\n",__FUNCTION__);
 
-    /* for all variables in this segment do */
-    for (sym = setFirstItem (map->syms); sym;
-   sym = setNextItem (map->syms)) {
-
-  /* if it is "extern" then do nothing */
-  if (IS_EXTERN (sym->etype))
+  /* for all variables in this segment do */
+  for (sym = setFirstItem (map->syms); sym;
+       sym = setNextItem (map->syms))
+    {
+    /* if extern then add it into the extern list */
+    if (IS_EXTERN (sym->etype)) {
+      addSetHead (&externs, sym);
       continue;
+    }
 
-  /* if it is not static add it to the public
-     table */
-  if (!IS_STATIC (sym->etype))
-      addSetHead (&publics, sym);
-
-  /* print extra debug info if required */
-  if (options.debug || sym->level == 0) {
-
-      cdbSymbol(sym,cdbFile,FALSE,FALSE);
-
-      if (!sym->level) { /* global */
-    if (IS_STATIC(sym->etype))
-        fprintf(code->oFile,"F%s_",moduleName); /* scope is file */
-    else
-        fprintf(code->oFile,"G_"); /* scope is global */
-      }
-      else
-    /* symbol is local */
-    fprintf(code->oFile,"L%s_",
-      (sym->localof ? sym->localof->name : "-null-"));
-      fprintf(code->oFile,"%s_%d_%d",sym->name,sym->level,sym->block);
-  }
-
-  /* if it has an absolute address */
-  if (SPEC_ABSA (sym->etype)) {
-      if (options.debug || sym->level == 0)
-    fprintf(code->oFile," == 0x%04x\n", SPEC_ADDR (sym->etype));
+      /* if it is not static add it to the public
+         table */
+      if (!IS_STATIC (sym->etype))
+       addSetHead (&publics, sym);
 
-      fprintf (code->oFile, "%s\t=\t0x%04x\n",
-         sym->rname,
-         SPEC_ADDR (sym->etype));
-  }
-  else {
+      /* print extra debug info if required */
       if (options.debug || sym->level == 0)
-    fprintf(code->oFile," == .\n");
-
-      /* if it has an initial value */
-      if (sym->ival) {
-    fprintf (code->oFile, "%s:\n", sym->rname);
-    noAlloc++;
-    resolveIvalSym (sym->ival);
-    printIval (sym, sym->type, sym->ival, code->oFile);
-    noAlloc--;
-      }
-      else {
-    /* allocate space */
-    fprintf (code->oFile, "%s:\n", sym->rname);
-    /* special case for character strings */
-    if (IS_ARRAY (sym->type) && IS_CHAR (sym->type->next) &&
-        SPEC_CVAL (sym->etype).v_char)
-        printChar (code->oFile,
-             SPEC_CVAL (sym->etype).v_char,
-             strlen(SPEC_CVAL (sym->etype).v_char)+1);
-    else
-        fprintf (code->oFile, "\t.ds\t0x%04x\n", (unsigned int)getSize (sym->type)& 0xffff);
-      }
-  }
+       {
+         if (!sym->level)
+           {                   /* global */
+             if (IS_STATIC (sym->etype))
+               fprintf (code->oFile, "F%s_", moduleName);      /* scope is file */
+             else
+               fprintf (code->oFile, "G_");    /* scope is global */
+           }
+         else
+           /* symbol is local */
+           fprintf (code->oFile, "L%s_",
+                    (sym->localof ? sym->localof->name : "-null-"));
+         fprintf (code->oFile, "%s_%d_%d", sym->name, sym->level, sym->block);
+
+       }
+
+      /* if it has an absolute address */
+      if (SPEC_ABSA (sym->etype))
+       {
+         if (options.debug || sym->level == 0)
+           fprintf (code->oFile, " == 0x%04x\n", SPEC_ADDR (sym->etype));
+
+         fprintf (code->oFile, "%s\t=\t0x%04x\n",
+                  sym->rname,
+                  SPEC_ADDR (sym->etype));
+       }
+      else
+       {
+         if (options.debug || sym->level == 0)
+           fprintf (code->oFile, " == .\n");
+
+         /* if it has an initial value */
+         if (sym->ival)
+           {
+             pBlock *pb;
+
+             fprintf (code->oFile, "%s:\n", sym->rname);
+             noAlloc++;
+             resolveIvalSym (sym->ival, sym->type);
+             //printIval (sym, sym->type, sym->ival, code->oFile);
+             pb = newpCodeChain(NULL, 'P',newpCodeCharP("; Starting pCode block for Ival"));
+             addpBlock(pb);
+             addpCode2pBlock(pb,newpCodeLabel(sym->rname,-1));
+
+             printIval (sym, sym->type, sym->ival, pb);
+             noAlloc--;
+           }
+         else
+           {
+
+             /* allocate space */
+             fprintf (code->oFile, "%s:\n", sym->rname);
+             /* special case for character strings */
+             if (IS_ARRAY (sym->type) && IS_CHAR (sym->type->next) &&
+                 SPEC_CVAL (sym->etype).v_char)
+               pCodeConstString(sym->rname , SPEC_CVAL (sym->etype).v_char);
+               /*printChar (code->oFile,
+                          SPEC_CVAL (sym->etype).v_char,
+                          strlen (SPEC_CVAL (sym->etype).v_char) + 1);*/
+             else
+               fprintf (code->oFile, "\t.ds\t0x%04x\n", (unsigned int) getSize (sym->type) & 0xffff);
+           }
+       }
     }
+
 }
 
 
 /*-----------------------------------------------------------------*/
 /* emitMaps - emits the code for the data portion the code         */
 /*-----------------------------------------------------------------*/
-static void pic14emitMaps ()
+static void
+pic14emitMaps ()
 {
-    /* no special considerations for the following
-       data, idata & bit & xdata */
-    pic14emitRegularMap (data, TRUE, TRUE);
-    pic14emitRegularMap (idata, TRUE,TRUE);
-    pic14emitRegularMap (bit, TRUE,FALSE);
-    pic14emitRegularMap (xdata, TRUE,TRUE);
-    pic14emitRegularMap (sfr, FALSE,FALSE);
-    pic14emitRegularMap (sfrbit, FALSE,FALSE);
-    pic14emitRegularMap (code, TRUE,FALSE);
-    pic14emitStaticSeg (statsg);
+  /* no special considerations for the following
+     data, idata & bit & xdata */
+  pic14emitRegularMap (data, TRUE, TRUE);
+  pic14emitRegularMap (idata, TRUE, TRUE);
+  pic14emitRegularMap (bit, TRUE, FALSE);
+  pic14emitRegularMap (xdata, TRUE, TRUE);
+  pic14emitRegularMap (sfr, FALSE, FALSE);
+  pic14emitRegularMap (sfrbit, FALSE, FALSE);
+  pic14emitRegularMap (code, TRUE, FALSE);
+  pic14emitStaticSeg (statsg);
 }
 
 /*-----------------------------------------------------------------*/
 /* createInterruptVect - creates the interrupt vector              */
 /*-----------------------------------------------------------------*/
-static void pic14createInterruptVect (FILE * vFile)
+static void
+pic14createInterruptVect (FILE * vFile)
 {
-    int i = 0;
-    mainf = newSymbol ("main", 0);
-    mainf->block = 0;
-
-    /* only if the main function exists */
-    if (!(mainf = findSymWithLevel (SymbolTab, mainf))) {
-  if (!options.cc_only)
-      werror(E_NO_MAIN);
-  return;
-    }
+  mainf = newSymbol ("main", 0);
+  mainf->block = 0;
 
-    /* if the main is only a prototype ie. no body then do nothing */
-    if (!mainf->fbody) {
-  /* if ! compile only then main function should be present */
-  if (!options.cc_only)
-      werror(E_NO_MAIN);
-  return;
+  /* only if the main function exists */
+  if (!(mainf = findSymWithLevel (SymbolTab, mainf)))
+    {
+      if (!options.cc_only)
+//     werror (E_NO_MAIN);
+      fprintf(stderr,"WARNING: function 'main' undefined\n");
+      return;
     }
 
-    fprintf (vFile, ";\t.area\t%s\n", CODE_NAME);
-    fprintf (vFile, ";__interrupt_vect:\n");
-
-
-    if (!port->genIVT || ! (port->genIVT(vFile, interrupts, maxInterrupts)))
+  /* if the main is only a prototype ie. no body then do nothing */
+  if (!IFFUNC_HASBODY(mainf->type))
     {
-        /* "generic" interrupt table header (if port doesn't specify one).
-         *
-         * Look suspiciously like 8051 code to me...
-         */
-
-      fprintf (vFile, ";\tljmp\t__sdcc_gsinit_startup\n");
+      /* if ! compile only then main function should be present */
+      if (!options.cc_only)
+//     werror (E_NO_MAIN);
+      fprintf(stderr,"WARNING: function 'main' undefined\n");
+      return;
+    }
 
+  fprintf (vFile, "%s", iComments2);
+  fprintf (vFile, "; config word \n");
+  fprintf (vFile, "%s", iComments2);
+  fprintf (vFile, "\t__config 0x%x\n", getConfigWord(0x2007));
 
-      /* now for the other interrupts */
-      for (; i < maxInterrupts; i++) {
-    if (interrupts[i])
-          fprintf (vFile, ";\tljmp\t%s\n\t.ds\t5\n", interrupts[i]->rname);
-    else
-          fprintf (vFile, ";\treti\n;\t.ds\t7\n");
-      }
-    }
+  fprintf (vFile, "%s", iComments2);
+  fprintf (vFile, "; reset vector \n");
+  fprintf (vFile, "%s", iComments2);
+  fprintf (vFile, "STARTUP\t%s\n", CODE_NAME); // Lkr file should place section STARTUP at address 0x0
+  fprintf (vFile, "\tnop\n"); /* first location for used by incircuit debugger */
+  fprintf (vFile, "\tgoto\t__sdcc_gsinit_startup\n");
 }
 
 
 /*-----------------------------------------------------------------*/
 /* initialComments - puts in some initial comments                 */
 /*-----------------------------------------------------------------*/
-static void pic14initialComments (FILE * afile)
+static void
+pic14initialComments (FILE * afile)
 {
-  initialComments(afile);
-  fprintf (afile, "; PIC port for the 14-bit core\n" );
+  initialComments (afile);
+  fprintf (afile, "; PIC port for the 14-bit core\n");
   fprintf (afile, iComments2);
 
 }
 
 /*-----------------------------------------------------------------*/
-/* printPublics - generates .global for publics                    */
+/* printExterns - generates extern for external variables          */
 /*-----------------------------------------------------------------*/
-static void pic14printPublics (FILE * afile)
+static void
+pic14printExterns (FILE * afile)
 {
-    symbol *sym;
+  symbol *sym;
 
-    fprintf (afile, "%s", iComments2);
-    fprintf (afile, "; publics variables in this module\n");
-    fprintf (afile, "%s", iComments2);
+  fprintf (afile, "%s", iComments2);
+  fprintf (afile, "; extern variables in this module\n");
+  fprintf (afile, "%s", iComments2);
 
-    for (sym = setFirstItem (publics); sym;
-   sym = setNextItem (publics))
-  fprintf (afile, ";\t.globl %s\n", sym->rname);
+  for (sym = setFirstItem (externs); sym;
+       sym = setNextItem (externs))
+    fprintf (afile, "\textern %s\n", sym->rname);
 }
 
-
-
 /*-----------------------------------------------------------------*/
-/* emitOverlay - will emit code for the overlay stuff              */
+/* printPublics - generates .global for publics                    */
 /*-----------------------------------------------------------------*/
-static void pic14emitOverlay(FILE *afile)
+static void
+pic14printPublics (FILE * afile)
 {
-    set *ovrset;
-
-    if (!elementsInSet(ovrSetSets))
-  fprintf(afile,";\t.area\t%s\n", port->mem.overlay_name);
+  symbol *sym;
 
-    /* for each of the sets in the overlay segment do */
-    for (ovrset = setFirstItem(ovrSetSets); ovrset;
-   ovrset = setNextItem(ovrSetSets)) {
+  fprintf (afile, "%s", iComments2);
+  fprintf (afile, "; publics variables in this module\n");
+  fprintf (afile, "%s", iComments2);
 
-  symbol *sym ;
+  for (sym = setFirstItem (publics); sym;
+       sym = setNextItem (publics)) {
 
-  if (elementsInSet(ovrset)) {
-      /* this dummy area is used to fool the assembler
-         otherwise the assembler will append each of these
-         declarations into one chunk and will not overlay
-         sad but true */
-      fprintf(afile,";\t.area _DUMMY\n");
-      /* output the area informtion */
-      fprintf(afile,";\t.area\t%s\n", port->mem.overlay_name); /* MOF */
+    if(!IS_BITFIELD(sym->type) && ((IS_FUNC(sym->type) || sym->allocreq))) {
+      if (!IS_BITVAR(sym->type))
+        fprintf (afile, "\tglobal %s\n", sym->rname);
+    } else {
+               /* Absolute variables are defines in the asm file as equates and thus can not be made global. */
+         if (!SPEC_ABSA (sym->etype))
+             fprintf (afile, "\tglobal %s\n", sym->rname);
+       }
   }
+}
 
-  for (sym = setFirstItem(ovrset); sym;
-       sym = setNextItem(ovrset)) {
-
-      /* if extern then do nothing */
-      if (IS_EXTERN (sym->etype))
-    continue;
-
-      /* if allocation required check is needed
-         then check if the symbol really requires
-         allocation only for local variables */
-      if (!IS_AGGREGATE(sym->type) &&
-    !(sym->_isparm && !IS_REGPARM(sym->etype))
-    && !sym->allocreq && sym->level)
-    continue ;
-
-      /* if global variable & not static or extern
-         and addPublics allowed then add it to the public set */
-      if ((sym->_isparm && !IS_REGPARM(sym->etype))
-    && !IS_STATIC (sym->etype))
-    addSetHead (&publics, sym);
-
-      /* if extern then do nothing or is a function
-         then do nothing */
-      if (IS_FUNC (sym->type))
-    continue;
-
-      /* print extra debug info if required */
-      if (options.debug || sym->level == 0) {
-
-    cdbSymbol(sym,cdbFile,FALSE,FALSE);
-
-    if (!sym->level) { /* global */
-        if (IS_STATIC(sym->etype))
-      fprintf(afile,"F%s_",moduleName); /* scope is file */
-        else
-      fprintf(afile,"G_"); /* scope is global */
-    }
-    else
-        /* symbol is local */
-        fprintf(afile,"L%s_",
-          (sym->localof ? sym->localof->name : "-null-"));
-    fprintf(afile,"%s_%d_%d",sym->name,sym->level,sym->block);
-      }
+/*-----------------------------------------------------------------*/
+/* emitOverlay - will emit code for the overlay stuff              */
+/*-----------------------------------------------------------------*/
+static void
+pic14emitOverlay (FILE * afile)
+{
+  set *ovrset;
 
-      /* if is has an absolute address then generate
-         an equate for this no need to allocate space */
-      if (SPEC_ABSA (sym->etype)) {
+/*  if (!elementsInSet (ovrSetSets))*/
 
-    if (options.debug || sym->level == 0)
-        fprintf (afile," == 0x%04x\n",SPEC_ADDR (sym->etype));
+  /* the hack below, fixes translates for devices which
+   * only have udata_shr memory */
+  fprintf (afile, "%s\t%s\n",
+       (elementsInSet(ovrSetSets)?"":";"),
+       port->mem.overlay_name);
 
-    fprintf (afile, "%s\t=\t0x%04x\n",
-       sym->rname,
-       SPEC_ADDR (sym->etype));
-      }
-      else {
-    if (options.debug || sym->level == 0)
-        fprintf(afile,"==.\n");
-
-    /* allocate space */
-    fprintf (afile, "%s:\n", sym->rname);
-    fprintf (afile, "\t.ds\t0x%04x\n", (unsigned int)getSize (sym->type) & 0xffff);
-      }
+  /* for each of the sets in the overlay segment do */
+  for (ovrset = setFirstItem (ovrSetSets); ovrset;
+       ovrset = setNextItem (ovrSetSets))
+    {
 
-  }
+      symbol *sym;
+
+      if (elementsInSet (ovrset))
+       {
+         /* this dummy area is used to fool the assembler
+            otherwise the assembler will append each of these
+            declarations into one chunk and will not overlay
+            sad but true */
+             
+          /* I don't think this applies to us. We are using gpasm.  CRF */
+          
+         fprintf (afile, ";\t.area _DUMMY\n");
+         /* output the area informtion */
+         fprintf (afile, ";\t.area\t%s\n", port->mem.overlay_name);    /* MOF */
+       }
+
+      for (sym = setFirstItem (ovrset); sym;
+          sym = setNextItem (ovrset))
+       {
+
+         /* if extern then do nothing */
+         if (IS_EXTERN (sym->etype))
+           continue;
+
+         /* if allocation required check is needed
+            then check if the symbol really requires
+            allocation only for local variables */
+         if (!IS_AGGREGATE (sym->type) &&
+             !(sym->_isparm && !IS_REGPARM (sym->etype))
+             && !sym->allocreq && sym->level)
+           continue;
+
+         /* if global variable & not static or extern
+            and addPublics allowed then add it to the public set */
+         if ((sym->_isparm && !IS_REGPARM (sym->etype))
+             && !IS_STATIC (sym->etype))
+           addSetHead (&publics, sym);
+
+         /* if extern then do nothing or is a function
+            then do nothing */
+         if (IS_FUNC (sym->type))
+           continue;
+
+         /* print extra debug info if required */
+         if (options.debug || sym->level == 0)
+           {
+             if (!sym->level)
+               {               /* global */
+                 if (IS_STATIC (sym->etype))
+                   fprintf (afile, "F%s_", moduleName);        /* scope is file */
+                 else
+                   fprintf (afile, "G_");      /* scope is global */
+               }
+             else
+               /* symbol is local */
+               fprintf (afile, "L%s_",
+                        (sym->localof ? sym->localof->name : "-null-"));
+             fprintf (afile, "%s_%d_%d", sym->name, sym->level, sym->block);
+           }
+
+         /* if is has an absolute address then generate
+            an equate for this no need to allocate space */
+         if (SPEC_ABSA (sym->etype))
+           {
+
+             if (options.debug || sym->level == 0)
+               fprintf (afile, " == 0x%04x\n", SPEC_ADDR (sym->etype));
+
+             fprintf (afile, "%s\t=\t0x%04x\n",
+                      sym->rname,
+                      SPEC_ADDR (sym->etype));
+           }
+         else
+           {
+             if (options.debug || sym->level == 0)
+               fprintf (afile, "==.\n");
+
+             /* allocate space */
+             fprintf (afile, "%s:\n", sym->rname);
+             fprintf (afile, "\t.ds\t0x%04x\n", (unsigned int) getSize (sym->type) & 0xffff);
+           }
+
+       }
     }
 }
 
 
-
 /*-----------------------------------------------------------------*/
 /* glue - the final glue that hold the whole thing together        */
 /*-----------------------------------------------------------------*/
-void pic14glue ()
+void
+picglue ()
 {
-    FILE *vFile;
-    FILE *asmFile;
-    FILE *ovrFile = tempfile();
-    int i;
-
-    addSetHead(&tmpfileSet,ovrFile);
-    /* print the global struct definitions */
-    if (options.debug)
-  cdbStructBlock (0,cdbFile);
-
-    vFile = tempfile();
-    /* PENDING: this isnt the best place but it will do */
-    if (port->general.glue_up_main) {
-  /* create the interrupt vector table */
-  pic14createInterruptVect (vFile);
-    }
+  char udata_name[80];
+  FILE *vFile;
+  FILE *asmFile;
+  FILE *ovrFile = tempfile();
 
-    addSetHead(&tmpfileSet,vFile);
+  addSetHead(&tmpfileSet,ovrFile);
+  pCodeInitRegisters();
 
-    /* emit code for the all the variables declared */
-    pic14emitMaps ();
-    /* do the overlay segments */
-    pic14emitOverlay(ovrFile);
+  if (mainf && IFFUNC_HASBODY(mainf->type)) {
 
-    /* now put it all together into the assembler file */
-    /* create the assembler file name */
+    pBlock *pb = newpCodeChain(NULL,'X',newpCodeCharP("; Starting pCode block"));
+    addpBlock(pb);
 
-    if (!options.c1mode) {
-  sprintf (buffer, srcFileName);
-  strcat (buffer, ".asm");
-    }
-    else {
-  strcpy(buffer, options.out_name);
-    }
+    /* entry point @ start of CSEG */
+    addpCode2pBlock(pb,newpCodeLabel("__sdcc_program_startup",-1));
+    /* put in the call to main */
+    addpCode2pBlock(pb,newpCode(POC_CALL,newpCodeOp("_main",PO_STR)));
 
-    if (!(asmFile = fopen (buffer, "w"))) {
-  werror (E_FILE_OPEN_ERR, buffer);
-  exit (1);
-    }
+    if (options.mainreturn) {
 
-    /* initial comments */
-    pic14initialComments (asmFile);
+      addpCode2pBlock(pb,newpCodeCharP(";\treturn from main will return to caller\n"));
+      addpCode2pBlock(pb,newpCode(POC_RETURN,NULL));
 
-    /* print module name */
-    fprintf (asmFile, ";\t.module %s\n", moduleName);
+    } else {
+
+      addpCode2pBlock(pb,newpCodeCharP(";\treturn from main will lock up\n"));
+      addpCode2pBlock(pb,newpCode(POC_GOTO,newpCodeOp("$",PO_STR)));
 
-    /* Let the port generate any global directives, etc. */
-    if (port->genAssemblerPreamble)
-    {
-      port->genAssemblerPreamble(asmFile);
     }
+  }
 
-    /* print the global variables in this module */
-    pic14printPublics (asmFile);
 
+  /* At this point we've got all the code in the form of pCode structures */
+  /* Now it needs to be rearranged into the order it should be placed in the */
+  /* code space */
 
-    /* copy the sfr segment */
-    fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, "; special function registers\n");
-    fprintf (asmFile, "%s", iComments2);
-    copyFile (asmFile, sfr->oFile);
+  movepBlock2Head('P');              // Last
+  movepBlock2Head(code->dbName);
+  movepBlock2Head('X');
+  movepBlock2Head(statsg->dbName);   // First
 
 
-    /* Put all variables into a cblock */
-    fprintf (asmFile, "\n\n\tcblock  0x13\n\n");
+  /* print the global struct definitions */
+  if (options.debug)
+    cdbStructBlock (0);
 
-    for(i=0; i<pic14_nRegs; i++) {
-      if(regspic14[i].wasUsed && (regspic14[i].offset>=0x0c) )
-  fprintf (asmFile, "\t%s\n",regspic14[i].name);
-    }
-    //fprintf (asmFile, "\tr0x0C\n");
-    //fprintf (asmFile, "\tr0x0D\n");
+  vFile = tempfile();
 
-    /* For now, create a "dpl" and a "dph" in the register space */
-    /* of the pic so that we can use the same calling mechanism */
-    /* as the 8051 port */
-    fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, "; dpl and dph to emulate the 8051 calling mechanism \n");
-    fprintf (asmFile, "%s", iComments2);
+  addSetHead(&tmpfileSet,vFile);
+    
+  /* emit code for the all the variables declared */
+  pic14emitMaps ();
+  /* do the overlay segments */
+  pic14emitOverlay(ovrFile);
 
-    fprintf (asmFile, "\tdph\n");
+  /* PENDING: this isnt the best place but it will do */
+  if (port->general.glue_up_main) {
+    /* create the interrupt vector table */
+    pic14createInterruptVect (vFile);
+  }
 
+  AnalyzepCode('*');
 
+  ReuseReg(); // ReuseReg where call tree permits
 
-    /* copy the sbit segment */
-    fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, "; special function bits \n");
-    fprintf (asmFile, "%s", iComments2);
-    copyFile (asmFile, sfrbit->oFile);
+  InlinepCode();
 
-    /* copy the data segment */
-    fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, "; internal ram data\n");
-    fprintf (asmFile, "%s", iComments2);
-    copyFile (asmFile, data->oFile);
+  AnalyzepCode('*');
 
+  pcode_test();
 
-    /* create the overlay segments */
-    fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, "; overlayable items in internal ram \n");
-    fprintf (asmFile, "%s", iComments2);
-    copyFile (asmFile, ovrFile);
 
-    /* create the stack segment MOF */
-    if (mainf && mainf->fbody) {
-  fprintf (asmFile, "%s", iComments2);
-  fprintf (asmFile, "; Stack segment in internal ram \n");
-  fprintf (asmFile, "%s", iComments2);
-  fprintf (asmFile, ";\t.area\tSSEG\t(DATA)\n"
-     ";__start__stack:\n;\t.ds\t1\n\n");
+  /* now put it all together into the assembler file */
+  /* create the assembler file name */
+    
+  if ((noAssemble || options.c1mode) && fullDstFileName)
+    {
+      sprintf (buffer, fullDstFileName);
+    }
+  else
+    {
+      sprintf (buffer, dstFileName);
+      strcat (buffer, ".asm");
     }
 
-    /* create the idata segment */
-    fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, "; indirectly addressable internal ram data\n");
-    fprintf (asmFile, "%s", iComments2);
-    copyFile (asmFile, idata->oFile);
+  if (!(asmFile = fopen (buffer, "w"))) {
+    werror (E_FILE_OPEN_ERR, buffer);
+    exit (1);
+  }
+    
+  /* initial comments */
+  pic14initialComments (asmFile);
+    
+  /* print module name */
+  fprintf (asmFile, ";\t.module %s\n", moduleName);
+    
+  /* Let the port generate any global directives, etc. */
+  if (port->genAssemblerPreamble)
+    {
+      port->genAssemblerPreamble(asmFile);
+    }
+    
+  /* print the extern variables in this module */
+  pic14printExterns (asmFile);
 
-    /* if external stack then reserve space of it */
-    if (mainf && mainf->fbody && options.useXstack ) {
+  /* print the global variables in this module */
+  pic14printPublics (asmFile);
+
+  /* copy the sfr segment */
   fprintf (asmFile, "%s", iComments2);
-  fprintf (asmFile, "; external stack \n");
+  fprintf (asmFile, "; special function registers\n");
   fprintf (asmFile, "%s", iComments2);
-  fprintf (asmFile,";\t.area XSEG (XDATA)\n"); /* MOF */
-  fprintf (asmFile,";\t.ds 256\n");
-    }
+  copyFile (asmFile, sfr->oFile);
 
+  
+  if (udata_section_name) {
+    sprintf(udata_name,"%s",udata_section_name);
+  } else {
+    sprintf(udata_name,"data_%s",moduleName);
+  }
+  fprintf (asmFile, "%s", iComments2);
+  fprintf (asmFile, "; udata\n");
+  fprintf (asmFile, "%s", iComments2);
+  fprintf (asmFile, "%s\tudata\n", udata_name);
+  copyFile (asmFile, data->oFile);
 
-    /* copy xtern ram data */
-    fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, "; external ram data\n");
-    fprintf (asmFile, "%s", iComments2);
-    copyFile (asmFile, xdata->oFile);
+  /* Put all variables into a cblock */
+  AnalyzeBanking();
+  writeUsedRegs(asmFile);
 
+  /* create the overlay segments */
+  fprintf (asmFile, "%s", iComments2);
+  fprintf (asmFile, "; overlayable items in internal ram \n");
+  fprintf (asmFile, "%s", iComments2);    
+  copyFile (asmFile, ovrFile);
 
-    fprintf (asmFile, "\tendc\n");
+#if 0
 
+  /* create the stack segment MOF */
+  if (mainf && IFFUNC_HASBODY(mainf->type)) {
+    fprintf (asmFile, "%s", iComments2);
+    fprintf (asmFile, "; Stack segment in internal ram \n");
+    fprintf (asmFile, "%s", iComments2);    
+    fprintf (asmFile, ";\t.area\tSSEG\t(DATA)\n"
+            ";__start__stack:\n;\t.ds\t1\n\n");
+  }
 
-    /* copy the bit segment */
+  /* create the idata segment */
+  fprintf (asmFile, "%s", iComments2);
+  fprintf (asmFile, "; indirectly addressable internal ram data\n");
+  fprintf (asmFile, "%s", iComments2);
+  copyFile (asmFile, idata->oFile);
+    
+  /* if external stack then reserve space of it */
+  if (mainf && IFFUNC_HASBODY(mainf->type) && options.useXstack ) {
     fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, "; bit data\n");
+    fprintf (asmFile, "; external stack \n");
     fprintf (asmFile, "%s", iComments2);
-    copyFile (asmFile, bit->oFile);
+    fprintf (asmFile,";\t.area XSEG (XDATA)\n"); /* MOF */
+    fprintf (asmFile,";\t.ds 256\n");
+  }
 
+  /* copy xtern ram data */
+  fprintf (asmFile, "%s", iComments2);
+  fprintf (asmFile, "; external ram data\n");
+  fprintf (asmFile, "%s", iComments2);
+  copyFile (asmFile, xdata->oFile);
 
-    fprintf (asmFile, "\tORG 0\n");
+#endif
 
-    /* copy the interrupt vector table */
-    if (mainf && mainf->fbody) {
+  /* copy the bit segment */
   fprintf (asmFile, "%s", iComments2);
-  fprintf (asmFile, "; interrupt vector \n");
+  fprintf (asmFile, "; bit data\n");
   fprintf (asmFile, "%s", iComments2);
-  copyFile (asmFile, vFile);
-    }
+  copyFile (asmFile, bit->oFile);
 
-    /* copy global & static initialisations */
+  /* copy the interrupt vector table */
+  if (mainf && IFFUNC_HASBODY(mainf->type)) {
+    copyFile (asmFile, vFile);
+    
     fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, "; global & static initialisations\n");
+    fprintf (asmFile, "; interrupt and initialization code\n");
     fprintf (asmFile, "%s", iComments2);
-
-    /* Everywhere we generate a reference to the static_name area,
-     * (which is currently only here), we immediately follow it with a
-     * definition of the post_static_name area. This guarantees that
-     * the post_static_name area will immediately follow the static_name
-     * area.
-     */
-    fprintf (asmFile, ";\t.area %s\n", port->mem.static_name); /* MOF */
-    fprintf (asmFile, ";\t.area %s\n", port->mem.post_static_name);
-    fprintf (asmFile, ";\t.area %s\n", port->mem.static_name);
-
-    if (mainf && mainf->fbody) {
-  fprintf (asmFile,"__sdcc_gsinit_startup:\n");
-  /* if external stack is specified then the
-     higher order byte of the xdatalocation is
-     going into P2 and the lower order going into
-     spx */
-  if (options.useXstack) {
-      fprintf(asmFile,";\tmov\tP2,#0x%02x\n",
-        (((unsigned int)options.xdata_loc) >> 8) & 0xff);
-      fprintf(asmFile,";\tmov\t_spx,#0x%02x\n",
-        (unsigned int)options.xdata_loc & 0xff);
+    fprintf (asmFile, "code_init\t%s\t0x4\n", CODE_NAME); // Note - for mplink may have to enlarge section vectors in .lnk file
+
+    /* interrupt service routine */
+    fprintf (asmFile, "__sdcc_interrupt:\n");
+    copypCode(asmFile, 'I');
+
+    /* initialize data memory */
+    fprintf (asmFile,"__sdcc_gsinit_startup:\n");
+    /* FIXME: This is temporary.  The idata section should be used.  If 
+       not, we could add a special feature to the linker.  This will 
+       work in the mean time.  Put all initalized data in main.c */
+    copypCode(asmFile, statsg->dbName);
+    fprintf (asmFile,"\tpagesel _main\n");
+    fprintf (asmFile,"\tgoto _main\n");
   }
 
-  /* initialise the stack pointer */
-  /* if the user specified a value then use it */
-  if (options.stack_loc)
-      fprintf(asmFile,";\tmov\tsp,#%d\n",options.stack_loc);
-  else
-      /* no: we have to compute it */
-      if (!options.stackOnData && maxRegBank <= 3)
-    fprintf(asmFile,";\tmov\tsp,#%d\n",((maxRegBank + 1) * 8) -1);
-      else
-    fprintf(asmFile,";\tmov\tsp,#__start__stack\n"); /* MOF */
+#if 0    
 
-  fprintf (asmFile,";\tlcall\t__sdcc_external_startup\n");
-  fprintf (asmFile,";\tmov\ta,dpl\n");
-  fprintf (asmFile,";\tjz\t__sdcc_init_data\n");
-  fprintf (asmFile,";\tljmp\t__sdcc_program_startup\n");
-  fprintf (asmFile,";__sdcc_init_data:\n");
-
-    }
-    copyFile (asmFile, statsg->oFile);
-
-    if (port->general.glue_up_main && mainf && mainf->fbody)
-    {
-        /* This code is generated in the post-static area.
-         * This area is guaranteed to follow the static area
-         * by the ugly shucking and jiving about 20 lines ago.
-         */
-      fprintf(asmFile, ";\t.area %s\n", port->mem.post_static_name);
-  fprintf (asmFile,";\tljmp\t__sdcc_program_startup\n");
-    }
+  /* copy global & static initialisations */
+  fprintf (asmFile, "%s", iComments2);
+  fprintf (asmFile, "; global & static initialisations\n");
+  fprintf (asmFile, "%s", iComments2);
+  copypCode(asmFile, statsg->dbName);
 
-    /* copy over code */
-    fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, "; code\n");
-    fprintf (asmFile, "%s", iComments2);
-    fprintf (asmFile, ";\t.area %s\n", port->mem.code_name);
-    if (mainf && mainf->fbody) {
+#endif
 
-  /* entry point @ start of CSEG */
-  fprintf (asmFile,"__sdcc_program_startup:\n");
+  /* copy over code */
+  fprintf (asmFile, "%s", iComments2);
+  fprintf (asmFile, "; code\n");
+  fprintf (asmFile, "%s", iComments2);
+  fprintf (asmFile, "code_%s\t%s\n", moduleName, port->mem.code_name);
 
-  /* put in the call to main */
-  fprintf(asmFile,"\tcall\t_main\n");
-  if (options.mainreturn) {
+  /* unknown */
+  copypCode(asmFile, 'X');
+  
+  /* _main function */
+  copypCode(asmFile, 'M');
 
-      fprintf(asmFile,";\treturn from main ; will return to caller\n");
-      fprintf(asmFile,"\treturn\n");
+  /* other functions */
+  copypCode(asmFile, code->dbName);
 
-  } else {
+  /* unknown */
+  copypCode(asmFile, 'P');
 
-      fprintf(asmFile,";\treturn from main will lock up\n");
-      fprintf(asmFile,"\tgoto\t$\n");
-  }
-    }
-    copyFile (asmFile, code->oFile);
+  fprintf (asmFile,"\tend\n");
 
-    fprintf (asmFile,"\tend\n");
+  fclose (asmFile);
 
-    fclose (asmFile);
-    applyToSet(tmpfileSet,closeTmpFiles);
-    applyToSet(tmpfileNameSet, rmTmpFiles);
+  rm_tmpfiles();
 }