From a7339fdb9978d82516d79d81aa10296205cc28d6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 18 Jun 2013 13:56:46 -0700
Subject: Fix constant propagation after 'if'.

---
 src/base/abc/abcUtil.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/base/abc/abcUtil.c b/src/base/abc/abcUtil.c
index 20b18c4f..892dfee7 100644
--- a/src/base/abc/abcUtil.c
+++ b/src/base/abc/abcUtil.c
@@ -964,6 +964,20 @@ int Abc_NtkLogicMakeSimpleCos( Abc_Ntk_t * pNtk, int fDuplicate )
     assert( Abc_NtkIsLogic(pNtk) );
     LevelMax = Abc_NtkLevel(pNtk);
 
+    // fix constant drivers
+    Abc_NtkForEachCo( pNtk, pNode, i ) 
+    {
+        pDriver = Abc_ObjFanin0(pNode);
+        if ( !Abc_NodeIsConst(pDriver) )
+            continue;
+        pDriverNew = (Abc_ObjFaninC0(pNode) == Abc_NodeIsConst0(pDriver)) ? Abc_NtkCreateNodeConst1(pNtk) : Abc_NtkCreateNodeConst0(pNtk);
+        if ( Abc_ObjFaninC0(pNode) )
+            Abc_ObjXorFaninC( pNode, 0 );
+        Abc_ObjPatchFanin( pNode, pDriver, pDriverNew );
+        if ( Abc_ObjFanoutNum(pDriver) == 0 )
+            Abc_NtkDeleteObj( pDriver );
+    }
+
     // collect drivers pointed by complemented edges
     vDrivers = Vec_PtrAlloc( 100 );
     Abc_NtkIncrementTravId( pNtk );
-- 
cgit v1.2.3