diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-28 20:18:21 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-28 20:18:21 -0700 |
| commit | cb50fadb554398518d1548eb59b266465c4d4ba4 (patch) | |
| tree | 9194ec3497d4049f52b9a76cf0ee9596bd2e8837 /src/opt/sfm | |
| parent | 9c4c95b6b100f96c825a0d62af9ae14b46f13bbb (diff) | |
| download | abc-cb50fadb554398518d1548eb59b266465c4d4ba4.tar.gz abc-cb50fadb554398518d1548eb59b266465c4d4ba4.tar.bz2 abc-cb50fadb554398518d1548eb59b266465c4d4ba4.zip | |
Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler warnings.
Diffstat (limited to 'src/opt/sfm')
| -rw-r--r-- | src/opt/sfm/sfmDec.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/opt/sfm/sfmDec.c b/src/opt/sfm/sfmDec.c index 2d388bb8..f24a7881 100644 --- a/src/opt/sfm/sfmDec.c +++ b/src/opt/sfm/sfmDec.c @@ -1201,7 +1201,7 @@ int Sfm_DecPeformDec2( Sfm_Dec_t * p, Abc_Obj_t * pObj ) int nSupp[SFM_DEC_MAX], pAssump[SFM_WIN_MAX]; int fVeryVerbose = p->pPars->fPrintDecs || p->pPars->fVeryVerbose; int nDecs = Abc_MaxInt(p->pPars->nDecMax, 1); - int fNeedInv, AreaGainInv = Sfm_DecComputeFlipInvGain(p, pObj, &fNeedInv); + //int fNeedInv, AreaGainInv = Sfm_DecComputeFlipInvGain(p, pObj, &fNeedInv); int i, RetValue, Prev = 0, iBest = -1, AreaThis, AreaNew;//, AreaNewInv; int GainThis, GainBest = -1, iLibObj, iLibObjBest = -1; assert( p->pPars->fArea == 1 ); @@ -1895,7 +1895,7 @@ Abc_Obj_t * Abc_NtkAreaOptOne( Sfm_Dec_t * p, int i ) Abc_Ntk_t * pNtk = p->pNtk; Sfm_Par_t * pPars = p->pPars; Abc_Obj_t * pObj = Abc_NtkObj( p->pNtk, i ); - int Limit, RetValue, nStop = Abc_NtkObjNumMax(pNtk); + int Limit, RetValue; if ( pPars->nMffcMin > 1 && Abc_NodeMffcLabel(pObj) < pPars->nMffcMin ) return NULL; if ( pPars->iNodeOne && i != pPars->iNodeOne ) |