diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-04-10 16:21:13 -0700 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-04-10 16:21:13 -0700 |
| commit | 2c443d20de7dc68dbbbee2d5d29fa48b4fbd2619 (patch) | |
| tree | ec52b774558d178db75a859b1e96b97cadd28425 /src/base/abc | |
| parent | 0f1a758c2f2766294b27e6e9f166e792f42b6497 (diff) | |
| parent | 175b42b48f52852b10af26a59c7e5e7b8e0ee13c (diff) | |
| download | abc-2c443d20de7dc68dbbbee2d5d29fa48b4fbd2619.tar.gz abc-2c443d20de7dc68dbbbee2d5d29fa48b4fbd2619.tar.bz2 abc-2c443d20de7dc68dbbbee2d5d29fa48b4fbd2619.zip | |
merge
Diffstat (limited to 'src/base/abc')
| -rw-r--r-- | src/base/abc/abcFunc.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index 5d0261d7..f115231f 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -1028,11 +1028,15 @@ Gia_Man_t * Abc_NtkAigToGia( Abc_Ntk_t * p, int fGiaSimple ) } pNode->iTemp = Abc_LitNotCond( pHopObj->iData, Hop_IsComplement( (Hop_Obj_t *)pNode->pData ) ); } - Vec_PtrFree( vNodes ); // create primary outputs Abc_NtkForEachCo( p, pNode, i ) Gia_ManAppendCo( pNew, Abc_ObjFanin0(pNode)->iTemp ); Gia_ManSetRegNum( pNew, Abc_NtkLatchNum(p) ); + // copy original IDs + pNew->vIdsOrig = Vec_IntStart( Gia_ManObjNum(pNew) ); + Vec_PtrForEachEntry( Abc_Obj_t *, vNodes, pNode, i ) + Vec_IntWriteEntry( pNew->vIdsOrig, Abc_Lit2Var(pNode->iTemp), Abc_ObjId(pNode) ); + Vec_PtrFree( vNodes ); // finish mapping assert( Gia_ManObjNum(pNew) <= nObjs ); assert( pNew->vMapping == NULL ); |