diff options
Diffstat (limited to 'src/opt/lpk/lpkCore.c')
| -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 ) { |