diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-30 12:07:49 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-30 12:07:49 -0700 |
| commit | 2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201 (patch) | |
| tree | 52433920b47875bfb0ed7befc022ac60c3e86138 /src/map/if/ifCache.c | |
| parent | 7d500c8920c87bb04731960e065d2b8f7748050b (diff) | |
| download | abc-2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201.tar.gz abc-2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201.tar.bz2 abc-2f926f2fafba8dc2ec073c51b5ac9fdabd9ad201.zip | |
Improving cut computation.
Diffstat (limited to 'src/map/if/ifCache.c')
| -rw-r--r-- | src/map/if/ifCache.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/map/if/ifCache.c b/src/map/if/ifCache.c index d0da8c18..f2312447 100644 --- a/src/map/if/ifCache.c +++ b/src/map/if/ifCache.c @@ -79,14 +79,14 @@ void If_ManCacheAnalize( If_Man_t * p ) { uUnique = Vec_IntCountUnique(vTest[i]); printf( "%2d-var entries = %8d. (%6.2f %%) Unique entries = %8d. (%6.2f %%)\n", - i, Vec_IntSize(vTest[i]), 100.0*Vec_IntSize(vTest[i])/Vec_IntSize(vRes), - uUnique, 100.0*uUnique/Vec_IntSize(vTest[i]) ); + i, Vec_IntSize(vTest[i]), 100.0*Vec_IntSize(vTest[i])/Abc_MaxInt(1, Vec_IntSize(vRes)), + uUnique, 100.0*uUnique/Abc_MaxInt(1, Vec_IntSize(vTest[i])) ); } for ( i = 0; i <= p->pPars->nLutSize; i++ ) Vec_IntFree( vTest[i] ); uUnique = Vec_IntCountUnique(vRes); printf( "Total entries = %8d. (%6.2f %%) Unique entries = %8d. (%6.2f %%)\n", - Vec_IntSize(p->vCutData)/4, 100.0, uUnique, 100.0*uUnique/(Vec_IntSize(p->vCutData)/4) ); + Vec_IntSize(p->vCutData)/4, 100.0, uUnique, 100.0*uUnique/Abc_MaxInt(1, Vec_IntSize(p->vCutData)/4) ); Vec_IntFree( vRes ); } |