diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-11-13 18:50:04 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-11-13 18:50:04 -0800 |
| commit | d85bc1dd68afa94ad4625cfae3f59e5211253111 (patch) | |
| tree | 3b2522baf1e93c23babd9a9b6bf0e3f6853c14f2 /src/opt | |
| parent | 71d9a1671447b0235b8ed2c8090835fdcf65a93a (diff) | |
| download | abc-d85bc1dd68afa94ad4625cfae3f59e5211253111.tar.gz abc-d85bc1dd68afa94ad4625cfae3f59e5211253111.tar.bz2 abc-d85bc1dd68afa94ad4625cfae3f59e5211253111.zip | |
Changes to make GIA structural hashing use a dedicated array instead of pObj->Value.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dau/dauGia.c | 8 |
1 files changed, 4 insertions, 4 deletions
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++ ) |