diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 20:38:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-30 20:38:13 -0700 |
| commit | e48cfd92eec8d827c85fc7cd61521a8ebbcc6fd2 (patch) | |
| tree | 80bb772e704f327cb1fa9d669911ea1d008758d5 /src/aig/gia | |
| parent | 181a7629276a1c567d5bcae7533f516483dc75d0 (diff) | |
| download | abc-e48cfd92eec8d827c85fc7cd61521a8ebbcc6fd2.tar.gz abc-e48cfd92eec8d827c85fc7cd61521a8ebbcc6fd2.tar.bz2 abc-e48cfd92eec8d827c85fc7cd61521a8ebbcc6fd2.zip | |
Producing AIG after structural mapping.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaJf.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index f8146406..286d2d71 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -1440,7 +1440,7 @@ void Jf_ManDeriveMapping( Jf_Man_t * p ) ***********************************************************************/ Gia_Man_t * Jf_ManDeriveGia( Jf_Man_t * p ) { - Gia_Man_t * pNew; + Gia_Man_t * pNew, * pTemp; Gia_Obj_t * pObj; Vec_Int_t * vCopies = Vec_IntStartFull( Gia_ManObjNum(p->pGia) ); Vec_Int_t * vCover = Vec_IntAlloc( 1 << 16 ); @@ -1516,6 +1516,9 @@ Gia_Man_t * Jf_ManDeriveGia( Jf_Man_t * p ) Gia_ManHashStop( pNew ); Gia_ManSetRegNum( pNew, Gia_ManRegNum(p->pGia) ); // Dsm_ManReportStats(); + // perform cleanup + pNew = Gia_ManCleanup( pTemp = pNew ); + Gia_ManStop( pTemp ); return pNew; } |