From 5fc62b881f24377c3ea76ee19657173374879d31 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 15 May 2024 22:21:22 -0700
Subject: [PATCH] Code to dump resub instances.

---
 src/base/abci/abcResub.c | 41 ++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)

diff --git a/src/base/abci/abcResub.c b/src/base/abci/abcResub.c
index 85f8a4b4c..803b88e91 100644
--- a/src/base/abci/abcResub.c
+++ b/src/base/abci/abcResub.c
@@ -558,6 +558,44 @@ void Abc_ManResubPrintDivs( Abc_ManRes_t * p, Abc_Obj_t * pRoot, Vec_Ptr_t * vLe
     printf( "\n" );
 }
 
+/**Function*************************************************************
+
+  Synopsis    [Dumps one resub instance.]
+
+  Description []
+               
+  SideEffects []
+
+  SeeAlso     []
+
+***********************************************************************/
+void Abc_ManResubDumpInstance( Vec_Ptr_t * vDivs, int nLeaves, int nDivs, int nWords )
+{
+    Abc_Obj_t * pRoot = (Abc_Obj_t *)Vec_PtrEntryLast(vDivs);
+    char pFileName[1000]; 
+    sprintf( pFileName, "%s_%05d.pla", pRoot->pNtk->pName, pRoot->Id );
+    FILE * pFile = fopen( pFileName, "wb" );
+    if ( pFile == NULL ) {
+        printf( "Cannot open file \"%s\" for writing.\n", pFileName );
+        return;
+    }
+    fprintf( pFile, "// Resub instance generated for node %d in network \"%s\" on %s\n", pRoot->Id, pRoot->pNtk->pName, Extra_TimeStamp() );
+    fprintf( pFile, ".i %d\n", nDivs );
+    fprintf( pFile, ".o %d\n", 1 );
+    fprintf( pFile, ".p %d\n", 1 << nLeaves );    
+    Abc_Obj_t * pObj; int i, n;
+    for ( n = 0; n < (1 << nLeaves); n++ ) {
+        Vec_PtrForEachEntryStop( Abc_Obj_t *, vDivs, pObj, i, nDivs ) {
+            fprintf( pFile, "%d", Abc_InfoHasBit((unsigned *)pObj->pData, n) );
+            if ( i == nLeaves-1 )
+                fprintf( pFile, " " );
+        }
+        fprintf( pFile, " %d\n", Abc_InfoHasBit((unsigned *)pRoot->pData, n) );
+    }
+    fprintf( pFile, ".e\n" );    
+    fclose( pFile );
+    printf( "Finished dumping file \"%s\" with %d divisors and %d patterns.\n", pFileName, nDivs, (1 << nLeaves) );
+}
 
 /**Function*************************************************************
 
@@ -1929,6 +1967,9 @@ p->timeRes1 += Abc_Clock() - clk;
     // get the one level divisors
     Abc_ManResubDivsS( p, Required );
 
+//    if ( Vec_PtrSize(vLeaves) >= 6 )
+//        Abc_ManResubDumpInstance( p->vDivs, Vec_PtrSize(vLeaves), p->nDivs, p->nWords );
+
     // consider one node
     if ( (pGraph = Abc_ManResubDivs1( p, Required )) )
     {