From 60c901ea768a6c60de68923068429f7dd64b62d3 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 12 Mar 2014 01:10:43 -0700 Subject: Improvements to print-outs. --- src/map/if/ifDsd.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/map/if/ifDsd.c') diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index 6953cf4c..1b3dc0f2 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -530,7 +530,7 @@ void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int Support, { If_DsdObj_t * pObj; Vec_Int_t * vStructs, * vCounts; - int CountUsed = 0, CountNonDsdStr = 0, CountMarked = 0; + int CountUsed = 0, CountNonDsdStr = 0, CountMarked = 0, CountPrime = 0; int i, * pPerm, DsdMax = 0; FILE * pFile; pFile = pFileName ? fopen( pFileName, "wb" ) : stdout; @@ -543,6 +543,7 @@ void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int Support, { if ( If_DsdObjType(pObj) == IF_DSD_PRIME ) DsdMax = Abc_MaxInt( DsdMax, pObj->nFans ); + CountPrime += If_DsdObjType(pObj) == IF_DSD_PRIME; CountNonDsdStr += If_DsdManCheckNonDec_rec( p, pObj->Id ); CountUsed += ( If_DsdVecObjRef(p->vObjs, pObj->Id) > 0 ); CountMarked += If_DsdVecObjMark( p->vObjs, i ); @@ -551,6 +552,7 @@ void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int Support, fprintf( pFile, "Externally used objects = %8d\n", CountUsed ); fprintf( pFile, "Non-DSD objects (max =%2d) = %8d\n", DsdMax, Vec_MemEntryNum(p->vTtMem) ); fprintf( pFile, "Non-DSD structures = %8d\n", CountNonDsdStr ); + fprintf( pFile, "Prime objects = %8d\n", CountPrime ); fprintf( pFile, "Marked objects = %8d\n", CountMarked ); fprintf( pFile, "Unique table hits = %8d\n", p->nUniqueHits ); fprintf( pFile, "Unique table misses = %8d\n", p->nUniqueMisses ); -- cgit v1.2.3