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/ifUtil.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/ifUtil.c')
| -rw-r--r-- | src/map/if/ifUtil.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/map/if/ifUtil.c b/src/map/if/ifUtil.c index f752baef..b1ec7169 100644 --- a/src/map/if/ifUtil.c +++ b/src/map/if/ifUtil.c @@ -223,12 +223,12 @@ void If_ManComputeRequired( If_Man_t * p ) } // go through the nodes in the reverse topological order // Vec_PtrForEachEntry( If_Obj_t *, p->vMapped, pObj, i ) - // If_CutPropagateRequired( p, If_ObjCutBest(pObj), pObj->Required ); + // If_CutPropagateRequired( p, pObj, If_ObjCutBest(pObj), pObj->Required ); If_ManForEachObjReverse( p, pObj, i ) { if ( pObj->nRefs == 0 ) continue; - If_CutPropagateRequired( p, If_ObjCutBest(pObj), pObj->Required ); + If_CutPropagateRequired( p, pObj, If_ObjCutBest(pObj), pObj->Required ); } } else @@ -298,7 +298,7 @@ void If_ManComputeRequired( If_Man_t * p ) { if ( pObj->nRefs == 0 ) continue; - If_CutPropagateRequired( p, If_ObjCutBest(pObj), pObj->Required ); + If_CutPropagateRequired( p, pObj, If_ObjCutBest(pObj), pObj->Required ); } else if ( If_ObjIsCi(pObj) ) { |