From e52dc774302cfcbc84473d69ea00864e50a3b199 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 11 Nov 2012 14:40:42 -0800 Subject: Improved DSD. --- src/map/if/ifTruth.c | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/map') diff --git a/src/map/if/ifTruth.c b/src/map/if/ifTruth.c index c4f01c59..cef41e50 100644 --- a/src/map/if/ifTruth.c +++ b/src/map/if/ifTruth.c @@ -28,6 +28,7 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +//#define IF_TRY_NEW //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -520,13 +521,14 @@ static inline int If_CutComputeTruth6( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * t1 = If_TruthStretch6( t1, pCut, pCut1 ); *If_CutTruthW(pCut) = t0 & t1; - if ( 0 ) +#ifdef IF_TRY_NEW { word pCopy[1024]; char pCanonPerm[16]; memcpy( pCopy, If_CutTruthW(pCut), sizeof(word) * 1 ); Abc_TtCanonicize( pCopy, pCut->nLimit, pCanonPerm ); } +#endif if ( p->pPars->fCutMin ) return If_CutTruthMinimize6( p, pCut ); @@ -638,13 +640,14 @@ inline int If_CutComputeTruth2( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_TruthStretch2( (word *)p->puTemp[1], pCut, pCut1 ); Abc_TtAnd( If_CutTruthW(pCut), (word *)p->puTemp[0], (word *)p->puTemp[1], nWords, 0 ); - if ( 0 ) +#ifdef IF_TRY_NEW { word pCopy[1024]; char pCanonPerm[16]; memcpy( pCopy, If_CutTruthW(pCut), sizeof(word) * nWords ); Abc_TtCanonicize( pCopy, pCut->nLimit, pCanonPerm ); } +#endif if ( p->pPars->fCutMin ) return If_CutTruthMinimize2( p, pCut ); -- cgit v1.2.3