diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-03 00:39:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-03 00:39:48 -0700 |
| commit | ffea3a2c849bc774396f3c8c191c12fb16b744d1 (patch) | |
| tree | f417a97c21ceba23e37f41aaf6884f40a365a631 /src/map/if/ifMan.c | |
| parent | 9291ab9f50a38717827a30f90418b3ecfa5110df (diff) | |
| download | abc-ffea3a2c849bc774396f3c8c191c12fb16b744d1.tar.gz abc-ffea3a2c849bc774396f3c8c191c12fb16b744d1.tar.bz2 abc-ffea3a2c849bc774396f3c8c191c12fb16b744d1.zip | |
Improvements to technology mapping.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 6039bfa9..b7bfe17f 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -102,7 +102,10 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) if ( pPars->fUseTtPerm ) { p->vPairHash = Hash_IntManStart( 10000 ); - p->vTtPerms = Vec_StrAlloc( 10000 ); + p->vPairPerms = Vec_StrAlloc( 10000 ); + Vec_StrFill( p->vPairPerms, p->pPars->nLutSize, 0 ); + p->vPairRes = Vec_IntAlloc( 1000 ); + Vec_IntPush( p->vPairRes, -1 ); } // create the constant node p->pConst1 = If_ManSetupObj( p ); @@ -196,6 +199,8 @@ void If_ManStop( If_Man_t * p ) Vec_IntFreeP( &p->vTtDsds ); Vec_StrFreeP( &p->vTtPerms ); Vec_IntFreeP( &p->vCutData ); + Vec_IntFreeP( &p->vPairRes ); + Vec_StrFreeP( &p->vPairPerms ); if ( p->vPairHash ) Hash_IntManStop( p->vPairHash ); for ( i = 6; i <= p->pPars->nLutSize; i++ ) |