diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-21 14:02:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-21 14:02:54 -0700 |
| commit | fb6e4ee290ac874f3d2f77de051733c92974abfd (patch) | |
| tree | 660c2f893953bbffff471f123106d7a8771ab72b /src/aig/gia/giaUtil.c | |
| parent | 6a6ffed8c545cd76d479da6a8a1d1e5aa35b1037 (diff) | |
| download | abc-fb6e4ee290ac874f3d2f77de051733c92974abfd.tar.gz abc-fb6e4ee290ac874f3d2f77de051733c92974abfd.tar.bz2 abc-fb6e4ee290ac874f3d2f77de051733c92974abfd.zip | |
Various changes.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 072c9872..d0ec969f 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -694,7 +694,8 @@ void Gia_ManCreateValueRefs( Gia_Man_t * p ) if ( Gia_ObjIsAnd(pObj) ) { Gia_ObjFanin0(pObj)->Value++; - Gia_ObjFanin1(pObj)->Value++; + if ( !Gia_ObjIsBuf(pObj) ) + Gia_ObjFanin1(pObj)->Value++; } else if ( Gia_ObjIsCo(pObj) ) Gia_ObjFanin0(pObj)->Value++; @@ -723,7 +724,8 @@ void Gia_ManCreateRefs( Gia_Man_t * p ) if ( Gia_ObjIsAnd(pObj) ) { Gia_ObjRefFanin0Inc( p, pObj ); - Gia_ObjRefFanin1Inc( p, pObj ); + if ( !Gia_ObjIsBuf(pObj) ) + Gia_ObjRefFanin1Inc( p, pObj ); if ( Gia_ObjIsMuxId(p, i) ) Gia_ObjRefFanin2Inc( p, pObj ); } |