diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-11 11:14:04 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-11 11:14:04 -0800 |
| commit | ac7633c5a4c874bd6f29827017ee23fc23613ad5 (patch) | |
| tree | 9b2dd262555a62ceb0ae078c895de86e2a575874 /src/base/abci/abcDar.c | |
| parent | 4f940de51880c83228b1923fe245af33de1fe346 (diff) | |
| download | abc-ac7633c5a4c874bd6f29827017ee23fc23613ad5.tar.gz abc-ac7633c5a4c874bd6f29827017ee23fc23613ad5.tar.bz2 abc-ac7633c5a4c874bd6f29827017ee23fc23613ad5.zip | |
Integrating barrier buffers.
Diffstat (limited to 'src/base/abci/abcDar.c')
| -rw-r--r-- | src/base/abci/abcDar.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 613f151f..f450fc47 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -911,10 +911,9 @@ Abc_Ntk_t * Abc_NtkFromCellMappedGia( Gia_Man_t * p ) Gia_ManForEachCo( p, pObj, i ) if ( Gia_ObjFaninId0p(p, pObj) == 0 ) fNeedConst[Gia_ObjFaninC0(pObj)] = 1; - if ( Gia_ManBufNum(p) ) - Gia_ManForEachBuf( p, pObj, i ) - if ( Gia_ObjFaninId0p(p, pObj) == 0 ) - fNeedConst[Gia_ObjFaninC0(pObj)] = 1; + Gia_ManForEachBuf( p, pObj, i ) + if ( Gia_ObjFaninId0p(p, pObj) == 0 ) + fNeedConst[Gia_ObjFaninC0(pObj)] = 1; if ( fNeedConst[0] ) Abc_NtkFromCellWrite( vCopyLits, 0, 0, Abc_ObjId(Abc_NtkCreateNodeConst0(pNtkNew)) ); if ( fNeedConst[1] ) |