diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-10 13:56:05 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-10 13:56:05 +0700 |
| commit | 204fac4dca548c75d42c27bd939a565bcf7c3642 (patch) | |
| tree | b06cb74ef51206d5287fef4163e45f81e690f611 /src/map/if/ifReduce.c | |
| parent | ebfd70cdf41c5ba10b4cae66a5bcaf289f162732 (diff) | |
| download | abc-204fac4dca548c75d42c27bd939a565bcf7c3642.tar.gz abc-204fac4dca548c75d42c27bd939a565bcf7c3642.tar.bz2 abc-204fac4dca548c75d42c27bd939a565bcf7c3642.zip | |
Other changes to enable new features in the mapper.
Diffstat (limited to 'src/map/if/ifReduce.c')
| -rw-r--r-- | src/map/if/ifReduce.c | 8 |
1 files changed, 4 insertions, 4 deletions
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 ); |