diff options
Diffstat (limited to 'src/map/if')
-rw-r--r-- | src/map/if/ifMan.c | 3 | ||||
-rw-r--r-- | src/map/if/ifTruth.c | 18 |
2 files changed, 20 insertions, 1 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index db63a831..776c5ba6 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -32,7 +32,7 @@ static If_Obj_t * If_ManSetupObj( If_Man_t * p ); static void If_ManCutSetRecycle( If_Man_t * p, If_Set_t * pSet ) { pSet->pNext = p->pFreeList; p->pFreeList = pSet; } static If_Set_t * If_ManCutSetFetch( If_Man_t * p ) { If_Set_t * pTemp = p->pFreeList; p->pFreeList = p->pFreeList->pNext; return pTemp; } -extern clock_t s_TimeComp[3]; +extern clock_t s_TimeComp[4]; //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -158,6 +158,7 @@ void If_ManStop( If_Man_t * p ) Abc_PrintTime( 1, "Time0", s_TimeComp[0] ); Abc_PrintTime( 1, "Time1", s_TimeComp[1] ); Abc_PrintTime( 1, "Time2", s_TimeComp[2] ); + Abc_PrintTime( 1, "Time3", s_TimeComp[3] ); // Abc_NamPrint( p->pNamDsd ); Abc_NamStop( p->pNamDsd ); } diff --git a/src/map/if/ifTruth.c b/src/map/if/ifTruth.c index 4b0db8b4..c4f01c59 100644 --- a/src/map/if/ifTruth.c +++ b/src/map/if/ifTruth.c @@ -519,6 +519,15 @@ static inline int If_CutComputeTruth6( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * t0 = If_TruthStretch6( t0, pCut, pCut0 ); t1 = If_TruthStretch6( t1, pCut, pCut1 ); *If_CutTruthW(pCut) = t0 & t1; + + if ( 0 ) + { + word pCopy[1024]; + char pCanonPerm[16]; + memcpy( pCopy, If_CutTruthW(pCut), sizeof(word) * 1 ); + Abc_TtCanonicize( pCopy, pCut->nLimit, pCanonPerm ); + } + if ( p->pPars->fCutMin ) return If_CutTruthMinimize6( p, pCut ); return 0; @@ -628,6 +637,15 @@ inline int If_CutComputeTruth2( If_Man_t * p, If_Cut_t * pCut, If_Cut_t * pCut0, If_TruthStretch2( (word *)p->puTemp[0], pCut, 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 ) + { + word pCopy[1024]; + char pCanonPerm[16]; + memcpy( pCopy, If_CutTruthW(pCut), sizeof(word) * nWords ); + Abc_TtCanonicize( pCopy, pCut->nLimit, pCanonPerm ); + } + if ( p->pPars->fCutMin ) return If_CutTruthMinimize2( p, pCut ); return 0; |