From c30a0ca0b973faf136b309600f03b32b78d0a733 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 25 Nov 2014 21:57:34 -0800 Subject: Improvements to handling boxes and flops. --- src/aig/gia/giaSweep.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/aig/gia/giaSweep.c') diff --git a/src/aig/gia/giaSweep.c b/src/aig/gia/giaSweep.c index 7d383dc7..70c7a960 100644 --- a/src/aig/gia/giaSweep.c +++ b/src/aig/gia/giaSweep.c @@ -634,7 +634,8 @@ Gia_Man_t * Gia_ManSweepWithBoxesAndDomains( Gia_Man_t * p, void * pParsS, int f // iterate over domains for ( iDom = 1; iDom <= nDoms; iDom++ ) { - if ( Vec_IntCountEntry(pNew->vRegClasses, iDom) < 2 ) + int nFlops = Vec_IntCountEntry(pNew->vRegClasses, iDom); + if ( nFlops < 2 ) continue; // find global equivalences pClp = Gia_ManDupCollapse( pNew, pNew->pAigExtra, NULL, 1 ); @@ -655,7 +656,7 @@ Gia_Man_t * Gia_ManSweepWithBoxesAndDomains( Gia_Man_t * p, void * pParsS, int f // report //if ( fVerbose ) { - printf( "Domain %2d with %5d flops: ", iDom, Vec_IntCountEntry(pNew->vRegClasses, iDom) ); + printf( "Domain %2d : %5d -> %5d : ", iDom, nFlops, Vec_IntCountEntry(pNew->vRegClasses, iDom) ); Gia_ManPrintStats( pNew, NULL ); } } -- cgit v1.2.3