diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-08 20:10:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-08 20:10:13 -0700 |
| commit | 5f318549cd1a7995ca8f1622cdcea1e1fed9c1a3 (patch) | |
| tree | 471ac2a9adad0c3a7d482a7175d7632f98a999b5 /src | |
| parent | 333c3772326dab900c83fd40abfd23d6083f1b41 (diff) | |
| download | abc-5f318549cd1a7995ca8f1622cdcea1e1fed9c1a3.tar.gz abc-5f318549cd1a7995ca8f1622cdcea1e1fed9c1a3.tar.bz2 abc-5f318549cd1a7995ca8f1622cdcea1e1fed9c1a3.zip | |
Improvements to the new technology mapper.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaJf.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index c826f346..cb80df7d 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -746,7 +746,7 @@ void Jf_ObjComputeCuts( Jf_Man_t * p, Gia_Obj_t * pObj ) Jf_ObjForEachCut( pCuts1, pCut1, i ) Sign1[i] = Jf_CutGetSign( pCut1 ); // merge cuts - p->CutCount[0] += Jf_CutSize(pCut0) * Jf_CutSize(pCut1); + p->CutCount[0] += pCuts0[0] * pCuts1[0]; Jf_ObjForEachCut( pCuts0, pCut0, i ) Jf_ObjForEachCut( pCuts1, pCut1, k ) { @@ -783,8 +783,8 @@ void Jf_ObjComputeCuts( Jf_Man_t * p, Gia_Obj_t * pObj ) p->CutCount[3] += c; // 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[0]->pCut[0])) / Jf_ObjRefs(p, iObj) ); + Vec_FltWriteEntry( &p->vFlow, iObj, (pSto[0]->Flow + 1) / 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 ); |