diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-08 19:40:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-08 19:40:07 -0700 |
| commit | ebfd70cdf41c5ba10b4cae66a5bcaf289f162732 (patch) | |
| tree | e31a6ec75888dcae5c3dc94311f7ff4ef4c91247 /src/map/if/ifCut.c | |
| parent | a37de7cc4d15fc8c5bf30a89a9590546af3174e1 (diff) | |
| download | abc-ebfd70cdf41c5ba10b4cae66a5bcaf289f162732.tar.gz abc-ebfd70cdf41c5ba10b4cae66a5bcaf289f162732.tar.bz2 abc-ebfd70cdf41c5ba10b4cae66a5bcaf289f162732.zip | |
Initial changes to enable new features in the mapper
Diffstat (limited to 'src/map/if/ifCut.c')
| -rw-r--r-- | src/map/if/ifCut.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/map/if/ifCut.c b/src/map/if/ifCut.c index f51807ee..59d4e8e3 100644 --- a/src/map/if/ifCut.c +++ b/src/map/if/ifCut.c @@ -881,7 +881,7 @@ float If_CutAreaFlow( If_Man_t * p, If_Cut_t * pCut ) Flow = If_CutLutArea(p, pCut); If_CutForEachLeaf( p, pCut, pLeaf, i ) { - if ( pLeaf->nRefs == 0 ) + if ( pLeaf->nRefs == 0 || If_ObjIsConst1(pLeaf) ) Flow += If_ObjCutBest(pLeaf)->Area; else if ( p->pPars->fSeqMap ) // seq Flow += If_ObjCutBest(pLeaf)->Area / pLeaf->nRefs; @@ -914,7 +914,7 @@ float If_CutEdgeFlow( If_Man_t * p, If_Cut_t * pCut ) Flow = pCut->nLeaves; If_CutForEachLeaf( p, pCut, pLeaf, i ) { - if ( pLeaf->nRefs == 0 ) + if ( pLeaf->nRefs == 0 || If_ObjIsConst1(pLeaf) ) Flow += If_ObjCutBest(pLeaf)->Edge; else if ( p->pPars->fSeqMap ) // seq Flow += If_ObjCutBest(pLeaf)->Edge / pLeaf->nRefs; @@ -948,7 +948,7 @@ float If_CutPowerFlow( If_Man_t * p, If_Cut_t * pCut, If_Obj_t * pRoot ) If_CutForEachLeaf( p, pCut, pLeaf, i ) { Power += pSwitching[pLeaf->Id]; - if ( pLeaf->nRefs == 0 ) + if ( pLeaf->nRefs == 0 || If_ObjIsConst1(pLeaf) ) Power += If_ObjCutBest(pLeaf)->Power; else if ( p->pPars->fSeqMap ) // seq Power += If_ObjCutBest(pLeaf)->Power / pLeaf->nRefs; |