diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-11 14:40:42 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-11 14:40:42 -0800 |
| commit | e52dc774302cfcbc84473d69ea00864e50a3b199 (patch) | |
| tree | 4f274056ffdea7754b597b14f90b3d6cb909141a /src/map/if | |
| parent | 1116313d28d4e7665459bb90cca210bc86c7ffe5 (diff) | |
| download | abc-e52dc774302cfcbc84473d69ea00864e50a3b199.tar.gz abc-e52dc774302cfcbc84473d69ea00864e50a3b199.tar.bz2 abc-e52dc774302cfcbc84473d69ea00864e50a3b199.zip | |
Improved DSD.
Diffstat (limited to 'src/map/if')
| -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 ); |