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/giaDup.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/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 2e45fe2b..2be08453 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -942,7 +942,7 @@ void Gia_ManDupAppend( Gia_Man_t * pNew, Gia_Man_t * pTwo ) int i; if ( pNew->nRegs > 0 ) pNew->nRegs = 0; - if ( pNew->pHTable == NULL ) + if ( Vec_IntSize(&pNew->vHTable) == 0 ) Gia_ManHashStart( pNew ); Gia_ManConst0(pTwo)->Value = 0; Gia_ManForEachObj1( pTwo, pObj, i ) @@ -960,7 +960,7 @@ void Gia_ManDupAppendShare( Gia_Man_t * pNew, Gia_Man_t * pTwo ) Gia_Obj_t * pObj; int i; assert( Gia_ManCiNum(pNew) == Gia_ManCiNum(pTwo) ); - if ( pNew->pHTable == NULL ) + if ( Vec_IntSize(&pNew->vHTable) == 0 ) Gia_ManHashStart( pNew ); Gia_ManConst0(pTwo)->Value = 0; Gia_ManForEachObj1( pTwo, pObj, i ) @@ -1425,7 +1425,7 @@ int Gia_ManDupDfs2_rec( Gia_Man_t * pNew, Gia_Man_t * p, Gia_Obj_t * pObj ) if ( Gia_ObjIsCo(pObj) ) return pObj->Value = Gia_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) ); Gia_ManDupDfs2_rec( pNew, p, Gia_ObjFanin1(pObj) ); - if ( pNew->pHTable ) + if ( Vec_IntSize(&pNew->vHTable) ) return pObj->Value = Gia_ManHashAnd( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj) ); return pObj->Value = Gia_ManAppendAnd( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj) ); } |