diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-11 23:49:05 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-11 23:49:05 -0700 |
| commit | 61abba9571c646eba14d917bd8af68f25c580b7f (patch) | |
| tree | e205ae3902f7defb079e994abb9e919e6347f6b7 /src/aig/gia/giaUtil.c | |
| parent | 211ac730c60d1827882c3fa3bf2fe648e3d6380d (diff) | |
| download | abc-61abba9571c646eba14d917bd8af68f25c580b7f.tar.gz abc-61abba9571c646eba14d917bd8af68f25c580b7f.tar.bz2 abc-61abba9571c646eba14d917bd8af68f25c580b7f.zip | |
Improvements to the new technology mapper.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 407c9aca..cad6f5ad 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -746,7 +746,7 @@ int Gia_ObjIsMuxType( Gia_Obj_t * pNode ) // check that the node is regular assert( !Gia_IsComplement(pNode) ); // if the node is not AND, this is not MUX - if ( !Gia_ObjIsAnd(pNode) ) + if ( !Gia_ObjIsAnd(pNode) || Gia_ObjIsBuf(pNode) ) return 0; // if the children are not complemented, this is not MUX if ( !Gia_ObjFaninC0(pNode) || !Gia_ObjFaninC1(pNode) ) @@ -780,7 +780,7 @@ int Gia_ObjRecognizeExor( Gia_Obj_t * pObj, Gia_Obj_t ** ppFan0, Gia_Obj_t ** pp { Gia_Obj_t * p0, * p1; assert( !Gia_IsComplement(pObj) ); - if ( !Gia_ObjIsAnd(pObj) ) + if ( !Gia_ObjIsAnd(pObj) || Gia_ObjIsBuf(pObj) ) return 0; assert( Gia_ObjIsAnd(pObj) ); p0 = Gia_ObjChild0(pObj); |