diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-30 10:23:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-30 10:23:01 -0700 |
| commit | f1eb933992b23a54ec7d6c894152d0e581915450 (patch) | |
| tree | cb28da4bec7f9ba8ff95f32e836c7a61f3ffd31b | |
| parent | 947eeb9501d8f2ad9fdedba37b47125d6d03ebe1 (diff) | |
| download | abc-f1eb933992b23a54ec7d6c894152d0e581915450.tar.gz abc-f1eb933992b23a54ec7d6c894152d0e581915450.tar.bz2 abc-f1eb933992b23a54ec7d6c894152d0e581915450.zip | |
Bug fix in window output computation.
| -rw-r--r-- | src/aig/gia/giaResub2.c | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/aig/gia/giaResub2.c b/src/aig/gia/giaResub2.c index 2c55e0cb..cbd3caa1 100644 --- a/src/aig/gia/giaResub2.c +++ b/src/aig/gia/giaResub2.c @@ -1211,19 +1211,20 @@ Vec_Int_t * Gia_RsbFindOutputs( Gia_Man_t * p, Vec_Int_t * vWin, Vec_Int_t * vIn { Vec_Int_t * vOuts = Vec_IntAlloc( 100 ); Gia_Obj_t * pObj; int i; + Gia_ManIncrementTravId( p ); + Gia_ManForEachObjVec( vIns, p, pObj, i ) + Gia_ObjSetTravIdCurrent( p, pObj ); Gia_ManForEachObjVec( vWin, p, pObj, i ) - if ( Gia_ObjIsAnd(pObj) ) + if ( !Gia_ObjIsTravIdCurrent(p, pObj) && Gia_ObjIsAnd(pObj) ) { Vec_IntAddToEntry( vRefs, Gia_ObjFaninId0p(p, pObj), 1 ); Vec_IntAddToEntry( vRefs, Gia_ObjFaninId1p(p, pObj), 1 ); } - Gia_ManForEachObjVec( vIns, p, pObj, i ) - Vec_IntWriteEntry( vRefs, Gia_ObjId(p, pObj), Gia_ObjFanoutNum(p, pObj) ); Gia_ManForEachObjVec( vWin, p, pObj, i ) - if ( Gia_ObjFanoutNum(p, pObj) != Vec_IntEntry(vRefs, Gia_ObjId(p, pObj)) ) + if ( !Gia_ObjIsTravIdCurrent(p, pObj) && Gia_ObjFanoutNum(p, pObj) != Vec_IntEntry(vRefs, Gia_ObjId(p, pObj)) ) Vec_IntPush( vOuts, Gia_ObjId(p, pObj) ); Gia_ManForEachObjVec( vWin, p, pObj, i ) - if ( Gia_ObjIsAnd(pObj) ) + if ( !Gia_ObjIsTravIdCurrent(p, pObj) && Gia_ObjIsAnd(pObj) ) { Vec_IntAddToEntry( vRefs, Gia_ObjFaninId0p(p, pObj), -1 ); Vec_IntAddToEntry( vRefs, Gia_ObjFaninId1p(p, pObj), -1 ); |