diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-11 08:57:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-11 08:57:03 -0700 |
| commit | b9274a07deec99f6b9e23d3bf481b2e5213c5e8f (patch) | |
| tree | 2855ec988ef9c489b1a3f8a1002597fbaafc6b81 /src/map/if/ifMan.c | |
| parent | 116c35a02190c427a0a2aeea729915f0e05ab90b (diff) | |
| download | abc-b9274a07deec99f6b9e23d3bf481b2e5213c5e8f.tar.gz abc-b9274a07deec99f6b9e23d3bf481b2e5213c5e8f.tar.bz2 abc-b9274a07deec99f6b9e23d3bf481b2e5213c5e8f.zip | |
Improvements to DSD in technology mapping.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 61c8df5d..6628a70a 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -484,7 +484,8 @@ void If_ManSetupCutTriv( If_Man_t * p, If_Cut_t * pCut, int ObjId ) pCut->pLeaves[0] = p->pPars->fLiftLeaves? (ObjId << 8) : ObjId; pCut->uSign = If_ObjCutSign( pCut->pLeaves[0] ); pCut->iCutFunc = p->pPars->fUseTtPerm ? 3 : (p->pPars->fTruth ? 2: -1); - pCut->iCutDsd = p->pPars->fUseTtPerm ? 0 : (p->pPars->fUseDsd ? 2: -1); +// pCut->iCutDsd = p->pPars->fUseTtPerm ? 0 : (p->pPars->fUseDsd ? 2: -1); + pCut->uMaskFunc = 0; assert( pCut->pLeaves[0] < p->vObjs->nSize ); if ( p->pPars->fUseDsd ) pCut->pPerm[0] = 0; |