diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-08 20:05:19 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-08 20:05:19 -0700 |
commit | 333c3772326dab900c83fd40abfd23d6083f1b41 (patch) | |
tree | 7839cd3814482f0c6043132c81e56613bdd54f5f /src/aig/gia | |
parent | 2faaa1c04ef9e0baff96bce6b9bf70745c829848 (diff) | |
download | abc-333c3772326dab900c83fd40abfd23d6083f1b41.tar.gz abc-333c3772326dab900c83fd40abfd23d6083f1b41.tar.bz2 abc-333c3772326dab900c83fd40abfd23d6083f1b41.zip |
Improvements to the new technology mapper.
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaJf.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index d99b011c..c826f346 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -773,6 +773,7 @@ void Jf_ObjComputeCuts( Jf_Man_t * p, Gia_Obj_t * pObj ) pSto[0]->Flow = Jf_CutFlow(p, pSto[0]->pCut); c = 1; } + // add elementary cut if ( !pObj->fMark0 ) pSto[c]->pCut[0] = 1, pSto[c]->pCut[1] = Jf_ObjLit(iObj), c++; // set function @@ -783,7 +784,7 @@ void Jf_ObjComputeCuts( Jf_Man_t * p, Gia_Obj_t * pObj ) // save best info Vec_IntWriteEntry( &p->vArr, iObj, pSto[0]->Time ); // Vec_FltWriteEntry( &p->vFlow, iObj, (pSto[0]->Flow + 1) / Jf_ObjRefs(p, iObj) ); - Vec_FltWriteEntry( &p->vFlow, iObj, (pSto[0]->Flow + ((1 << 6) + pSto[c]->pCut[0])) / Jf_ObjRefs(p, iObj) ); + Vec_FltWriteEntry( &p->vFlow, iObj, (pSto[0]->Flow + ((1 << 6) + pSto[0]->pCut[0])) / Jf_ObjRefs(p, iObj) ); // add cuts to storage cuts Vec_IntClear( p->vTemp ); Vec_IntPush( p->vTemp, c ); |