diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-28 21:06:21 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-28 21:06:21 -0800 |
| commit | 3d6eac52abb1fd05a0c954f00dd5b8b855765f6e (patch) | |
| tree | 87ffc62a7e9ea895d4e2915ef5c7a79117f31502 /src/map/if/ifMan.c | |
| parent | de48fd79992a5218c18da8dca62869b865a62f0e (diff) | |
| download | abc-3d6eac52abb1fd05a0c954f00dd5b8b855765f6e.tar.gz abc-3d6eac52abb1fd05a0c954f00dd5b8b855765f6e.tar.bz2 abc-3d6eac52abb1fd05a0c954f00dd5b8b855765f6e.zip | |
Changes to LUT mappers.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 22 |
1 files changed, 16 insertions, 6 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index d03fc200..686af7ae 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -85,7 +85,6 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) p->puTempW = p->pPars->fTruth? ABC_ALLOC( word, p->nTruth6Words ) : NULL; if ( pPars->fUseDsd ) { - p->pIfDsdMan = If_DsdManAlloc( pPars->nLutSize ); p->vTtDsds = Vec_IntAlloc( 1000 ); Vec_IntPush( p->vTtDsds, 0 ); Vec_IntPush( p->vTtDsds, 2 ); @@ -142,6 +141,15 @@ void If_ManRestart( If_Man_t * p ) ***********************************************************************/ void If_ManStop( If_Man_t * p ) { +/* + if ( p->pIfDsdMan ) + { + If_DsdMan_t * pNew; + If_DsdManSave( p->pIfDsdMan, NULL ); + pNew = If_DsdManLoad( If_DsdManFileName(p->pIfDsdMan) ); + If_DsdManFree( pNew, 1 ); + } +*/ { // extern void If_CluHashFindMedian( If_Man_t * p ); // extern void If_CluHashTableCheck( If_Man_t * p ); @@ -158,11 +166,13 @@ void If_ManStop( If_Man_t * p ) Abc_Print( 1, "Useless cuts %2d = %9d (out of %9d) (%6.2f %%)\n", i, p->nCutsUseless[i], p->nCutsCount[i], 100.0*p->nCutsUseless[i]/(p->nCutsCount[i]+1) ); Abc_Print( 1, "Useless cuts all = %9d (out of %9d) (%6.2f %%)\n", p->nCutsUselessAll, p->nCutsCountAll, 100.0*p->nCutsUselessAll/(p->nCutsCountAll+1) ); } - if ( p->pPars->fVerbose && p->nCuts5 ) - Abc_Print( 1, "Statistics about 5-cuts: Total = %d Non-decomposable = %d (%.2f %%)\n", p->nCuts5, p->nCuts5-p->nCuts5a, 100.0*(p->nCuts5-p->nCuts5a)/p->nCuts5 ); - if ( p->pPars->fUseDsd ) - If_DsdManFree( p->pIfDsdMan, p->pPars->fVerbose ); - if ( p->pPars->fUseDsd ) +// if ( p->pPars->fVerbose && p->nCuts5 ) +// Abc_Print( 1, "Statistics about 5-cuts: Total = %d Non-decomposable = %d (%.2f %%)\n", p->nCuts5, p->nCuts5-p->nCuts5a, 100.0*(p->nCuts5-p->nCuts5a)/p->nCuts5 ); +// if ( p->pPars->fUseDsd ) +// If_DsdManFree( p->pIfDsdMan, p->pPars->fVerbose ); + if ( p->pIfDsdMan ) + 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 ); |