X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2FSDCCBBlock.c;h=dfa15ce269fef7bce0f310eff85c2bda68111fe4;hb=06dc1e51d1f8aafff46e1ccfdd4e72d914e1d3a1;hp=fd50e6a3b00b08df5a1e1715180d402c8b413c2e;hpb=cfacc9043f84988c742792b7907cb74f670589f1;p=fw%2Fsdcc

diff --git a/src/SDCCBBlock.c b/src/SDCCBBlock.c
index fd50e6a3..dfa15ce2 100644
--- a/src/SDCCBBlock.c
+++ b/src/SDCCBBlock.c
@@ -84,9 +84,9 @@ newEdge (eBBlock * from, eBBlock * to)
 }
 
 /*-----------------------------------------------------------------*/
-/* appendDumpFile - if not already created, create the dump file   */
+/* createDumpFile - create the dump file                           */
 /*-----------------------------------------------------------------*/
-FILE *appendDumpFile (int id) {
+FILE *createDumpFile (int id) {
   struct _dumpFiles *dumpFilesPtr=dumpFiles;
 
   while (dumpFilesPtr->id) {
@@ -96,7 +96,7 @@ FILE *appendDumpFile (int id) {
   }
 
   if (!dumpFilesPtr->id) {
-    fprintf (stdout, "internal error: appendDumpFile: unknown dump file.\n");
+    fprintf (stdout, "internal error: createDumpFile: unknown dump file.\n");
     exit (1);
   }
 
@@ -121,7 +121,6 @@ void closeDumpFiles() {
   for (dumpFilesPtr=dumpFiles; dumpFilesPtr->id; dumpFilesPtr++) {
     if (dumpFilesPtr->filePtr) {
       fclose (dumpFilesPtr->filePtr);
-      //dprintf ("closed %s\n", dumpFilesPtr->ext);
     }
   }
 }
@@ -137,7 +136,7 @@ dumpLiveRanges (int id, hTab * liveRanges)
   int k;
 
   if (id) {
-    file=appendDumpFile(id);
+    file=createDumpFile(id);
   } else {
     file = stdout;
   }
@@ -178,9 +177,10 @@ dumpEbbsToFileExt (int id, eBBlock ** ebbs, int count)
 {
   FILE *of;
   int i;
+  eBBlock *bb;
 
   if (id) {
-    of=appendDumpFile(id);
+    of=createDumpFile(id);
   } else {
     of = stdout;
   }
@@ -188,12 +188,37 @@ dumpEbbsToFileExt (int id, eBBlock ** ebbs, int count)
   for (i = 0; i < count; i++)
     {
       fprintf (of, "\n----------------------------------------------------------------\n");
-      fprintf (of, "Basic Block %s : loop Depth(lSeq) = %d(%d) noPath = %d , lastinLoop = %d\n",
+      fprintf (of, "Basic Block %s (df:%d bb:%d): loop Depth = %d noPath = %d lastinLoop = %d\n",
 	       ebbs[i]->entryLabel->name,
+	       ebbs[i]->dfnum, ebbs[i]->bbnum,
 	       ebbs[i]->depth,
-	       ebbs[i]->depth ? findLoopEndSeq(ebbs[i]->partOfLoop) : 0,
 	       ebbs[i]->noPath,
 	       ebbs[i]->isLastInLoop);
+
+      // a --nolabelopt makes this more readable
+      fprintf (of, "\nsuccessors: ");
+      for (bb=setFirstItem(ebbs[i]->succList); 
+	   bb; 
+	   bb=setNextItem(ebbs[i]->succList)) {
+	fprintf (of, "%s ", bb->entryLabel->name);
+      }
+      fprintf (of, "\npredecessors: ");
+      for (bb=setFirstItem(ebbs[i]->predList); 
+	   bb; 
+	   bb=setNextItem(ebbs[i]->predList)) {
+	fprintf (of, "%s ", bb->entryLabel->name);
+      }
+      {
+	int d;
+	fprintf (of, "\ndominators: ");
+	for (d=0; d<ebbs[i]->domVect->size; d++) {
+	  if (bitVectBitValue(ebbs[i]->domVect, d)) {
+	    fprintf (of, "%s ", ebbs[d]->entryLabel->name);
+	  }
+	}
+      }
+      fprintf (of, "\n");
+  
       fprintf (of, "\ndefines bitVector :");
       bitVectDebugOn (ebbs[i]->defSet, of);
       fprintf (of, "\nlocal defines bitVector :");
@@ -217,14 +242,14 @@ eBBlock *
 iCode2eBBlock (iCode * ic)
 {
   iCode *loop;
-  eBBlock *ebb = neweBBlock ();	/* a llocate an entry */
+  eBBlock *ebb = neweBBlock ();	/* allocate an entry */
 
   /* put the first one unconditionally */
   ebb->sch = ic;
 
   /* if this is a label then */
   if (ic->op == LABEL)
-    ebb->entryLabel = ic->argLabel.label;
+    ebb->entryLabel = ic->label;
   else
     {
       SNPRINTF (buffer, sizeof(buffer), "_eBBlock%d", eBBNum++);
@@ -564,7 +589,7 @@ replaceSymBySym (set * sset, operand * src, operand * dest)
 	    {
 	      bitVectUnSetBit (OP_USES (IC_COND (ic)), ic->key);
 	      IC_COND (ic) = operandFromOperand (dest);
-	      OP_USES_SET ((dest), bitVectSetBit (OP_USES (dest), ic->key));
+	      OP_USES(dest)=bitVectSetBit (OP_USES (dest), ic->key);
 	      continue;
 	    }
 
@@ -573,7 +598,7 @@ replaceSymBySym (set * sset, operand * src, operand * dest)
 	      bitVectUnSetBit (OP_USES (IC_RIGHT (ic)), ic->key);
 	      IC_RIGHT (ic) = operandFromOperand (dest);
 	      IC_RIGHT (ic)->isaddr = 0;
-	      OP_USES_SET ((dest), bitVectSetBit (OP_USES (dest), ic->key));
+	      OP_USES(dest)=bitVectSetBit (OP_USES (dest), ic->key);
 	    }
 
 	  if (isOperandEqual (IC_LEFT (ic), src))
@@ -589,7 +614,7 @@ replaceSymBySym (set * sset, operand * src, operand * dest)
 		  IC_LEFT (ic) = operandFromOperand (dest);
 		  IC_LEFT (ic)->isaddr = 0;
 		}
-	      OP_USES_SET ((dest), bitVectSetBit (OP_USES (dest), ic->key));
+	      OP_USES(dest)=bitVectSetBit (OP_USES (dest), ic->key);
 	    }
 
 	  /* special case for pointer sets */
@@ -599,7 +624,7 @@ replaceSymBySym (set * sset, operand * src, operand * dest)
 	      bitVectUnSetBit (OP_USES (IC_RESULT (ic)), ic->key);
 	      IC_RESULT (ic) = operandFromOperand (dest);
 	      IC_RESULT (ic)->isaddr = 1;
-	      OP_USES_SET ((dest), bitVectSetBit (OP_USES (dest), ic->key));
+	      OP_USES(dest)=bitVectSetBit (OP_USES (dest), ic->key);
 	    }
 	}
     }