From 204fac4dca548c75d42c27bd939a565bcf7c3642 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 10 Jul 2011 13:56:05 +0700 Subject: Other changes to enable new features in the mapper. --- src/map/if/ifReduce.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/map/if/ifReduce.c') diff --git a/src/map/if/ifReduce.c b/src/map/if/ifReduce.c index 622688e7..b45a9b25 100644 --- a/src/map/if/ifReduce.c +++ b/src/map/if/ifReduce.c @@ -153,7 +153,7 @@ void If_ManImproveNodeExpand( If_Man_t * p, If_Obj_t * pObj, int nLimit, Vec_Ptr int CostBef, CostAft, i; float DelayOld, AreaBef, AreaAft; pCut = If_ObjCutBest(pObj); - pCut->Delay = If_CutDelay( p, pCut ); + pCut->Delay = If_CutDelay( p, pObj, pCut ); assert( pCut->Delay <= pObj->Required + p->fEpsilon ); if ( pObj->nRefs == 0 ) return; @@ -177,7 +177,7 @@ void If_ManImproveNodeExpand( If_Man_t * p, If_Obj_t * pObj, int nLimit, Vec_Ptr pFanin->fMark = 0; // update the node If_ManImproveNodeUpdate( p, pObj, vFront ); - pCut->Delay = If_CutDelay( p, pCut ); + pCut->Delay = If_CutDelay( p, pObj, pCut ); // get the new area AreaAft = If_CutAreaRefed( p, pCut ); if ( AreaAft > AreaBef || pCut->Delay > pObj->Required + p->fEpsilon ) @@ -539,14 +539,14 @@ void If_ManImproveNodeReduce( If_Man_t * p, If_Obj_t * pObj, int nLimit ) } if ( RetValue ) { - pCutR->Delay = If_CutDelay( p, pCutR ); + pCutR->Delay = If_CutDelay( p, pObj, pCutR ); AreaAft = If_CutAreaDerefed( p, pCutR ); // update the best cut if ( AreaAft < AreaBef - p->fEpsilon && pCutR->Delay < pObj->Required + p->fEpsilon ) If_CutCopy( p, pCut, pCutR ); } // recompute the delay of the best cut - pCut->Delay = If_CutDelay( p, pCut ); + pCut->Delay = If_CutDelay( p, pObj, pCut ); // ref the cut if the node is refed if ( pObj->nRefs > 0 ) If_CutRef( p, pCut ); -- cgit v1.2.3