From 46532e6c2f3d0dabdb03daad5c55f6f732311797 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 16 Feb 2014 19:30:38 -0800 Subject: Significant improvement to LUT mappers (if, &if). --- src/aig/gia/giaIf.c | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) (limited to 'src/aig') diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 51668cba..9ab57356 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1206,7 +1206,7 @@ Gia_Man_t * Gia_ManFromIfLogic( If_Man_t * pIfMan ) If_Obj_t * pIfObj, * pIfLeaf; Vec_Int_t * vMapping, * vMapping2, * vPacking = NULL; Vec_Int_t * vLeaves, * vLeaves2, * vCover; - word Truth = 0, * pTruthTable; +// word Truth = 0, * pTruthTable; int i, k, Entry; assert( !pIfMan->pPars->fDeriveLuts || pIfMan->pPars->fTruth ); // if ( pIfMan->pPars->fEnableCheck07 ) @@ -1243,16 +1243,8 @@ Gia_Man_t * Gia_ManFromIfLogic( If_Man_t * pIfMan ) // perform one of the two types of mapping: with and without structures if ( pIfMan->pPars->fDeriveLuts && pIfMan->pPars->fTruth ) { - // adjust the truth table - int nSize = pIfMan->pPars->nLutSize; - pTruthTable = (word *)If_CutTruth(pCutBest); - if ( nSize < 6 ) - { - Truth = Gia_ManTt6Stretch( *pTruthTable, nSize ); - pTruthTable = &Truth; - } // perform decomposition of the cut - pIfObj->iCopy = Gia_ManFromIfLogicNode( pIfMan, pNew, i, vLeaves, vLeaves2, pTruthTable, pIfMan->pPars->pLutStruct, vCover, vMapping, vMapping2, vPacking, (pIfMan->pPars->fEnableCheck75 || pIfMan->pPars->fEnableCheck75u), pIfMan->pPars->fEnableCheck07 ); + pIfObj->iCopy = Gia_ManFromIfLogicNode( pIfMan, pNew, i, vLeaves, vLeaves2, If_CutTruthW(pIfMan, pCutBest), pIfMan->pPars->pLutStruct, vCover, vMapping, vMapping2, vPacking, (pIfMan->pPars->fEnableCheck75 || pIfMan->pPars->fEnableCheck75u), pIfMan->pPars->fEnableCheck07 ); pIfObj->iCopy = Abc_LitNotCond( pIfObj->iCopy, pCutBest->fCompl ); } else -- cgit v1.2.3