diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-19 22:53:01 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-04-19 22:53:01 -0700 |
| commit | 4124a00d4ba7b9d32b19d7164321eb8d245d07df (patch) | |
| tree | 0d9d7772c75b18c26cfaf74f5c5aff453e9bccff | |
| parent | 7d15b00e133efc2142e326486befcf64c29c50a6 (diff) | |
| download | abc-4124a00d4ba7b9d32b19d7164321eb8d245d07df.tar.gz abc-4124a00d4ba7b9d32b19d7164321eb8d245d07df.tar.bz2 abc-4124a00d4ba7b9d32b19d7164321eb8d245d07df.zip | |
Logic restructuring after mapping.
| -rw-r--r-- | src/base/acb/acbPush.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/acb/acbPush.c b/src/base/acb/acbPush.c index 7ede912f..5dd2f63d 100644 --- a/src/base/acb/acbPush.c +++ b/src/base/acb/acbPush.c @@ -44,8 +44,8 @@ ABC_NAMESPACE_IMPL_START ***********************************************************************/ void Acb_ObjPushToFanout( Acb_Ntk_t * p, int iObj, int iFaninIndex, int iFanout ) { - word c0, uTruthObjNew, uTruthObj = Acb_ObjTruth( p, iObj ), Gate; - word c1, uTruthFanNew, uTruthFan = Acb_ObjTruth( p, iFanout ); + word c0, uTruthObjNew = 0, uTruthObj = Acb_ObjTruth( p, iObj ), Gate; + word c1, uTruthFanNew = 0, uTruthFan = Acb_ObjTruth( p, iFanout ); int DecType = Abc_TtCheckOutAnd( uTruthObj, iFaninIndex, &uTruthObjNew ); int iFanin = Acb_ObjFanin( p, iObj, iFaninIndex ); int iFanoutObjIndex = Acb_ObjWhatFanin( p, iFanout, iObj ); @@ -94,8 +94,8 @@ void Acb_ObjPushToFanout( Acb_Ntk_t * p, int iObj, int iFaninIndex, int iFanout ***********************************************************************/ void Acb_ObjPushToFanin( Acb_Ntk_t * p, int iObj, int iFaninIndex2, int iFanin ) { - word uTruthObjNew, uTruthObj = Acb_ObjTruth( p, iObj ); - word uTruthFanNew, uTruthFan = Acb_ObjTruth( p, iFanin ); + word uTruthObjNew = 0, uTruthObj = Acb_ObjTruth( p, iObj ); + word uTruthFanNew = 0, uTruthFan = Acb_ObjTruth( p, iFanin ); int iFaninIndex = Acb_ObjWhatFanin( p, iObj, iFanin ); int DecType = Abc_TtCheckDsdAnd( uTruthObj, iFaninIndex, iFaninIndex2, &uTruthObjNew ); int iFanin2 = Acb_ObjFanin( p, iObj, iFaninIndex2 ); |