diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-29 16:46:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-07-29 16:46:28 -0700 |
| commit | 0b01f5ec27ddddc1f20b2c4b3256a7846dc41657 (patch) | |
| tree | 060dfc036a4a62d55e5b40b8334fe3989daf455f /src/base/abci/abcIf.c | |
| parent | cf91699e05606dca1f6146943e82ce04413f99a7 (diff) | |
| download | abc-0b01f5ec27ddddc1f20b2c4b3256a7846dc41657.tar.gz abc-0b01f5ec27ddddc1f20b2c4b3256a7846dc41657.tar.bz2 abc-0b01f5ec27ddddc1f20b2c4b3256a7846dc41657.zip | |
Infrastructure for using the results of exact SAT-based synthesis during mapping.
Diffstat (limited to 'src/base/abci/abcIf.c')
| -rw-r--r-- | src/base/abci/abcIf.c | 4 |
1 files changed, 3 insertions, 1 deletions
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 ); |