X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2FSDCCBBlock.c;h=fe26978a52b8ccaea776736b0d225988395b2bb0;hb=017f41af54f2c9aeb55f31e237eb58762b6ea2ff;hp=51b2cd69a0ac949946d0e7396001c807b43907d0;hpb=1c3b992c7d84f36cfebff34e8a0590abedbb7b86;p=fw%2Fsdcc

diff --git a/src/SDCCBBlock.c b/src/SDCCBBlock.c
index 51b2cd69..fe26978a 100644
--- a/src/SDCCBBlock.c
+++ b/src/SDCCBBlock.c
@@ -177,6 +177,7 @@ dumpEbbsToFileExt (int id, eBBlock ** ebbs, int count)
 {
   FILE *of;
   int i;
+  eBBlock *bb;
 
   if (id) {
     of=createDumpFile(id);
@@ -193,6 +194,35 @@ dumpEbbsToFileExt (int id, eBBlock ** ebbs, int count)
 	       ebbs[i]->depth,
 	       ebbs[i]->noPath,
 	       ebbs[i]->isLastInLoop);
+
+      if (!optimize.label4) { 
+	// this only makes sense with --nolabelopt
+	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);
+	}
+#if 0 // jwk: TODO: this can't be true
+	{
+	  int d;
+	  fprintf (of, "\ndominators ???: ");
+	  for (d=0; d<ebbs[i]->domVect->size; d++) {
+	    if (bitVectBitValue(ebbs[d]->domVect, d)) {
+	      fprintf (of, "%s ", ebbs[d]->entryLabel->name);
+	    }
+	  }
+	}
+#endif
+	fprintf (of, "\n");
+      }
+  
       fprintf (of, "\ndefines bitVector :");
       bitVectDebugOn (ebbs[i]->defSet, of);
       fprintf (of, "\nlocal defines bitVector :");