diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-23 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-23 08:01:00 -0700 |
| commit | 64dc240b904adafee78e2a66a1fc31b717f8985f (patch) | |
| tree | 3632887450b37c4dcac6f6cbac08d42e9512c440 /src/base/abci/abcResub.c | |
| parent | 1647addf5e3ce4f82cc35cd4983bc5f7b9730290 (diff) | |
| download | abc-64dc240b904adafee78e2a66a1fc31b717f8985f.tar.gz abc-64dc240b904adafee78e2a66a1fc31b717f8985f.tar.bz2 abc-64dc240b904adafee78e2a66a1fc31b717f8985f.zip | |
Version abc70723
Diffstat (limited to 'src/base/abci/abcResub.c')
| -rw-r--r-- | src/base/abci/abcResub.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/base/abci/abcResub.c b/src/base/abci/abcResub.c index a954f2ce..309c328d 100644 --- a/src/base/abci/abcResub.c +++ b/src/base/abci/abcResub.c @@ -86,6 +86,8 @@ struct Abc_ManRes_t_ int nTotalDivs; int nTotalLeaves; int nTotalGain; + int nNodesBeg; + int nNodesEnd; }; // external procedures @@ -166,6 +168,7 @@ int Abc_NtkResubstitute( Abc_Ntk_t * pNtk, int nCutMax, int nStepsMax, int nLeve pNode->pNext = pNode->pData; // resynthesize each node once + pManRes->nNodesBeg = Abc_NtkNodeNum(pNtk); nNodes = Abc_NtkObjNumMax(pNtk); pProgress = Extra_ProgressBarStart( stdout, nNodes ); Abc_NtkForEachNode( pNtk, pNode, i ) @@ -230,6 +233,7 @@ pManRes->timeNtk += clock() - clk; } Extra_ProgressBarStop( pProgress ); pManRes->timeTotal = clock() - clkStart; + pManRes->nNodesEnd = Abc_NtkNodeNum(pNtk); // print statistics if ( fVerbose ) @@ -385,7 +389,8 @@ void Abc_ManResubPrint( Abc_ManRes_t * p ) ); PRT( "TOTAL ", p->timeTotal ); printf( "Total leaves = %8d.\n", p->nTotalLeaves ); printf( "Total divisors = %8d.\n", p->nTotalDivs ); - printf( "Total gain = %8d.\n", p->nTotalGain ); +// printf( "Total gain = %8d.\n", p->nTotalGain ); + printf( "Gain = %8d. (%6.2f %%).\n", p->nNodesBeg-p->nNodesEnd, 100.0*(p->nNodesBeg-p->nNodesEnd)/p->nNodesBeg ); } |