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/aig/gia/giaMan.c | |
| 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/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 5278c5cc..48ae25a0 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -140,6 +140,8 @@ void Gia_ManStop( Gia_Man_t * p ) Gia_ManStopP( &p->pAigExtra ); Vec_IntFree( p->vCis ); Vec_IntFree( p->vCos ); + Vec_IntErase( &p->vHash ); + Vec_IntErase( &p->vHTable ); ABC_FREE( p->pData2 ); ABC_FREE( p->pTravIds ); ABC_FREE( p->pPlacement ); @@ -155,7 +157,7 @@ void Gia_ManStop( Gia_Man_t * p ) ABC_FREE( p->pSibls ); ABC_FREE( p->pRefs ); ABC_FREE( p->pLutRefs ); - ABC_FREE( p->pHTable ); +// ABC_FREE( p->pHTable ); ABC_FREE( p->pMuxes ); ABC_FREE( p->pObjs ); ABC_FREE( p->pSpec ); @@ -180,7 +182,7 @@ double Gia_ManMemory( Gia_Man_t * p ) Memory += sizeof(Gia_Obj_t) * Gia_ManObjNum(p); Memory += sizeof(int) * Gia_ManCiNum(p); Memory += sizeof(int) * Gia_ManCoNum(p); - Memory += sizeof(int) * p->nHTable * (p->pHTable != NULL); + Memory += sizeof(int) * Vec_IntSize(&p->vHTable); Memory += sizeof(int) * Gia_ManObjNum(p) * (p->pRefs != NULL); Memory += Vec_IntMemory( p->vLevels ); Memory += Vec_IntMemory( p->vCellMapping ); |