diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-03 12:23:49 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-03 12:23:49 -0700 |
| commit | 7669c99605b6c7ea4a3e560d99861e57da4e8f54 (patch) | |
| tree | fb8dfa49bd541eaa2451ad38222ff1a072a17591 /src/map/if/ifMan.c | |
| parent | 3db3be2d6130324f9c8d685c4dc04d7069fcab12 (diff) | |
| download | abc-7669c99605b6c7ea4a3e560d99861e57da4e8f54.tar.gz abc-7669c99605b6c7ea4a3e560d99861e57da4e8f54.tar.bz2 abc-7669c99605b6c7ea4a3e560d99861e57da4e8f54.zip | |
Improvements to technology mapping.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 0c526364..7874d7e0 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -167,7 +167,8 @@ void If_ManStop( If_Man_t * p ) nUnique += Vec_MemEntryNum(p->vTtMem[i]); for ( i = 6; i <= p->pPars->nLutSize; i++ ) nMemTotal += (int)Vec_MemMemory(p->vTtMem[i]); - printf( "Unique truth tables = %d. Memory = %.2f MB\n", nUnique, 1.0 * nMemTotal / (1<<20) ); + printf( "Unique truth tables = %d Memory = %.2f MB ", nUnique, 1.0 * nMemTotal / (1<<20) ); + Abc_PrintTime( 1, "Time", p->timeCache[4] ); if ( p->nCacheMisses ) { printf( "Cache hits = %d. Cache misses = %d (%.2f %%)\n", p->nCacheHits, p->nCacheMisses, 100.0 * p->nCacheMisses / (p->nCacheHits + p->nCacheMisses) ); @@ -191,8 +192,6 @@ void If_ManStop( If_Man_t * p ) p->pIfDsdMan = NULL; if ( p->pPars->fUseDsd && (p->nCountNonDec[0] || p->nCountNonDec[1]) ) printf( "NonDec0 = %d. NonDec1 = %d.\n", p->nCountNonDec[0], p->nCountNonDec[1] ); -// Abc_PrintTime( 1, "Truth", p->timeTruth ); -// Abc_Print( 1, "Small support = %d.\n", p->nSmallSupp ); Vec_IntFreeP( &p->vCoAttrs ); Vec_PtrFree( p->vCis ); Vec_PtrFree( p->vCos ); |