diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-03 18:02:22 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-03 18:02:22 +0800 |
| commit | 930369f36fedd58efd25a1ca2603fefc7034ff39 (patch) | |
| tree | a2020f1d04aa5f0b06aa7f28e73e475041f24b25 /src/aig/gia/giaIf.c | |
| parent | 61f8112da0224a4e478715fb47128952ac30b041 (diff) | |
| download | abc-930369f36fedd58efd25a1ca2603fefc7034ff39.tar.gz abc-930369f36fedd58efd25a1ca2603fefc7034ff39.tar.bz2 abc-930369f36fedd58efd25a1ca2603fefc7034ff39.zip | |
Integration of timing manager.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 22 |
1 files changed, 15 insertions, 7 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 19c2fe0b..b05e9106 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -720,7 +720,7 @@ void Gia_ManTransferMapping( Gia_Man_t * pGia, Gia_Man_t * p ) SideEffects [] - SeeAlso [] + SeeAlso [] ***********************************************************************/ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) @@ -733,7 +733,8 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) if ( p->pManTime ) { pNew = Gia_ManDupWithHierarchy( p, &vNodes ); - pNew->pManTime = p->pManTime; p->pManTime = NULL; + pNew->pManTime = p->pManTime; p->pManTime = NULL; + pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; p = pNew; } else @@ -769,13 +770,20 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) // if ( pIfMan->pPars->fDelayOpt ) // Vec_IntFreeP( &pNew->vMapping ); // return the original (unmodified by the mapper) timing manager - pNew->pManTime = p->pManTime; p->pManTime = NULL; + pNew->pManTime = p->pManTime; p->pManTime = NULL; + pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; Gia_ManStop( p ); // normalize and transfer mapping - p = Gia_ManDupNormalize( pNew ); - Gia_ManTransferMapping( pNew, p ); - Gia_ManStop( pNew ); - return p; + pNew = Gia_ManDupNormalize( p = pNew ); + Gia_ManTransferMapping( p, pNew ); + pNew->pManTime = p->pManTime; p->pManTime = NULL; + pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; + Gia_ManStop( p ); + +// printf( "PERFORMING VERIFICATION:\n" ); +// Gia_ManVerifyWithBoxes( pNew, NULL ); + + return pNew; } //////////////////////////////////////////////////////////////////////// |