diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/map/if/ifTruth.c | 7 |
1 files changed, 5 insertions, 2 deletions
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 ); |