diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-10 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-10 08:01:00 -0800 |
| commit | ae037e45038cca6f0b86abea50692399a03b01be (patch) | |
| tree | 6419a88dd09a51011be3fa98199775ae3cf68fae /src/map/if/ifReduce.c | |
| parent | b9abf9c00c02feb52a2c796199343acebe20d8ef (diff) | |
| download | abc-ae037e45038cca6f0b86abea50692399a03b01be.tar.gz abc-ae037e45038cca6f0b86abea50692399a03b01be.tar.bz2 abc-ae037e45038cca6f0b86abea50692399a03b01be.zip | |
Version abc61210
Diffstat (limited to 'src/map/if/ifReduce.c')
| -rw-r--r-- | src/map/if/ifReduce.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/map/if/ifReduce.c b/src/map/if/ifReduce.c index 69312c5b..3e3256c3 100644 --- a/src/map/if/ifReduce.c +++ b/src/map/if/ifReduce.c @@ -361,7 +361,7 @@ int If_ManImproveNodeFaninCompact0( If_Man_t * p, If_Obj_t * pObj, int nLimit, V int i; Vec_PtrForEachEntry( vFront, pFanin, i ) { - if ( If_ObjIsPi(pFanin) ) + if ( If_ObjIsCi(pFanin) ) continue; if ( If_ManImproveNodeWillGrow(p, pFanin) ) continue; @@ -391,7 +391,7 @@ int If_ManImproveNodeFaninCompact1( If_Man_t * p, If_Obj_t * pObj, int nLimit, V int i; Vec_PtrForEachEntry( vFront, pFanin, i ) { - if ( If_ObjIsPi(pFanin) ) + if ( If_ObjIsCi(pFanin) ) continue; if ( If_ManImproveNodeFaninCost(p, pFanin) < 0 ) { @@ -419,7 +419,7 @@ int If_ManImproveNodeFaninCompact2( If_Man_t * p, If_Obj_t * pObj, int nLimit, V int i; Vec_PtrForEachEntry( vFront, pFanin, i ) { - if ( If_ObjIsPi(pFanin) ) + if ( If_ObjIsCi(pFanin) ) continue; if ( If_ManImproveNodeFaninCost(p, pFanin) <= 0 ) { @@ -498,8 +498,8 @@ void If_ManImproveNodeReduce( If_Man_t * p, If_Obj_t * pObj, int nLimit ) pFanin1 = If_ObjFanin1(pObj); // get the cuts pCut = If_ObjCutBest(pObj); - pCut0 = If_ObjIsPi(pFanin0) ? If_ObjCutTriv(pFanin0) : If_ObjCutBest(pFanin0); - pCut1 = If_ObjIsPi(pFanin1) ? If_ObjCutTriv(pFanin1) : If_ObjCutBest(pFanin1); + pCut0 = If_ObjIsCi(pFanin0) ? If_ObjCutTriv(pFanin0) : If_ObjCutBest(pFanin0); + pCut1 = If_ObjIsCi(pFanin1) ? If_ObjCutTriv(pFanin1) : If_ObjCutBest(pFanin1); assert( pCut->Delay <= pObj->Required + p->fEpsilon ); // deref the cut if the node is refed |