diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-28 18:35:38 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-28 18:35:38 -0700 |
commit | 61ee156b72a0bc61aa4f422f1af469c486025d81 (patch) | |
tree | 245b46e06640ebd51c26e97430c278548618706a /src/aig/gia/giaMan.c | |
parent | f9b11cc93b1dff4e618313923f26d3f4b93f405a (diff) | |
download | abc-61ee156b72a0bc61aa4f422f1af469c486025d81.tar.gz abc-61ee156b72a0bc61aa4f422f1af469c486025d81.tar.bz2 abc-61ee156b72a0bc61aa4f422f1af469c486025d81.zip |
New logic sharing extraction.
Diffstat (limited to 'src/aig/gia/giaMan.c')
-rw-r--r-- | src/aig/gia/giaMan.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 53035506..5df2faa5 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -77,6 +77,8 @@ void Gia_ManStop( Gia_Man_t * p ) assert( p->pManTime == NULL ); Vec_PtrFreeFree( p->vNamesIn ); Vec_PtrFreeFree( p->vNamesOut ); + Vec_IntFreeP( &p->vSuper ); + Vec_IntFreeP( &p->vStore ); Vec_IntFreeP( &p->vClassNew ); Vec_IntFreeP( &p->vClassOld ); Vec_WrdFreeP( &p->vSims ); @@ -335,13 +337,19 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Abc_Print( 1, "(c=%d)", Gia_ManConstrNum(p) ); if ( Gia_ManRegNum(p) ) Abc_Print( 1, " ff =%7d", Gia_ManRegNum(p) ); - Abc_Print( 1, " and =%8d", Gia_ManAndNum(p) ); + Abc_Print( 1, " %s =%8d", p->pMuxes? "nod" : "and", Gia_ManAndNum(p) ); Abc_Print( 1, " lev =%5d", Gia_ManLevelNum(p) ); Vec_IntFreeP( &p->vLevels ); if ( pPars && pPars->fCut ) Abc_Print( 1, " cut = %d(%d)", Gia_ManCrossCut(p, 0), Gia_ManCrossCut(p, 1) ); Abc_Print( 1, " mem =%5.2f MB", Gia_ManMemory(p)/(1<<20) ); if ( Gia_ManHasDangling(p) ) Abc_Print( 1, " ch =%5d", Gia_ManEquivCountClasses(p) ); + if ( p->pMuxes ) + { + Abc_Print( 1, " and =%5d", Gia_ManAndNum(p)-Gia_ManXorNum(p)-Gia_ManMuxNum(p) ); + Abc_Print( 1, " xor =%5d", Gia_ManXorNum(p) ); + Abc_Print( 1, " mux =%5d", Gia_ManMuxNum(p) ); + } if ( pPars && pPars->fSwitch ) { if ( p->pSwitching ) |