From 0b01f5ec27ddddc1f20b2c4b3256a7846dc41657 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 29 Jul 2016 16:46:28 -0700 Subject: Infrastructure for using the results of exact SAT-based synthesis during mapping. --- src/base/abci/abcIf.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index 85164d04..6b760de2 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -452,7 +452,9 @@ Abc_Obj_t * Abc_NodeFromIf_rec( Abc_Ntk_t * pNtkNew, If_Man_t * pIfMan, If_Obj_t Abc_Obj_t * pFanins[IF_MAX_FUNC_LUTSIZE]; If_CutForEachLeaf( pIfMan, pCutBest, pIfLeaf, i ) pFanins[i] = Abc_NodeFromIf_rec(pNtkNew, pIfMan, pIfLeaf, vCover); - return Abc_ExactBuildNode( If_CutTruthW(pIfMan, pCutBest), If_CutLeaveNum(pCutBest), If_CutArrTimeProfile(pIfMan, pCutBest), pFanins ); + pNodeNew = Abc_ExactBuildNode( If_CutTruthW(pIfMan, pCutBest), If_CutLeaveNum(pCutBest), If_CutArrTimeProfile(pIfMan, pCutBest), pFanins ); + If_ObjSetCopy( pIfObj, pNodeNew ); + return pNodeNew; } // create a new node pNodeNew = Abc_NtkCreateNode( pNtkNew ); -- cgit v1.2.3