X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2FSDCCopt.c;h=94ee6e187b5d0231dc418575b510578387eb20cd;hb=0afa69a4ac8042ea5c29b253bd9b11bf5525f45d;hp=cfb416d92d94f93501404ec6cb7c01f54276f4b8;hpb=46c123c612c63aa8c410e3d559d88a3255d83325;p=fw%2Fsdcc

diff --git a/src/SDCCopt.c b/src/SDCCopt.c
index cfb416d9..94ee6e18 100644
--- a/src/SDCCopt.c
+++ b/src/SDCCopt.c
@@ -176,7 +176,10 @@ cnvToFcall (iCode * ic, eBBlock * ebp)
   IC_RESULT (newic) = IC_RESULT (ic);
   newic->lineno = lineno;
   newic->parmBytes+=bytesPushed;
-
+  ebp->hasFcall = 1;
+  if (currFunc)
+    FUNC_HASFCALL (currFunc->type) = 1;
+    
   if(TARGET_IS_PIC16) {
 	/* normally these functions aren't marked external, so we can use their
 	 * _extern field to marked as already added to symbol table */
@@ -264,6 +267,9 @@ found:
   newic = newiCode (CALL, operandFromSymbol (func), NULL);
   IC_RESULT (newic) = IC_RESULT (ic);
   newic->parmBytes+=bytesPushed;
+  ebp->hasFcall = 1;
+  if (currFunc)
+    FUNC_HASFCALL (currFunc->type) = 1;
 
   if(TARGET_IS_PIC16) {
 	/* normally these functions aren't marked external, so we can use their
@@ -354,6 +360,9 @@ found:
   newic = newiCode (CALL, operandFromSymbol (func), NULL);
   IC_RESULT (newic) = IC_RESULT (ic);
   newic->parmBytes+=bytesPushed;
+  ebp->hasFcall = 1;
+  if (currFunc)
+    FUNC_HASFCALL (currFunc->type) = 1;
 
   if(TARGET_IS_PIC16) {
 	/* normally these functions aren't marked external, so we can use their
@@ -517,6 +526,9 @@ found:
   IC_RESULT (newic) = IC_RESULT (ic);
   newic->lineno = lineno;
   newic->parmBytes+=bytesPushed; // to clear the stack after the call
+  ebp->hasFcall = 1;
+  if (currFunc)
+    FUNC_HASFCALL (currFunc->type) = 1;
 
   if(TARGET_IS_PIC16) {
 	/* normally these functions aren't marked external, so we can use their
@@ -611,10 +623,7 @@ convertToFcall (eBBlock ** ebbs, int count)
 static int
 isLocalWithoutDef (symbol * sym)
 {
-  if (!sym->level)
-    return 0;
-  
-  if (IS_STATIC (sym->etype))
+  if (!IS_AUTO (sym))
     return 0;
   
   if (IS_VOLATILE (sym->type))
@@ -770,6 +779,51 @@ replaceRegEqv (eBBlock ** ebbs, int count)
     }
 }
 
+/*-----------------------------------------------------------------*/
+/* findReqv - search for a register equivalent                     */
+/*-----------------------------------------------------------------*/
+operand *
+findReqv (symbol * prereqv, eBBlock ** ebbs, int count)
+{
+  int i;
+  iCode * ic;
+  
+  /* for all blocks do */
+  for (i=0; i<count; i++)
+    {
+      /* for all instructions in the block do */
+      for (ic = ebbs[i]->sch; ic; ic = ic->next)
+	{
+	  if (ic->op == IFX)
+	    {
+	      if (IS_ITEMP (IC_COND (ic))
+		  && OP_SYMBOL (IC_COND (ic))->prereqv == prereqv)
+		return IC_COND (ic);
+	    }
+	  else if (ic->op == JUMPTABLE)
+	    {
+	      if (IS_ITEMP (IC_JTCOND (ic))
+		  && OP_SYMBOL (IC_JTCOND (ic))->prereqv == prereqv)
+		return IC_JTCOND (ic);
+	    }
+	  else
+	    {
+	      if (IS_ITEMP (IC_LEFT (ic))
+		  && OP_SYMBOL (IC_LEFT (ic))->prereqv == prereqv)
+		return IC_LEFT (ic);
+	      if (IS_ITEMP (IC_RIGHT (ic))
+		  && OP_SYMBOL (IC_RIGHT (ic))->prereqv == prereqv)
+		return IC_RIGHT (ic);
+	      if (IS_ITEMP (IC_RESULT (ic))
+		  && OP_SYMBOL (IC_RESULT (ic))->prereqv == prereqv)
+		return IC_RESULT (ic);
+	    }
+	}
+    }
+  
+  return NULL;
+}
+
 /*-----------------------------------------------------------------*/
 /* killDeadCode - eliminates dead assignments                      */
 /*-----------------------------------------------------------------*/
@@ -829,7 +883,8 @@ killDeadCode (eBBlock ** ebbs, int count)
 	      if (IC_RESULT (ic) && POINTER_SET (ic))
 		continue;
               
-              if (POINTER_GET (ic) && IS_VOLATILE (operandType (IC_LEFT (ic))->next))
+              if (POINTER_GET (ic) && IS_VOLATILE (operandType (IC_LEFT (ic))->next)
+	          && !SPIL_LOC (IC_RESULT (ic)))
                 continue;
 
 	      /* if the result is used in the remainder of the */
@@ -893,6 +948,16 @@ killDeadCode (eBBlock ** ebbs, int count)
 		        volRight = FALSE;
 		    }
 		  
+		  if (POINTER_GET (ic) && IS_VOLATILE (operandType (IC_LEFT (ic))->next))
+		    {
+		      if (SPIL_LOC (IC_RESULT (ic)))
+			{
+			  IC_RESULT (ic) = newiTempFromOp (IC_RESULT (ic));
+			  SPIL_LOC (IC_RESULT (ic)) = NULL;
+			}
+		      continue;
+		    }
+		  
 		  change = 1;
 		  gchange++;
 		  
@@ -903,6 +968,29 @@ killDeadCode (eBBlock ** ebbs, int count)
 		  /* and defset of the block */
 		  bitVectUnSetBit (ebbs[i]->defSet, ic->key);
 
+		  /* If this is the last of a register equivalent, */
+		  /* look for a successor register equivalent. */
+		  bitVectUnSetBit (OP_DEFS (IC_RESULT (ic)), ic->key);
+		  if (IS_ITEMP (IC_RESULT (ic))
+		      && OP_SYMBOL (IC_RESULT (ic))->isreqv
+		      && bitVectIsZero (OP_DEFS (IC_RESULT (ic))))
+		    {
+		      symbol * resultsym = OP_SYMBOL (IC_RESULT (ic));
+		      symbol * prereqv = resultsym->prereqv;
+		      
+		      if (OP_SYMBOL (prereqv->reqv) == resultsym)
+			{
+			  operand * newreqv;
+
+			  IC_RESULT (ic) = NULL;
+			  newreqv = findReqv (prereqv, ebbs, count);
+			  if (newreqv)
+			    {
+			      prereqv->reqv = newreqv;
+			    }
+			}
+		    }
+
 		  /* delete the result */
 		  IC_RESULT (ic) = NULL;