diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-08 20:20:42 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-08 20:20:42 -0700 |
| commit | 6a86be4009bcd684f45549d15ae7b1fbc6f36d91 (patch) | |
| tree | 1b5155b350b001bb74a3ed961ba0db0636cb5fa3 /src/aig/gia/giaJf.c | |
| parent | 5f318549cd1a7995ca8f1622cdcea1e1fed9c1a3 (diff) | |
| download | abc-6a86be4009bcd684f45549d15ae7b1fbc6f36d91.tar.gz abc-6a86be4009bcd684f45549d15ae7b1fbc6f36d91.tar.bz2 abc-6a86be4009bcd684f45549d15ae7b1fbc6f36d91.zip | |
Improvements to the new technology mapper.
Diffstat (limited to 'src/aig/gia/giaJf.c')
| -rw-r--r-- | src/aig/gia/giaJf.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index cb80df7d..6f94cd05 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -290,7 +290,7 @@ static inline float Jf_CutFlow( Jf_Man_t * p, int * pCut ) SeeAlso [] ***********************************************************************/ -static inline int Jf_CutMerge2( int * pCut0, int * pCut1, int * pCut, int LutSize ) +static inline int Jf_CutMerge( int * pCut0, int * pCut1, int * pCut, int LutSize ) { int * pC0 = pCut0 + 1; int * pC1 = pCut1 + 1; @@ -365,7 +365,7 @@ static inline int Jf_CutFindLeaf0( int * pCut, int iObj ) return i; return i; } -static inline int Jf_CutIsContained0( int * pBase, int * pCut ) // check if pCut is contained pBase +static inline int Jf_CutIsContained( int * pBase, int * pCut ) // check if pCut is contained pBase { int i; for ( i = 1; i <= pCut[0]; i++ ) @@ -408,7 +408,7 @@ static inline int Jf_CutFindLeaf( int * pCut, int iLit ) return i; return i; } -static inline int Jf_CutIsContained( int * pBase, int * pCut ) // check if pCut is contained pBase +static inline int Jf_CutIsContained9( int * pBase, int * pCut ) // check if pCut is contained pBase { int i; for ( i = 1; i <= pCut[0]; i++ ) @@ -430,7 +430,7 @@ static inline int Jf_CutMerge8( int * pCut0, int * pCut1, int * pCut, int LutSiz memcpy( pCut + 1, pCut0 + 1, sizeof(int) * pCut0[0] ); return 1; } -static inline int Jf_CutMerge( int * pCut0, int * pCut1, int * pCut, int LutSize ) +static inline int Jf_CutMerge9( int * pCut0, int * pCut1, int * pCut, int LutSize ) { int ConfigMask = 0x3FFFF; // 18 bits int i, iPlace; |