diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-02 20:20:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-02 20:20:07 -0700 |
| commit | 9291ab9f50a38717827a30f90418b3ecfa5110df (patch) | |
| tree | 67e07aaf20c1d400aff6297ecaae2175bc3b13ff /src/map/if/ifMan.c | |
| parent | 280a485336963305b795efaee1d84c854fa90abc (diff) | |
| download | abc-9291ab9f50a38717827a30f90418b3ecfa5110df.tar.gz abc-9291ab9f50a38717827a30f90418b3ecfa5110df.tar.bz2 abc-9291ab9f50a38717827a30f90418b3ecfa5110df.zip | |
Improvements to technology mapping.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 68c6344a..6039bfa9 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -70,7 +70,7 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) for ( v = 0; v <= p->pPars->nLutSize; v++ ) p->nTruth6Words[v] = Abc_Truth6WordNum( v ); for ( v = 6; v <= p->pPars->nLutSize; v++ ) - p->vTtMem[v] = Vec_MemAllocForTT( v ); + p->vTtMem[v] = Vec_MemAllocForTT( v, pPars->fUseTtPerm ); for ( v = 0; v < 6; v++ ) p->vTtMem[v] = p->vTtMem[6]; } @@ -448,8 +448,8 @@ void If_ManSetupCutTriv( If_Man_t * p, If_Cut_t * pCut, int ObjId ) pCut->nLeaves = 1; pCut->pLeaves[0] = p->pPars->fLiftLeaves? (ObjId << 8) : ObjId; pCut->uSign = If_ObjCutSign( pCut->pLeaves[0] ); - pCut->iCutFunc = (p->pPars->fTruth || p->pPars->fUseTtPerm) ? 2 : -1; - pCut->iCutDsd = p->pPars->fUseDsd ? 2 : (p->pPars->fUseTtPerm ? 0: -1); + pCut->iCutFunc = p->pPars->fUseTtPerm ? 3 : (p->pPars->fTruth ? 2: -1); + pCut->iCutDsd = p->pPars->fUseTtPerm ? 0 : (p->pPars->fUseDsd ? 2: -1); assert( pCut->pLeaves[0] < p->vObjs->nSize ); if ( p->pPars->fUseDsd ) pCut->pPerm[0] = 0; |