Implemented builtin functions
[fw/sdcc] / src / ds390 / main.c
index 68e24823c424ebf1168308850a0ec3b7f47fc47a..d3215509b982ed6a2c16c6f277e1da480108204e 100644 (file)
@@ -15,254 +15,320 @@ static char _defaultRules[] =
 };
 
 /* list of key words used by msc51 */
-static char *_ds390_keywords[] =     {
-    "at",
-    "bit",
-    "code",
-    "critical",
-    "data",
-    "far",
-    "idata",
-    "interrupt",
-    "near",
-    "pdata",
-    "reentrant",
-    "sfr",
-    "sbit",
-    "using",
-    "xdata",
-    "_data",
-    "_code",
-    "_generic",
-    "_near",
-    "_xdata",
-    "_pdata",
-    "_idata",
-    NULL
+static char *_ds390_keywords[] =
+{
+  "at",
+  "bit",
+  "code",
+  "critical",
+  "data",
+  "far",
+  "idata",
+  "interrupt",
+  "near",
+  "pdata",
+  "reentrant",
+  "sfr",
+  "sbit",
+  "using",
+  "xdata",
+  "_data",
+  "_code",
+  "_generic",
+  "_near",
+  "_xdata",
+  "_pdata",
+  "_idata",
+  "_naked",
+  NULL
 };
 
+static builtins __ds390_builtins[] = {
+    { "__builtin_memcpy_x2x","v",3,{"cx*","cx*","i"}}, /* void __builtin_memcpy_x2x (xdata char *,xdata char *,int) */
+    { "__builtin_memcpy_c2x","v",3,{"cx*","cp*","i"}}, /* void __builtin_memcpy_c2x (xdata char *,code  char *,int) */
+    { NULL , NULL,0, {NULL}}                      /* mark end of table */
+};    
+void ds390_assignRegisters (eBBlock ** ebbs, int count);
 
-void ds390_assignRegisters (eBBlock **ebbs, int count);
-
-static int regParmFlg = 0; /* determine if we can register a parameter */
+static int regParmFlg = 0;     /* determine if we can register a parameter */
 
-static void _ds390_init(void)
+static void
+_ds390_init (void)
 {
-    asm_addTree(&asm_asxxxx_mapping);
+  asm_addTree (&asm_asxxxx_mapping);
 }
 
-static void _ds390_reset_regparm()
+static void
+_ds390_reset_regparm ()
 {
-    regParmFlg = 0;
+  regParmFlg = 0;
 }
 
-static int _ds390_regparm( sym_link *l)
+static int
+_ds390_regparm (sym_link * l)
 {
-    /* for this processor it is simple
-       can pass only the first parameter in a register */
-    if (regParmFlg)
-       return 0;
+  /* for this processor it is simple
+     can pass only the first parameter in a register */
+  if (regParmFlg)
+    return 0;
 
-    regParmFlg = 1;
-    return 1;
+  regParmFlg = 1;
+  return 1;
 }
 
-static bool _ds390_parseOptions(int *pargc, char **argv, int *i)
+static bool
+_ds390_parseOptions (int *pargc, char **argv, int *i)
 {
-    /* TODO: allow port-specific command line options to specify
-     * segment names here.
-     */
-    return FALSE;
+  /* TODO: allow port-specific command line options to specify
+   * segment names here.
+   */
+  return FALSE;
 }
 
-static void _ds390_finaliseOptions(void)
+static void
+_ds390_finaliseOptions (void)
 {
-    /* Hack-o-matic: if we are using the flat24 model,
-     * adjust pointer sizes.
-     */
-    if (options.model != MODEL_FLAT24)
-    {
-       fprintf(stderr, 
-               "*** warning: ds390 port only supports the flat24 model.\n");    
-       options.model = MODEL_FLAT24;
-    }
+  /* Hack-o-matic: if we are using the flat24 model,
+   * adjust pointer sizes.
+   */
+  if (options.model != MODEL_FLAT24)  {
+      fprintf (stderr,
+              "*** warning: ds390 port small and large model experimental.\n");
+      if (options.model == MODEL_LARGE)
+      {
+        port->mem.default_local_map = xdata;
+        port->mem.default_globl_map = xdata;
+      }
+      else
+      {
+        port->mem.default_local_map = data;
+        port->mem.default_globl_map = data;
+      }
+  }
+  else {
     port->s.fptr_size = 3;
     port->s.gptr_size = 4;
-    port->stack.isr_overhead++;   /* Will save dpx on ISR entry. */
-#if 1
-    port->stack.call_overhead++;          /* This acounts for the extra byte 
-                                           * of return addres on the stack.
-                                           * but is ugly. There must be a 
-                                           * better way.
-                                           */
-#endif
 
-    if (options.model) {
-       port->mem.default_local_map = xdata;
-       port->mem.default_globl_map = xdata;
+    port->stack.isr_overhead += 2;     /* Will save dpx on ISR entry. */
+
+    port->stack.call_overhead += 2;    /* This acounts for the extra byte 
+                                * of return addres on the stack.
+                                * but is ugly. There must be a 
+                                * better way.
+                                */
+
+    port->mem.default_local_map = xdata;
+    port->mem.default_globl_map = xdata;
+
+    if (!options.stack10bit)
+    {
+    fprintf (stderr,
+            "*** error: ds390 port only supports the 10 bit stack mode.\n");
     } else {
-       port->mem.default_local_map = data;
-       port->mem.default_globl_map = data;
+       if (!options.stack_loc) options.stack_loc = 0x400000;
     }
     
-    if (options.stack10bit)
-    {
-       if (options.model != MODEL_FLAT24)
-       {
-            fprintf(stderr, 
-                   "*** warning: 10 bit stack mode is only supported in flat24 model.\n");
-            fprintf(stderr, "\t10 bit stack mode disabled.\n");
-            options.stack10bit = 0;
-        }
-        else
-        {
-            /* Fixup the memory map for the stack; it is now in
-             * far space and requires a FPOINTER to access it.
-             */
-            istack->fmap = 1;
-            istack->ptrType = FPOINTER; 
-        }
-    }
+    /* generate native code 16*16 mul/div */
+    if (options.useAccelerator) 
+           port->support.muldiv=2;
+    else 
+           port->support.muldiv=1;
+
+     /* Fixup the memory map for the stack; it is now in
+     * far space and requires a FPOINTER to access it.
+     */
+    istack->fmap = 1;
+    istack->ptrType = FPOINTER;
+  }  /* MODEL_FLAT24 */
 }
 
-static void _ds390_setDefaultOptions(void)
+static void
+_ds390_setDefaultOptions (void)
 {
+  options.model=MODEL_FLAT24;
+  options.stack10bit=1;
 }
 
-static const char *_ds390_getRegName(struct regs *reg)
+static const char *
+_ds390_getRegName (struct regs *reg)
 {
-    if (reg)
-       return reg->name;
-    return "err";
+  if (reg)
+    return reg->name;
+  return "err";
 }
 
-static void _ds390_genAssemblerPreamble(FILE *of)
+static void
+_ds390_genAssemblerPreamble (FILE * of)
 {
-   if (options.model == MODEL_FLAT24)
-   {
-       fputs(".flat24 on\t\t; 24 bit flat addressing\n", of);
-       fputs("dpx = 0x93\t\t; dpx register unknown to assembler\n", of);
-       fputs("dps = 0x86\t\t; dps register unknown to assembler\n", of);
-       fputs("dpl1 = 0x84\t\t; dpl1 register unknown to assembler\n", of);
-       fputs("dph1 = 0x85\t\t; dph1 register unknown to assembler\n", of);
-       fputs("dpx1 = 0x95\t\t; dpx1 register unknown to assembler\n", of);
-       fputs("ap = 0x9C\t\t; ap register unknown to assembler\n", of);       
-   }
+      if (options.model == MODEL_FLAT24)
+        fputs (".flat24 on\t\t; 24 bit flat addressing\n", of);
+
+      fputs ("dpx = 0x93\t\t; dpx register unknown to assembler\n", of);
+      fputs ("dps = 0x86\t\t; dps register unknown to assembler\n", of);
+      fputs ("dpl1 = 0x84\t\t; dpl1 register unknown to assembler\n", of);
+      fputs ("dph1 = 0x85\t\t; dph1 register unknown to assembler\n", of);
+      fputs ("dpx1 = 0x95\t\t; dpx1 register unknown to assembler\n", of);
+      fputs ("ap = 0x9C\t\t; ap register unknown to assembler\n", of);
+      fputs ("mcnt0 = 0xD1\t\t; mcnt0 register unknown to assembler\n", of);
+      fputs ("mcnt1 = 0xD2\t\t; mcnt1 register unknown to assembler\n", of);
+      fputs ("ma = 0xD3\t\t; ma register unknown to assembler\n", of);
+      fputs ("mb = 0xD4\t\t; mb register unknown to assembler\n", of);
+      fputs ("mc = 0xD5\t\t; mc register unknown to assembler\n", of);
+      fputs ("F1 = 0xD1\t\t; F1 user flag unknown to assembler\n", of);
+      fputs ("esp = 0x9B\t\t; ESP user flag unknown to assembler\n", of);
 }
 
 /* Generate interrupt vector table. */
-static int _ds390_genIVT(FILE *of, symbol **interrupts, int maxInterrupts)
+static int
+_ds390_genIVT (FILE * of, symbol ** interrupts, int maxInterrupts)
 {
-    int i;
-    
-    if (options.model != MODEL_FLAT24)
+  int i;
+
+  if (options.model != MODEL_FLAT24)
     {
-        /* Let the default code handle it. */
-       return FALSE;
+      /* Let the default code handle it. */
+      return FALSE;
     }
-    
-    fprintf (of, "\tajmp\t__sdcc_gsinit_startup\n");
-    
-    /* now for the other interrupts */
-    for (i = 0; i < maxInterrupts; i++) 
+
+  fprintf (of, "\tajmp\t__sdcc_gsinit_startup\n");
+
+  /* now for the other interrupts */
+  for (i = 0; i < maxInterrupts; i++)
     {
-       if (interrupts[i])
+      if (interrupts[i])
        {
-           fprintf(of, "\tljmp\t%s\n\t.ds\t4\n", interrupts[i]->rname);
+         fprintf (of, "\tljmp\t%s\n\t.ds\t4\n", interrupts[i]->rname);
        }
-       else
+      else
        {
-           fprintf(of, "\treti\n\t.ds\t7\n");
+         fprintf (of, "\treti\n\t.ds\t7\n");
        }
     }
-    
-    return TRUE;
+
+  return TRUE;
 }
 
+/* Do CSE estimation */
+static bool cseCostEstimation (iCode *ic, iCode *pdic)
+{
+    operand *result = IC_RESULT(ic);
+    //operand *right  = IC_RIGHT(ic);
+    //operand *left   = IC_LEFT(ic);
+    sym_link *result_type = operandType(result);
+    //sym_link *right_type  = (right ? operandType(right) : 0);
+    //sym_link *left_type   = (left  ? operandType(left)  : 0);
+    
+    /* if it is a pointer then return ok for now */
+    if (IC_RESULT(ic) && IS_PTR(result_type)) return 1;
+    
+    /* if bitwise | add & subtract then no since mcs51 is pretty good at it 
+       so we will cse only if they are local (i.e. both ic & pdic belong to
+       the same basic block */
+    if (IS_BITWISE_OP(ic) || ic->op == '+' || ic->op == '-') {
+       /* then if they are the same Basic block then ok */
+       if (ic->eBBlockNum == pdic->eBBlockNum) return 1;
+       else return 0;
+    }
+       
+    /* for others it is cheaper to do the cse */
+    return 1;
+}
 /** $1 is always the basename.
     $2 is always the output file.
     $3 varies
     $l is the list of extra options that should be there somewhere...
     MUST be terminated with a NULL.
 */
-static const char *_linkCmd[] = {
-    "aslink", "-nf", "$1", NULL
+static const char *_linkCmd[] =
+{
+  "aslink", "-nf", "$1", NULL
 };
 
-static const char *_asmCmd[] = {
-    "asx8051", "-plosgff", "$1.asm", NULL
+/* $3 is replaced by assembler.debug_opts resp. port->assembler.plain_opts */   static const char *_asmCmd[] =
+{
+  "asx8051", "$l", "$3", "$1.asm", NULL
 };
 
 /* Globals */
-PORT ds390_port = {
-    "ds390",
-    "DS80C390",                        /* Target name */
-    {
-       TRUE,                   /* Emit glue around main */
-       MODEL_SMALL | MODEL_LARGE | MODEL_FLAT24,
-       MODEL_SMALL
-    },
-    {  
-       _asmCmd,
-       "-plosgffc",            /* Options with debug */
-       "-plosgff",             /* Options without debug */
-       0
-    },
-    {
-       _linkCmd,
-       NULL,
-       ".rel"
-    },
-    {
-       _defaultRules
-    },
-    {
-       /* Sizes: char, short, int, long, ptr, fptr, gptr, bit, float, max */
-       1, 1, 2, 4, 1, 2, 3, 1, 4, 4
-    },
-    {
-       "XSEG    (XDATA)",
-       "STACK   (DATA)",
-       "CSEG    (CODE)",
-       "DSEG    (DATA)",
-       "ISEG    (DATA)",
-       "XSEG    (XDATA)",
-       "BSEG    (BIT)",
-       "RSEG    (DATA)",
-       "GSINIT  (CODE)",
-       "OSEG    (OVR,DATA)",
-       "GSFINAL (CODE)",
-       "HOME    (CODE)",
-       NULL,
-       NULL,
-       1
-    },
-    { 
-       +1, 1, 4, 1, 1, 0
-    },
-    /* ds390 has an 8 bit mul */
-    {
-       1, 0
-    },
-    "_",
-    _ds390_init,
-    _ds390_parseOptions,
-    _ds390_finaliseOptions,
-    _ds390_setDefaultOptions,
-    ds390_assignRegisters,
-    _ds390_getRegName ,
-    _ds390_keywords,
-    _ds390_genAssemblerPreamble,
-    _ds390_genIVT ,
-    _ds390_reset_regparm,
-    _ds390_regparm,
+PORT ds390_port =
+{
+  TARGET_ID_DS390,
+  "ds390",
+  "DS80C390",                  /* Target name */
+  {
+    TRUE,                      /* Emit glue around main */
+    MODEL_SMALL | MODEL_LARGE | MODEL_FLAT24,
+    MODEL_SMALL
+  },
+  {
+    _asmCmd,
     NULL,
-    FALSE,
-    0,  /* leave lt */
-    0,  /* leave gt */
-    1,  /* transform <= to ! > */
-    1,  /* transform >= to ! < */
-    1,  /* transform != to !(a == b) */
-    0   /* leave == */
+    "-plosgffc",               /* Options with debug */
+    "-plosgff",                        /* Options without debug */
+    0,
+    ".asm"
+  },
+  {
+    _linkCmd,
+    NULL,
+    NULL,
+    ".rel"
+  },
+  {
+    _defaultRules
+  },
+  {
+       /* Sizes: char, short, int, long, ptr, fptr, gptr, bit, float, max */
+    1, 2, 2, 4, 1, 2, 3, 1, 4, 4
+  },
+  {
+    "XSEG    (XDATA)",
+    "STACK   (DATA)",
+    "CSEG    (CODE)",
+    "DSEG    (DATA)",
+    "ISEG    (DATA)",
+    "XSEG    (XDATA)",
+    "BSEG    (BIT)",
+    "RSEG    (DATA)",
+    "GSINIT  (CODE)",
+    "OSEG    (OVR,DATA)",
+    "GSFINAL (CODE)",
+    "HOME       (CODE)",
+    NULL,
+    NULL,
+    1
+  },
+  {
+    +1, 1, 4, 1, 1, 0
+  },
+    /* ds390 has an 16 bit mul & div */
+  {
+    2, -1
+  },
+  "_",
+  _ds390_init,
+  _ds390_parseOptions,
+  _ds390_finaliseOptions,
+  _ds390_setDefaultOptions,
+  ds390_assignRegisters,
+  _ds390_getRegName,
+  _ds390_keywords,
+  _ds390_genAssemblerPreamble,
+  _ds390_genIVT,
+  _ds390_reset_regparm,
+  _ds390_regparm,
+  NULL,
+  NULL,
+  NULL,
+  FALSE,
+  0,                           /* leave lt */
+  0,                           /* leave gt */
+  1,                           /* transform <= to ! > */
+  1,                           /* transform >= to ! < */
+  1,                           /* transform != to !(a == b) */
+  0,                           /* leave == */
+  TRUE,                         /* we support array initializers. */
+  cseCostEstimation,
+  __ds390_builtins,             /* table of builtin functions */
+  PORT_MAGIC
 };
-