diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-07 16:41:35 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-07 16:41:35 -0700 |
| commit | 137a766207e27d397a8127b7e5c93c193fa108e1 (patch) | |
| tree | b9d41fdfc09d09088ac5170d99bc8dd72d72df51 /src/aig/gia/giaMan.c | |
| parent | 23879f92000601db485d2ea226711df88c6266b9 (diff) | |
| download | abc-137a766207e27d397a8127b7e5c93c193fa108e1.tar.gz abc-137a766207e27d397a8127b7e5c93c193fa108e1.tar.bz2 abc-137a766207e27d397a8127b7e5c93c193fa108e1.zip | |
Improvements to the new technology mapper.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 7874d45a..ff48b405 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -138,14 +138,14 @@ void Gia_ManStop( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ -float Gia_ManMemory( Gia_Man_t * p ) +double Gia_ManMemory( Gia_Man_t * p ) { - word Memory = sizeof(Gia_Man_t); + double Memory = sizeof(Gia_Man_t); Memory += sizeof(Gia_Obj_t) * Gia_ManObjNum(p); Memory += sizeof(int) * Gia_ManCiNum(p); Memory += sizeof(int) * Gia_ManCoNum(p); Memory += sizeof(int) * p->nHTable * (p->pHTable != NULL); - return (float)(int)(Memory / (1 << 20)) + (float)(1e-6 * (int)(Memory % (1 << 20))); + return Memory; } /**Function************************************************************* @@ -339,7 +339,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) printf( " lev =%5d", Gia_ManLevelNum(p) ); Vec_IntFreeP( &p->vLevels ); if ( pPars && pPars->fCut ) printf( " cut = %d(%d)", Gia_ManCrossCut(p, 0), Gia_ManCrossCut(p, 1) ); - printf( " mem =%5.2f MB", Gia_ManMemory(p) ); + printf( " mem =%5.2f MB", Gia_ManMemory(p)/(1<<20) ); if ( Gia_ManHasDangling(p) ) printf( " ch =%5d", Gia_ManEquivCountClasses(p) ); if ( pPars && pPars->fSwitch ) @@ -554,8 +554,8 @@ void Gia_ManPrintNpnClasses( Gia_Man_t * p ) { if ( ClassCounts[i] == 0 ) continue; - if ( 100.0 * ClassCounts[i] / (nTotal+1) < 0.1 ) // do not show anything below 0.1 percent - continue; +// if ( 100.0 * ClassCounts[i] / (nTotal+1) < 0.1 ) // do not show anything below 0.1 percent +// continue; OtherClasses += ClassCounts[i]; Abc_Print( 1, "Class %3d : Count = %6d (%7.2f %%) %s\n", i, ClassCounts[i], 100.0 * ClassCounts[i] / (nTotal+1), pNames[i] ); |