diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-06 13:15:53 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-06 13:15:53 -0800 |
| commit | 0f8b68aef8a5deedb477650c490daffe3726995e (patch) | |
| tree | 7a659252fb2ca9771275b2d2bab0c96343c6cc3d /src/map/if/ifMan.c | |
| parent | 360c705fc41eaacf1e891ecce5e948a091f0b293 (diff) | |
| download | abc-0f8b68aef8a5deedb477650c490daffe3726995e.tar.gz abc-0f8b68aef8a5deedb477650c490daffe3726995e.tar.bz2 abc-0f8b68aef8a5deedb477650c490daffe3726995e.zip | |
Performance bug fix in SOP balancing.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index f8b77e6d..6b058ee7 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -149,6 +149,10 @@ void If_ManStop( If_Man_t * p ) Vec_PtrFree( p->vObjs ); // Vec_PtrFree( p->vMapped ); Vec_PtrFree( p->vTemp ); + Vec_IntFreeP( &p->vCover ); + Vec_WrdFreeP( &p->vAnds ); + Vec_WrdFreeP( &p->vAndGate ); + Vec_WrdFreeP( &p->vOrGate ); if ( p->vObjsRev ) Vec_PtrFree( p->vObjsRev ); if ( p->vLatchOrder ) Vec_PtrFree( p->vLatchOrder ); if ( p->vLags ) Vec_IntFree( p->vLags ); |