diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-25 20:47:11 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-25 20:47:11 -0500 |
| commit | 70a3474849b049c149ac1b5c4ec34dee731859d5 (patch) | |
| tree | 3d8e209acf91be06821787bacdcdcbcf0a3deccf /src/aig | |
| parent | 5c30eb10eff1c8f3789dd49260ebf08da84bd804 (diff) | |
| download | abc-70a3474849b049c149ac1b5c4ec34dee731859d5.tar.gz abc-70a3474849b049c149ac1b5c4ec34dee731859d5.tar.bz2 abc-70a3474849b049c149ac1b5c4ec34dee731859d5.zip | |
Improvements to the timing manager.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaIf.c | 6 | ||||
| -rw-r--r-- | src/aig/gia/giaMan.c | 6 |
2 files changed, 5 insertions, 7 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 839fa4c1..6a2520eb 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1671,6 +1671,7 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars ) } if ( p->pManTime ) pIfMan->pManTim = Tim_ManDup( (Tim_Man_t *)p->pManTime, pPars->fDelayOpt || pPars->fDelayOptLut || pPars->fDsdBalance || pPars->fUserRecLib ); +// Tim_ManPrint( pIfMan->pManTim ); if ( !If_ManPerformMapping( pIfMan ) ) { If_ManStop( pIfMan ); @@ -1694,8 +1695,6 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) Gia_Man_t * pNew; if ( p->pManTime && Tim_ManBoxNum(p->pManTime) && Gia_ManIsNormalized(p) ) { - Tim_Man_t * pTimOld = (Tim_Man_t *)p->pManTime; - p->pManTime = Tim_ManDup( pTimOld, 1 ); pNew = Gia_ManDupUnnormalize( p ); if ( pNew == NULL ) return NULL; @@ -1714,9 +1713,6 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) Gia_ManTransferPacking( pNew, p ); Gia_ManTransferTiming( pNew, p ); Gia_ManStop( p ); - // cleanup - Tim_ManStop( (Tim_Man_t *)pNew->pManTime ); - pNew->pManTime = pTimOld; assert( Gia_ManIsNormalized(pNew) ); } else diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 80473d19..bcb62c4b 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -427,6 +427,8 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Abc_Print( 1, " mem =%5.2f MB", Gia_ManMemory(p)/(1<<20) ); if ( Gia_ManHasChoices(p) ) Abc_Print( 1, " ch =%5d", Gia_ManChoiceNum(p) ); + if ( p->pManTime ) + Abc_Print( 1, " box =%d", Tim_ManBoxNum((Tim_Man_t *)p->pManTime) ); if ( pPars && pPars->fMuxXor ) printf( "\nXOR/MUX " ), Gia_ManPrintMuxStats( p ); if ( pPars && pPars->fSwitch ) @@ -456,8 +458,8 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Gia_ManPrintLutStats( p ); if ( p->pPlacement ) Gia_ManPrintPlacement( p ); - if ( p->pManTime ) - Tim_ManPrintStats( (Tim_Man_t *)p->pManTime, p->nAnd2Delay ); +// if ( p->pManTime ) +// Tim_ManPrintStats( (Tim_Man_t *)p->pManTime, p->nAnd2Delay ); // print register classes Gia_ManPrintFlopClasses( p ); Gia_ManPrintGateClasses( p ); |