From 0916417e2ec9aeac86899a599d63ca16791eba09 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 14 Aug 2013 12:10:55 -0700 Subject: Enabling LUT decomposition in two special cases. --- src/map/if/ifDec75.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/map/if/ifDec75.c') diff --git a/src/map/if/ifDec75.c b/src/map/if/ifDec75.c index 024f46ac..d608d7e9 100644 --- a/src/map/if/ifDec75.c +++ b/src/map/if/ifDec75.c @@ -306,13 +306,15 @@ int If_CutPerformCheck75( If_Man_t * p, unsigned * pTruth0, int nVars, int nLeav word * pTruthW = (word *)pTruth0; word pTruth[4] = { pTruthW[0], pTruthW[1], pTruthW[2], pTruthW[3] }; assert( nLeaves <= 8 ); - Abc_TtMinimumBase( pTruth, NULL, nLeaves, &nLeaves ); + if ( !p->pPars->fCutMin ) + Abc_TtMinimumBase( pTruth, NULL, nLeaves, &nLeaves ); if ( nLeaves < 6 ) return 1; // if ( nLeaves < 8 && If_CutPerformCheck07( p, (unsigned *)pTruth, nVars, nLeaves, "44" ) ) if ( nLeaves < 8 && If_CutPerformCheck16( p, (unsigned *)pTruth, nVars, nLeaves, "44" ) ) return 1; - if ( p->pPars->fEnableCheck75 && nLeaves == 8 ) + // this is faster but not compatible with -z + if ( !p->pPars->fDeriveLuts && p->pPars->fEnableCheck75 && nLeaves == 8 ) { // char pDsdStr[1000] = "(!(abd)!(c!([fe][gh])))"; char pDsdStr[1000]; -- cgit v1.2.3