diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-20 14:50:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-20 14:50:52 -0700 |
| commit | 2d4342f8c44b1528ce5734aa711dd0216db8ca8c (patch) | |
| tree | e2a71ce602896d4934ee3d25d5088d4145943890 /src/map | |
| parent | 00b8cda3d379d4af9cf126b302f502d8fbb3c9ca (diff) | |
| download | abc-2d4342f8c44b1528ce5734aa711dd0216db8ca8c.tar.gz abc-2d4342f8c44b1528ce5734aa711dd0216db8ca8c.tar.bz2 abc-2d4342f8c44b1528ce5734aa711dd0216db8ca8c.zip | |
Synchronizing packages.
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/if/ifDsd.c | 4 | ||||
| -rw-r--r-- | src/map/if/ifMap.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index 5c2f9332..e1b2f0b5 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -718,8 +718,8 @@ void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int Support, MemSizeDecs += (int)Vec_VecMemoryInt((Vec_Vec_t *)(p->vTtDecs[v])); } If_DsdManPrintDistrib( p ); - printf( "Number of inputs = %d. LUT size = %d. Marks = %s. Bookmark = %d.\n", - p->nVars, p->LutSize, If_DsdManHasMarks(p)? "yes" : "no", p->fNewAsUseless ); + printf( "Number of inputs = %d. LUT size = %d. Marks = %s. NewAsUseless = %s. Bookmark = %d.\n", + p->nVars, p->LutSize, If_DsdManHasMarks(p)? "yes" : "no", p->fNewAsUseless? "yes" : "no", p->nObjsPrev ); if ( p->pTtGia ) fprintf( pFile, "Non-DSD AIG nodes = %8d\n", Gia_ManAndNum(p->pTtGia) ); fprintf( pFile, "Unique table misses = %8d\n", p->nUniqueMisses ); diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index ae8897e2..035ce966 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -99,7 +99,7 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep If_Cut_t * pCut0R, * pCut1R; int fFunc0R, fFunc1R; int i, k, v, iCutDsd, fChange; - int fSave0 = p->pPars->fDelayOpt || p->pPars->fDelayOptLut || p->pPars->fDsdBalance || p->pPars->fUserRecLib || p->pPars->pLutStruct != NULL; + int fSave0 = p->pPars->fDelayOpt || p->pPars->fDelayOptLut || p->pPars->fDsdBalance || p->pPars->fUserRecLib || p->pPars->fUseDsdTune || p->pPars->fUseCofVars || p->pPars->pLutStruct != NULL; assert( !If_ObjIsAnd(pObj->pFanin0) || pObj->pFanin0->pCutSet->nCuts > 0 ); assert( !If_ObjIsAnd(pObj->pFanin1) || pObj->pFanin1->pCutSet->nCuts > 0 ); |