diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-14 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-03-14 08:01:00 -0700 |
| commit | ff6f0943362c30176fd1f961bcbd19e188cee520 (patch) | |
| tree | fc2b888c8403ee04fb7d473433c1eb3bcc5ef8c5 /src/opt/lpk | |
| parent | 6205eaaee3a840dd076f9baaac67720d85d6a680 (diff) | |
| download | abc-ff6f0943362c30176fd1f961bcbd19e188cee520.tar.gz abc-ff6f0943362c30176fd1f961bcbd19e188cee520.tar.bz2 abc-ff6f0943362c30176fd1f961bcbd19e188cee520.zip | |
Version abc80314
Diffstat (limited to 'src/opt/lpk')
| -rw-r--r-- | src/opt/lpk/lpkCore.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index 34911c20..80080d50 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -500,6 +500,7 @@ int Lpk_Resynthesize( Abc_Ntk_t * pNtk, Lpk_Par_t * pPars ) Lpk_Man_t * p; Abc_Obj_t * pObj; double Delta; +// int * pnFanouts, nObjMax; int i, Iter, nNodes, nNodesPrev, clk = clock(); assert( Abc_NtkIsLogic(pNtk) ); @@ -554,6 +555,14 @@ int Lpk_Resynthesize( Abc_Ntk_t * pNtk, Lpk_Par_t * pPars ) p->nTotalNets = Abc_NtkGetTotalFanins(pNtk); p->nTotalNodes = Abc_NtkNodeNum(pNtk); } +/* + // save the number of fanouts of all objects + nObjMax = Abc_NtkObjNumMax( pNtk ); + pnFanouts = ALLOC( int, nObjMax ); + memset( pnFanouts, 0, sizeof(int) * nObjMax ); + Abc_NtkForEachObj( pNtk, pObj, i ) + pnFanouts[pObj->Id] = Abc_ObjFanoutNum(pObj); +*/ // iterate over the network nNodesPrev = p->nNodesTotal; @@ -604,6 +613,18 @@ int Lpk_Resynthesize( Abc_Ntk_t * pNtk, Lpk_Par_t * pPars ) break; } Abc_NtkStopReverseLevels( pNtk ); +/* + // report the fanout changes + Abc_NtkForEachObj( pNtk, pObj, i ) + { + if ( i >= nObjMax ) + continue; + if ( Abc_ObjFanoutNum(pObj) - pnFanouts[pObj->Id] == 0 ) + continue; + printf( "%d ", Abc_ObjFanoutNum(pObj) - pnFanouts[pObj->Id] ); + } + printf( "\n" ); +*/ if ( pPars->fVerbose ) { |