From ba3f2ac6c02f06f197447326be150dfbd93d1879 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 18 Jul 2014 14:05:00 -0700 Subject: Small changes in several packages. --- src/aig/gia/giaIf.c | 2 +- src/opt/dau/dauGia.c | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 1af21299..537ffd0a 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -338,7 +338,7 @@ int Gia_ManCountDupLut6( Gia_Man_t * p ) pFanin->fMark0 = 1; } Gia_ManCleanMark0( p ); - if ( nCountDup + nCountDup ) + if ( nCountDup + nCountPis ) printf( "Dup fanins = %d. CI fanins = %d. Total = %d. (%.2f %%)\n", nCountDup, nCountPis, nCountDup + nCountPis, 100.0 * (nCountDup + nCountPis) / Gia_ManLutNum(p) ); return nCountDup + nCountPis; diff --git a/src/opt/dau/dauGia.c b/src/opt/dau/dauGia.c index ac26c4f3..cf644102 100644 --- a/src/opt/dau/dauGia.c +++ b/src/opt/dau/dauGia.c @@ -373,12 +373,13 @@ int Dau_DsdToGia_rec( Gia_Man_t * pGia, char * pStr, char ** p, int * pMatches, Fanins[i] = Dau_DsdToGia_rec( pGia, pStr, p, pMatches, pLits, vCover ); assert( i == nVars ); assert( *p == q ); -// Res = Dau_DsdToGiaCompose_rec( pGia, Func, Fanins, nVars ); vLeaves.nCap = nVars; vLeaves.nSize = nVars; vLeaves.pArray = Fanins; nObjOld = Gia_ManObjNum(pGia); Res = Kit_TruthToGia( pGia, (unsigned *)pFunc, nVars, vCover, &vLeaves, 1 ); +// assert( nVars <= 6 ); +// Res = Dau_DsdToGiaCompose_rec( pGia, pFunc[0], Fanins, nVars ); for ( i = nObjOld; i < Gia_ManObjNum(pGia); i++ ) Gia_ObjSetGateLevel( pGia, Gia_ManObj(pGia, i) ); m_Non1Step++; -- cgit v1.2.3