Commit 629ca032 by Eddie Hung

&sweep and &mfs to preserve nAnd2Delay

parent afebb180
...@@ -470,6 +470,7 @@ Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk, int fAllBoxes ) ...@@ -470,6 +470,7 @@ Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk, int fAllBoxes )
// duplicated initial state // duplicated initial state
if ( p->vRegInits ) if ( p->vRegInits )
pNew->vRegInits = Vec_IntDup( p->vRegInits ); pNew->vRegInits = Vec_IntDup( p->vRegInits );
pNew->nAnd2Delay = p->nAnd2Delay;
// cleanup // cleanup
Vec_WecFree( vGroups ); Vec_WecFree( vGroups );
......
...@@ -203,6 +203,7 @@ Gia_Man_t * Gia_ManDupWithBoxes( Gia_Man_t * p, int fSeq ) ...@@ -203,6 +203,7 @@ Gia_Man_t * Gia_ManDupWithBoxes( Gia_Man_t * p, int fSeq )
pNew->pAigExtra = Gia_ManUpdateExtraAig2( p->pManTime, p->pAigExtra, vBoxesLeft ); pNew->pAigExtra = Gia_ManUpdateExtraAig2( p->pManTime, p->pAigExtra, vBoxesLeft );
assert( Gia_ManCiNum(pNew) == Tim_ManPiNum((Tim_Man_t*)pNew->pManTime) + Gia_ManCoNum(pNew->pAigExtra) ); assert( Gia_ManCiNum(pNew) == Tim_ManPiNum((Tim_Man_t*)pNew->pManTime) + Gia_ManCoNum(pNew->pAigExtra) );
Vec_IntFree( vBoxesLeft ); Vec_IntFree( vBoxesLeft );
pNew->nAnd2Delay = p->nAnd2Delay;
return pNew; return pNew;
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment