diff options
Diffstat (limited to 'src/map/if/ifSeq.c')
-rw-r--r-- | src/map/if/ifSeq.c | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/src/map/if/ifSeq.c b/src/map/if/ifSeq.c index 32cef52a..903491d6 100644 --- a/src/map/if/ifSeq.c +++ b/src/map/if/ifSeq.c @@ -305,15 +305,9 @@ void If_ManPerformMappingSeqPost( If_Man_t * p ) assert( p->pPars->pTimesReq == NULL ); p->pPars->pTimesReq = ABC_ALLOC( float, If_ManCoNum(p) ); If_ManForEachPo( p, pObj, i ) - { p->pPars->pTimesReq[i] = p->RequiredGlo2; -// Abc_Print( 1, "Out %3d : %2d \n", i, (int)p->pPars->pTimesReq[i] ); - } If_ManForEachLatchInput( p, pObjLi, i ) - { p->pPars->pTimesReq[i] = If_ObjLValue(If_ObjFanin0(pObjLi)); -// Abc_Print( 1, "Out %3d : %2d \n", i, (int)p->pPars->pTimesReq[i] ); - } // undo previous mapping If_ManForEachObj( p, pObj, i ) @@ -321,9 +315,9 @@ void If_ManPerformMappingSeqPost( If_Man_t * p ) If_ObjCutBest(pObj)->nLeaves = 0; // map again combinationally - p->pPars->fSeqMap = 0; +// p->pPars->fSeqMap = 0; If_ManPerformMappingComb( p ); - p->pPars->fSeqMap = 1; +// p->pPars->fSeqMap = 1; } /**Function************************************************************* |