Bug fix in zeropo.

2a214a92 · Alan Mishchenko · f74fb87d · 2a214a92
Commit 2a214a92 authored Feb 11, 2011 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 5 additions and 0 deletions

src/base/abc/abcNtk.c
+5 -0

No files found.
--- a/src/base/abc/abcNtk.c
+++ b/src/base/abc/abcNtk.c
@@ -1464,6 +1464,11 @@ void Abc_NtkDropOneOutput( Abc_Ntk_t * pNtk, int iOutput )
 {
    Abc_Obj_t * pObj, * pConst0, * pFaninNew;
    pObj = Abc_NtkPo( pNtk, iOutput );
+    if ( Abc_ObjFanin0(pObj) == Abc_AigConst1(pNtk) && !Abc_ObjFaninC0(pObj) )
+    {
+        Abc_ObjXorFaninC( pObj, 0 );
+        return;
+    }
    pConst0 = Abc_ObjNot( Abc_AigConst1(pNtk) );
    pFaninNew = Abc_ObjNotCond( pConst0, Abc_ObjFaninC0(pObj) );
    Abc_ObjPatchFanin( pObj, Abc_ObjFanin0(pObj), pFaninNew );