Oops

[fw/sdcc] / src / mcs51 / ralloc.c

diff --git a/src/mcs51/ralloc.c b/src/mcs51/ralloc.c
index 6be33c026df4f02c1dad728f02452fe7420cb9c2..a97776bea7b6b80c9b5534bd6feb75f8a27d5215 100644 (file)
--- a/src/mcs51/ralloc.c
+++ b/src/mcs51/ralloc.c
@@ -1107,6 +1107,18 @@ serialRegAssign (eBBlock ** ebbs, int count)
 
        /* of all instructions do */
        for (ic = ebbs[i]->sch; ic; ic = ic->next) {
+#if 1
+           int reg;
+
+           // update the registers in use at the start of this icode
+           for (reg=0; reg<mcs51_nRegs; reg++) {
+             if (regs8051[reg].isFree) {
+               ic->riu &= ~(1<<regs8051[reg].offset);
+             } else {
+               ic->riu |= (1<<regs8051[reg].offset);
+             }
+           }
+#endif
 
            /* if this is an ipop that means some live
               range will have to be assigned again */
@@ -1562,30 +1574,6 @@ regTypeNum (eBBlock *ebbs)
              continue;
            }
 
-#ifdef RANGEHUNT
-         /* if this symbol has only one usage and that is an assignment
-            to a ruonly, we don't need registers */
-         // if this symbol has only one def
-         if (bitVectnBitsOn (sym->defs)==1) {
-           printf ("sym: %s has only one usage", sym->name);
-           // find that usage
-           if ((ic = hTabItemWithKey (iCodehTab, bitVectFirstBit (sym->defs)))) {
-             if (ic->op==CALL) {
-               printf (" for a call ");
-               // if this is only assigned to a ruonly
-               if ((ic = hTabItemWithKey (iCodehTab, bitVectFirstBit (sym->defs)))) {
-                 if (ic->op=='=') {
-                   if (OP_SYMBOL(IC_RESULT(ic))->ruonly) {
-                     printf("regTypeNum: %s assigned to %s\n", \
-                            sym->name, OP_SYMBOL(IC_RESULT(ic))->name); 
-                   }
-                 }
-               }
-             }
-           }
-         }
-#endif
-
          /* if the symbol has only one definition &
             that definition is a get_pointer */
          if (bitVectnBitsOn (sym->defs) == 1 &&
@@ -1775,12 +1763,19 @@ packRegsForAssign (iCode * ic, eBBlock * ebp)
      we cannot */
   for (dic = ic->prev; dic; dic = dic->prev)
     {
+
+#if 0 /* jwk: This collides with 1.43 but I really see no need for
+        this anymore. It fixes bug #716790 and substantially improves 
+        redundant register usage around function calls.
+      */
+
       /* if there is a function call then don't pack it */
       if ((dic->op == CALL || dic->op == PCALL))
        {
          dic = NULL;
          break;
        }
+#endif
 
       if (SKIP_IC2 (dic))
        continue;
@@ -2007,7 +2002,7 @@ reassignAliasedSym (eBBlock *ebp, iCode *assignment, iCode *use, operand *op)
 
   /* update the sym's liverange */
   if ( OP_LIVETO(op) < ic->seq )
-    setToRange(op, ic->seq, FALSE, OP_SYMBOL(op)->level);
+    setToRange(op, ic->seq, FALSE);
 
   /* remove the assignment iCode now that its result is unused */
   remiCodeFromeBBlock (ebp, assignment);
@@ -2589,7 +2584,8 @@ packRegisters (eBBlock ** ebpp, int blockno)
         cast is remat, then we can remat this cast as well */
       if (ic->op == CAST && 
          IS_SYMOP(IC_RIGHT(ic)) &&
-         OP_SYMBOL(IC_RIGHT(ic))->remat ) {
+         OP_SYMBOL(IC_RIGHT(ic))->remat &&
+         bitVectnBitsOn (OP_DEFS (IC_RESULT (ic))) == 1) {
              sym_link *to_type = operandType(IC_LEFT(ic));
              sym_link *from_type = operandType(IC_RIGHT(ic));
              if (IS_GENPTR(to_type) && IS_PTR(from_type)) {                  
@@ -2790,6 +2786,7 @@ mcs51_assignRegisters (eBBlock ** ebbs, int count)
   int i;
 
   setToNull ((void *) &_G.funcrUsed);
+  setToNull ((void *) &_G.regAssigned);
   setToNull ((void *) &_G.totRegAssigned);
   mcs51_ptrRegReq = _G.stackExtend = _G.dataExtend = 0;
   mcs51_nRegs = 8;
@@ -2810,6 +2807,8 @@ mcs51_assignRegisters (eBBlock ** ebbs, int count)
   serialRegAssign (ebbs, count);
 
   freeAllRegs ();
+  //setToNull ((void *) &_G.regAssigned);
+  //setToNull ((void *) &_G.totRegAssigned);
   fillGaps();
 
   /* if stack was extended then tell the user */
@@ -2832,7 +2831,9 @@ mcs51_assignRegisters (eBBlock ** ebbs, int count)
   createRegMask (ebbs, count);
 
   /* redo that offsets for stacked automatic variables */
-  redoStackOffsets ();
+  if (currFunc) {
+    redoStackOffsets ();
+  }
 
   if (options.dump_rassgn)
     {