diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-07 18:05:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-07 18:05:20 -0700 |
| commit | 50e324ce11c82742153e717334556bc60580f758 (patch) | |
| tree | 88df831c8cddc39c591c01fd8dac61338645a443 /src/aig/gia/giaMfs.c | |
| parent | 659d288967f5940876aa94e351b67b2b709e0301 (diff) | |
| download | abc-50e324ce11c82742153e717334556bc60580f758.tar.gz abc-50e324ce11c82742153e717334556bc60580f758.tar.bz2 abc-50e324ce11c82742153e717334556bc60580f758.zip | |
Adding switch &mfs -b to preserve white boxes during optimization.
Diffstat (limited to 'src/aig/gia/giaMfs.c')
| -rw-r--r-- | src/aig/gia/giaMfs.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaMfs.c b/src/aig/gia/giaMfs.c index f0fb984c..3ff16978 100644 --- a/src/aig/gia/giaMfs.c +++ b/src/aig/gia/giaMfs.c @@ -239,7 +239,7 @@ Sfm_Ntk_t * Gia_ManExtractMfs( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ -Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk ) +Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk, int fAllBoxes ) { extern int Gia_ManFromIfLogicCreateLut( Gia_Man_t * pNew, word * pRes, Vec_Int_t * vLeaves, Vec_Int_t * vCover, Vec_Int_t * vMapping, Vec_Int_t * vMapping2 ); Gia_Man_t * pNew; Gia_Obj_t * pObj; @@ -294,7 +294,7 @@ Gia_Man_t * Gia_ManInsertMfs( Gia_Man_t * p, Sfm_Ntk_t * pNtk ) // collect nodes in the given order vBoxesLeft = Vec_IntAlloc( nBoxes ); - vMfsTopo = Sfm_NtkDfs( pNtk, vGroups, vGroupMap, vBoxesLeft ); + vMfsTopo = Sfm_NtkDfs( pNtk, vGroups, vGroupMap, vBoxesLeft, fAllBoxes ); assert( Vec_IntSize(vBoxesLeft) <= nBoxes ); assert( Vec_IntSize(vMfsTopo) > 0 ); @@ -458,7 +458,7 @@ Gia_Man_t * Gia_ManPerformMfs( Gia_Man_t * p, Sfm_Par_t * pPars ) } else { - pNew = Gia_ManInsertMfs( p, pNtk ); + pNew = Gia_ManInsertMfs( p, pNtk, pPars->fAllBoxes ); if( pPars->fVerbose ) Abc_Print( 1, "The network has %d nodes changed by \"&mfs\".\n", nNodes ); // check integrity |