diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-03 01:25:55 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-03 01:25:55 -0700 |
| commit | db16dcb737293653f234173b2f8805cb2603fe75 (patch) | |
| tree | aa815d8b002b7a96fc6e598c51979ddf0419af6b /src | |
| parent | b1b85e0e6ae41fac9daaa83e9037b2eff7436737 (diff) | |
| download | abc-db16dcb737293653f234173b2f8805cb2603fe75.tar.gz abc-db16dcb737293653f234173b2f8805cb2603fe75.tar.bz2 abc-db16dcb737293653f234173b2f8805cb2603fe75.zip | |
Added computation of mapping overlap in &ps.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaIf.c | 54 |
1 files changed, 54 insertions, 0 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index ba6bfc9e..706ff957 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -202,6 +202,59 @@ void Gia_ManSetRefsMapped( Gia_Man_t * p ) /**Function************************************************************* + Synopsis [Calculate mapping overlap.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int Gia_ManComputeOverlapOne_rec( Gia_Man_t * p, int iObj, Vec_Str_t * vLabel, Vec_Int_t * vVisit ) +{ + Gia_Obj_t * pObj; + int Counter; + if ( Vec_StrEntry(vLabel, iObj) ) + return 0; + Vec_StrWriteEntry( vLabel, iObj, 1 ); + pObj = Gia_ManObj( p, iObj ); + assert( Gia_ObjIsAnd(pObj) ); + Counter = Gia_ManComputeOverlapOne_rec( p, Gia_ObjFaninId0(pObj, iObj), vLabel, vVisit ); + Counter += Gia_ManComputeOverlapOne_rec( p, Gia_ObjFaninId1(pObj, iObj), vLabel, vVisit ); + Vec_IntPush( vVisit, iObj ); + return Counter + 1; +} +int Gia_ManComputeOverlapOne( Gia_Man_t * p, int iObj, Vec_Str_t * vLabel, Vec_Int_t * vVisit ) +{ + int iFan, k, Counter; + Vec_IntClear( vVisit ); + Gia_LutForEachFanin( p, iObj, iFan, k ) + Vec_StrWriteEntry( vLabel, iFan, 1 ); + Counter = Gia_ManComputeOverlapOne_rec( p, iObj, vLabel, vVisit ); + Gia_LutForEachFanin( p, iObj, iFan, k ) + Vec_StrWriteEntry( vLabel, iFan, 0 ); + Vec_IntForEachEntry( vVisit, iFan, k ) + Vec_StrWriteEntry( vLabel, iFan, 0 ); + return Counter; +} +int Gia_ManComputeOverlap( Gia_Man_t * p ) +{ + Vec_Int_t * vVisit; + Vec_Str_t * vLabel; + int i, Count = 0; + assert( Gia_ManHasMapping(p) ); + vVisit = Vec_IntAlloc( 100 ); + vLabel = Vec_StrStart( Gia_ManObjNum(p) ); + Gia_ManForEachLut( p, i ) + Count += Gia_ManComputeOverlapOne( p, i, vLabel, vVisit ); + Vec_StrFree( vLabel ); + Vec_IntFree( vVisit ); + return Count; +} + +/**Function************************************************************* + Synopsis [Prints mapping statistics.] Description [] @@ -233,6 +286,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p ) Abc_Print( 1, "lut =%7d ", nLuts ); Abc_Print( 1, "edge =%8d ", nFanins ); Abc_Print( 1, "lev =%5d ", LevelMax ); + Abc_Print( 1, "over =%5.1f %% ", 100.0 * Gia_ManComputeOverlap(p) / Gia_ManAndNum(p) - 100.0 ); Abc_Print( 1, "mem =%5.2f MB", 4.0*(Gia_ManObjNum(p) + 2*nLuts + nFanins)/(1<<20) ); Abc_Print( 1, "\n" ); /* |