diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-07 19:20:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-07 19:20:34 -0700 |
| commit | 726a1d72e2670b3888026e11268477628aff8ca2 (patch) | |
| tree | db6b9f2e85d3f77c314da217d4bf2c3331c8dc9f /src/aig | |
| parent | 56e784a29af6bb5bcd7f9eed4889bdab3f52ac01 (diff) | |
| download | abc-726a1d72e2670b3888026e11268477628aff8ca2.tar.gz abc-726a1d72e2670b3888026e11268477628aff8ca2.tar.bz2 abc-726a1d72e2670b3888026e11268477628aff8ca2.zip | |
Improvements to the new technology mapper.
Diffstat (limited to 'src/aig')
| -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 d68b324d..4ee846ab 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -375,7 +375,7 @@ int Jf_CutRef_rec( Jf_Man_t * p, int * pCut, int fEdge, int Limit ) for ( i = 1; i <= pCut[0]; i++ ) if ( Gia_ObjRefIncId( p->pGia, pCut[i] ) == 0 ) Count += Jf_CutRef_rec( p, Jf_ObjCutBest(p, pCut[i]), fEdge, Limit - 1 ); - return Count + (fEdge ? pCut[0] : 1); + return Count + (fEdge ? (1 << 16) + pCut[0] : 1); } int Jf_CutDeref_rec( Jf_Man_t * p, int * pCut, int fEdge, int Limit ) { @@ -385,7 +385,7 @@ int Jf_CutDeref_rec( Jf_Man_t * p, int * pCut, int fEdge, int Limit ) for ( i = 1; i <= pCut[0]; i++ ) if ( Gia_ObjRefDecId( p->pGia, pCut[i] ) == 0 ) Count += Jf_CutDeref_rec( p, Jf_ObjCutBest(p, pCut[i]), fEdge, Limit - 1 ); - return Count + (fEdge ? pCut[0] : 1); + return Count + (fEdge ? (1 << 16) + pCut[0] : 1); } static inline int Jf_CutElaOld( Jf_Man_t * p, int * pCut, int fEdge ) { @@ -405,7 +405,7 @@ int Jf_CutRef2_rec( Jf_Man_t * p, int * pCut, int fEdge, int Limit ) if ( Gia_ObjRefIncId( p->pGia, pCut[i] ) == 0 ) Count += Jf_CutRef2_rec( p, Jf_ObjCutBest(p, pCut[i]), fEdge, Limit - 1 ); } - return Count + (fEdge ? pCut[0] : 1); + return Count + (fEdge ? (1 << 16) + pCut[0] : 1); } static inline int Jf_CutEla( Jf_Man_t * p, int * pCut, int fEdge ) { |