diff options
Diffstat (limited to 'src/base/wlc/wlcAbs.c')
-rw-r--r-- | src/base/wlc/wlcAbs.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index 23a24f30..d13da54c 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -625,6 +625,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) Vec_Int_t * vBlacks = Vec_IntAlloc( 100 ) ; Wlc_Obj_t * pObj; int i, Count[4] = {0}; Vec_Bit_t * vMarks = NULL; + int nTotal = 0; vMarks = Wlc_NtkMarkLimit( p, pPars ) ; @@ -634,6 +635,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) { if ( Wlc_ObjRange(pObj) >= pPars->nBitsAdd ) { + ++nTotal; if ( vMarks == NULL ) Vec_IntPushUniqueOrder( vBlacks, Wlc_ObjId(p, pObj) ), Count[0]++; else if ( Vec_BitEntry( vMarks, i ) ) @@ -645,6 +647,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) { if ( Wlc_ObjRange(pObj) >= pPars->nBitsMul ) { + ++nTotal; if ( vMarks == NULL ) Vec_IntPushUniqueOrder( vBlacks, Wlc_ObjId(p, pObj) ), Count[1]++; else if ( Vec_BitEntry( vMarks, i ) ) @@ -656,6 +659,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) { if ( Wlc_ObjRange(pObj) >= pPars->nBitsMux ) { + ++nTotal; if ( vMarks == NULL ) Vec_IntPushUniqueOrder( vBlacks, Wlc_ObjId(p, pObj) ), Count[2]++; else if ( Vec_BitEntry( vMarks, i ) ) @@ -667,6 +671,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) { if ( Wlc_ObjRange(pObj) >= pPars->nBitsFlop ) { + ++nTotal; if ( vMarks == NULL ) Vec_IntPushUniqueOrder( vBlacks, Wlc_ObjId( p, Wlc_ObjFo2Fi( p, pObj ) ) ), Count[3]++; else if ( Vec_BitEntry( vMarks, i ) ) @@ -678,7 +683,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) if ( vMarks ) Vec_BitFree( vMarks ); if ( pPars->fVerbose ) - printf( "Abstraction engine marked %d adds/subs, %d muls/divs, %d muxes, and %d flops to be abstracted away.\n", Count[0], Count[1], Count[2], Count[3] ); + printf( "Abstraction engine marked %d adds/subs, %d muls/divs, %d muxes, and %d flops to be abstracted away (out of %d signals).\n", Count[0], Count[1], Count[2], Count[3], nTotal ); return vBlacks; } |