diff options
| -rw-r--r-- | src/aig/gia/giaIf.c | 5 | ||||
| -rw-r--r-- | src/base/abci/abc.c | 12 | ||||
| -rw-r--r-- | src/map/if/ifDec75.c | 1 |
3 files changed, 3 insertions, 15 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 583e178a..3238a3dc 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -235,11 +235,10 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p ) Abc_Print( 1, "lev =%5d ", LevelMax ); Abc_Print( 1, "mem =%5.2f MB", 4.0*(Gia_ManObjNum(p) + 2*nLuts + nFanins)/(1<<20) ); Abc_Print( 1, "\n" ); - +/* { char * pFileName = "stats_map.txt"; static char FileNameOld[1000] = {0}; - static int nNodesOld, nAreaOld, nDelayOld; static abctime clk = 0; FILE * pTable = fopen( pFileName, "a+" ); if ( strcmp( FileNameOld, p->pName ) ) @@ -263,6 +262,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p ) } fclose( pTable ); } +*/ } /**Function************************************************************* @@ -372,7 +372,6 @@ void Gia_ManChoiceLevel_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) if ( LevelMax < Gia_ObjLevel(p, pNext) ) LevelMax = Gia_ObjLevel(p, pNext); LevelMax++; - assert( LevelMax > 0 ); // get the level of the nodes in the choice node if ( (pNext = Gia_ObjSiblObj(p, Gia_ObjId(p, pObj))) ) diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 399183ab..97528216 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -29454,17 +29454,7 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv ) pPars->pFuncCell = If_CutPerformCheck10; pPars->fCutMin = 1; } - if ( pPars->fEnableCheck75 ) - { - if ( pPars->nLutSize < 6 || pPars->nLutSize > 8 ) - { - Abc_Print( -1, "This feature only works for {6,7,8}-LUTs.\n" ); - return 1; - } - pPars->pFuncCell = If_CutPerformCheck75; - pPars->fCutMin = 1; - } - if ( pPars->fEnableCheck75u ) + if ( pPars->fEnableCheck75 || pPars->fEnableCheck75u ) { if ( pPars->nLutSize < 6 || pPars->nLutSize > 8 ) { diff --git a/src/map/if/ifDec75.c b/src/map/if/ifDec75.c index 0135f87d..024f46ac 100644 --- a/src/map/if/ifDec75.c +++ b/src/map/if/ifDec75.c @@ -205,7 +205,6 @@ int Dau_DsdCheckDecAndExist( char * pDsd ) int If_CutPerformCheck75__( If_Man_t * p, unsigned * pTruth, int nVars, int nLeaves, char * pStr ) { char pDsdStr[1000]; - int fDerive = 0; int nSizeNonDec, nDecExists, nDecAndExists; static int Counter = 0; Counter++; |