diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-30 21:51:50 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-30 21:51:50 -0700 |
| commit | 7724dfcca212ae1fd43cb095d5d85fea85c07608 (patch) | |
| tree | 11a506b57cdcdf9391a398fcd40a70ae90c20fd0 /src/aig/gia/giaIf.c | |
| parent | 31430043c219a29bc261a28a909ecb284b67de60 (diff) | |
| download | abc-7724dfcca212ae1fd43cb095d5d85fea85c07608.tar.gz abc-7724dfcca212ae1fd43cb095d5d85fea85c07608.tar.bz2 abc-7724dfcca212ae1fd43cb095d5d85fea85c07608.zip | |
Windowing for technology mapping.
Diffstat (limited to 'src/aig/gia/giaIf.c')
| -rw-r--r-- | src/aig/gia/giaIf.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index d93390e3..f5071929 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -249,10 +249,10 @@ void Gia_ManSetRefsMapped( Gia_Man_t * p ) ABC_FREE( p->pRefs ); p->pRefs = ABC_CALLOC( int, Gia_ManObjNum(p) ); Gia_ManForEachCo( p, pObj, i ) - Gia_ObjRefInc( p, Gia_ObjFanin0(pObj) ); + Gia_ObjRefIncId( p, Gia_ObjFaninId0p(p, pObj) ); Gia_ManForEachLut( p, i ) Gia_LutForEachFanin( p, i, iFan, k ) - Gia_ObjRefInc( p, Gia_ManObj(p, iFan) ); + Gia_ObjRefIncId( p, iFan ); } /**Function************************************************************* @@ -273,10 +273,10 @@ void Gia_ManSetLutRefs( Gia_Man_t * p ) ABC_FREE( p->pLutRefs ); p->pLutRefs = ABC_CALLOC( int, Gia_ManObjNum(p) ); Gia_ManForEachCo( p, pObj, i ) - Gia_ObjLutRefInc( p, Gia_ObjFanin0(pObj) ); + Gia_ObjLutRefIncId( p, Gia_ObjFaninId0p(p, pObj) ); Gia_ManForEachLut( p, i ) Gia_LutForEachFanin( p, i, iFan, k ) - Gia_ObjLutRefInc( p, Gia_ManObj(p, iFan) ); + Gia_ObjLutRefIncId( p, iFan ); } /**Function************************************************************* @@ -1568,7 +1568,7 @@ int Gia_ManFromIfLogicFindCell( If_Man_t * pIfMan, Gia_Man_t * pNew, Gia_Man_t * // collect nodes Gia_ManIncrementTravId( pTemp ); Id = Abc_Lit2Var( iLit ); - Gia_ManCollectAnds( pTemp, &Id, 1, vCover ); + Gia_ManCollectAnds( pTemp, &Id, 1, vCover, NULL ); Vec_IntPrint( vCover ); Gia_ManForEachObjVec( vCover, pTemp, pObj, i ) Gia_ObjPrint( pTemp, pObj ); |