diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-04 19:18:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-04 19:18:34 -0700 |
| commit | 24083998ab2e6abdb0cacd90a8f45a01201aa7ce (patch) | |
| tree | 5afd80e046fbb2391ebe5502863378a15e66f202 /src/aig/gia/giaEnable.c | |
| parent | 4c7165a4f75a647dd61c5f09f51131d8ed99924d (diff) | |
| download | abc-24083998ab2e6abdb0cacd90a8f45a01201aa7ce.tar.gz abc-24083998ab2e6abdb0cacd90a8f45a01201aa7ce.tar.bz2 abc-24083998ab2e6abdb0cacd90a8f45a01201aa7ce.zip | |
Deriving cell mapping with &if -kz.
Diffstat (limited to 'src/aig/gia/giaEnable.c')
| -rw-r--r-- | src/aig/gia/giaEnable.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/aig/gia/giaEnable.c b/src/aig/gia/giaEnable.c index 9cb0dce5..03d1a390 100644 --- a/src/aig/gia/giaEnable.c +++ b/src/aig/gia/giaEnable.c @@ -362,8 +362,7 @@ Gia_Man_t * Gia_ManUnrollInit( Gia_Man_t * p, int nFrames ) Gia_Man_t * pNew; Gia_Obj_t * pObj, * pObjRi, * pObjRo; int f, i; - ABC_FREE( p->pCopies ); - p->pCopies = ABC_FALLOC( int, nFrames * Gia_ManObjNum(p) ); + Vec_IntFill( &p->vCopies, -1, nFrames * Gia_ManObjNum(p) ); pNew = Gia_ManStart( nFrames * Gia_ManObjNum(p) ); pNew->pName = Abc_UtilStrsav( p->pName ); pNew->pSpec = Abc_UtilStrsav( p->pSpec ); @@ -413,7 +412,7 @@ Gia_Man_t * Gia_ManUnrollAndCofactor( Gia_Man_t * p, int nFrames, int nFanMax, i vCofSigs = Gia_ManTransferFrames( p, pFrames, nFrames, pAig, vTemp = vCofSigs ); Vec_IntFree( vTemp ); Gia_ManStop( pFrames ); - ABC_FREE( p->pCopies ); + ABC_FREE( p->vCopies.pArray ); // cofactor all these variables pNew = Gia_ManDupCofAllInt( pAig, vCofSigs, fVerbose ); Vec_IntFree( vCofSigs ); |