From d85bc1dd68afa94ad4625cfae3f59e5211253111 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 13 Nov 2017 18:50:04 -0800 Subject: Changes to make GIA structural hashing use a dedicated array instead of pObj->Value. --- src/opt/dau/dauGia.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/opt') diff --git a/src/opt/dau/dauGia.c b/src/opt/dau/dauGia.c index fa757e62..b1df5db0 100644 --- a/src/opt/dau/dauGia.c +++ b/src/opt/dau/dauGia.c @@ -238,7 +238,7 @@ int Dau_DsdBalance( Gia_Man_t * pGia, int * pFans, int nFans, int fAnd ) assert( nFans > 1 ); iFan0 = pFans[--nFans]; iFan1 = pFans[--nFans]; - if ( pGia->pHTable == NULL ) + if ( Vec_IntSize(&pGia->vHTable) == 0 ) { if ( fAnd ) iFan = Gia_ManAppendAnd2( pGia, iFan0, iFan1 ); @@ -356,7 +356,7 @@ int Dau_DsdToGia_rec( Gia_Man_t * pGia, char * pStr, char ** p, int * pMatches, assert( **p == '{' && *q == '}' ); *p = q; } - if ( pGia->pHTable == NULL ) + if ( Vec_IntSize(&pGia->vHTable) == 0 ) { if ( pGia->pMuxes ) Res = Gia_ManAppendMux( pGia, Temp[0], Temp[1], Temp[2] ); @@ -373,7 +373,7 @@ int Dau_DsdToGia_rec( Gia_Man_t * pGia, char * pStr, char ** p, int * pMatches, pObj = Gia_ManObj(pGia, Abc_Lit2Var(Res)); if ( Gia_ObjIsAnd(pObj) ) { - if ( pGia->pMuxes && pGia->pHTable != NULL ) + if ( pGia->pMuxes && Vec_IntSize(&pGia->vHTable) ) Gia_ObjSetMuxLevel( pGia, pObj ); else { @@ -403,7 +403,7 @@ int Dau_DsdToGia_rec( Gia_Man_t * pGia, char * pStr, char ** p, int * pMatches, vLeaves.nSize = nVars; vLeaves.pArray = Fanins; nObjOld = Gia_ManObjNum(pGia); - Res = Kit_TruthToGia( pGia, (unsigned *)pFunc, nVars, vCover, &vLeaves, pGia->pHTable != NULL ); + Res = Kit_TruthToGia( pGia, (unsigned *)pFunc, nVars, vCover, &vLeaves, Vec_IntSize(&pGia->vHTable) != 0 ); // assert( nVars <= 6 ); // Res = Dau_DsdToGiaCompose_rec( pGia, pFunc[0], Fanins, nVars ); for ( i = nObjOld; i < Gia_ManObjNum(pGia); i++ ) -- cgit v1.2.3