diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-23 16:08:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-23 16:08:10 -0800 |
| commit | 7802db98af7705be65f7e58986ed52afc52d4d64 (patch) | |
| tree | 525963aa8792e1c79ea84e26b703c353101e40c3 /src/aig/gia/giaIf.c | |
| parent | 8281b56e9e2a6a9339fb2dc86711aa719055e014 (diff) | |
| download | abc-7802db98af7705be65f7e58986ed52afc52d4d64.tar.gz abc-7802db98af7705be65f7e58986ed52afc52d4d64.tar.bz2 abc-7802db98af7705be65f7e58986ed52afc52d4d64.zip | |
Integrating sweeping information.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 931fa4a1..1d4373a3 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1148,8 +1148,9 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) pNew = Gia_ManDupUnnormalize( p ); if ( pNew == NULL ) return NULL; - pNew->pManTime = p->pManTime; p->pManTime = NULL; - pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; + pNew->pManTime = p->pManTime; p->pManTime = NULL; + pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; + pNew->nAnd2Delay = p->nAnd2Delay; p->nAnd2Delay = 0; p = pNew; } else @@ -1187,15 +1188,17 @@ 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->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; + pNew->pManTime = p->pManTime; p->pManTime = NULL; + pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; + pNew->nAnd2Delay = p->nAnd2Delay; p->nAnd2Delay = 0; Gia_ManStop( p ); // normalize and transfer mapping pNew = Gia_ManDupNormalize( p = pNew ); Gia_ManTransferMapping( p, pNew ); Gia_ManTransferPacking( p, pNew ); - pNew->pManTime = p->pManTime; p->pManTime = NULL; - pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; + pNew->pManTime = p->pManTime; p->pManTime = NULL; + pNew->pAigExtra = p->pAigExtra; p->pAigExtra = NULL; + pNew->nAnd2Delay = p->nAnd2Delay; p->nAnd2Delay = 0; // pNew->vPacking = p->vPacking; p->vPacking = NULL; Gia_ManStop( p ); |