diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-16 13:07:51 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-16 13:07:51 -0800 |
commit | 0695ec54736318a0fb76ee3df06e5d83719e1fc3 (patch) | |
tree | 1434e3511826e7b72c860fa7cd87020c5adbd243 /src/aig/gia/giaHash.c | |
parent | ca28f77f3ac995ca5834b7ceef99ac0363f6ce8c (diff) | |
download | abc-0695ec54736318a0fb76ee3df06e5d83719e1fc3.tar.gz abc-0695ec54736318a0fb76ee3df06e5d83719e1fc3.tar.bz2 abc-0695ec54736318a0fb76ee3df06e5d83719e1fc3.zip |
New hierarchy manager plus additional printout in the GIA package.
Diffstat (limited to 'src/aig/gia/giaHash.c')
-rw-r--r-- | src/aig/gia/giaHash.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/aig/gia/giaHash.c b/src/aig/gia/giaHash.c index c610bc9c..0437dfd9 100644 --- a/src/aig/gia/giaHash.c +++ b/src/aig/gia/giaHash.c @@ -151,6 +151,18 @@ void Gia_ManHashStart( Gia_Man_t * p ) ***********************************************************************/ void Gia_ManHashStop( Gia_Man_t * p ) { + int i, Ent, Counter; + printf( "Hash table hits = %12u. Hash table misses = %12u.\n", (int)p->nHashHit, (int)p->nHashMiss ); + printf( "Hash table size = %12u. Object count = %12u.\n", p->nHTable, p->nObjs ); + for ( i = 0; i < Abc_MinInt(p->nHTable, 1000); i++ ) + { + Counter = 0; + for ( Ent = Gia_Lit2Var(p->pHTable[i]); Ent; Ent = Gia_Lit2Var(Gia_ManObj(p, Ent)->Value) ) + Counter++; + printf( "%d ", Counter ); + } + printf( "\n" ); + ABC_FREE( p->pHTable ); p->nHTable = 0; } @@ -195,6 +207,8 @@ void Gia_ManHashResize( Gia_Man_t * p ) Counter2 = Gia_ManAndNum(p); assert( Counter == Counter2 ); ABC_FREE( pHTableOld ); + if ( p->fVerbose ) + printf( "Resizing GIA hash table: %d -> %d.\n", nHTableOld, p->nHTable ); } /**Function******************************************************************** |