From 32b09a1e7bfe61f34fe362c3f6c2e645feeb38cf Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 30 Oct 2012 22:33:30 -0700 Subject: Improvements to the truth table computations. --- src/misc/util/utilTruth.h | 8 ++++---- src/opt/dau/dauCanon.c | 6 +++--- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index 30508498..476fd66b 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -642,7 +642,7 @@ static inline void Abc_TtPrintDigit( int Digit ) static inline void Abc_TtPrintHex( word * pTruth, int nVars ) { word * pThis, * pLimit = pTruth + Abc_TtWordNum(nVars); - int k, nDigits = 1 << (nVars-2); + int k; assert( nVars >= 2 ); for ( pThis = pTruth; pThis < pLimit; pThis++ ) for ( k = 0; k < 16; k++ ) @@ -652,7 +652,7 @@ static inline void Abc_TtPrintHex( word * pTruth, int nVars ) static inline void Abc_TtPrintHexRev( word * pTruth, int nVars ) { word * pThis; - int k, nDigits = 1 << (nVars-2); + int k; assert( nVars >= 2 ); for ( pThis = pTruth + Abc_TtWordNum(nVars) - 1; pThis >= pTruth; pThis-- ) for ( k = 15; k >= 0; k-- ) @@ -662,7 +662,7 @@ static inline void Abc_TtPrintHexRev( word * pTruth, int nVars ) static inline void Abc_TtPrintHexSpecial( word * pTruth, int nVars ) { word * pThis; - int k, nDigits = 1 << (nVars-2); + int k; assert( nVars >= 2 ); for ( pThis = pTruth + Abc_TtWordNum(nVars) - 1; pThis >= pTruth; pThis-- ) for ( k = 0; k < 16; k++ ) @@ -685,7 +685,7 @@ static inline void Abc_TtPrintHexSpecial( word * pTruth, int nVars ) static inline void Abc_TtPrintBinary( word * pTruth, int nVars ) { word * pThis, * pLimit = pTruth + Abc_TtWordNum(nVars); - int k, nDigits = 1 << (nVars-2); + int k; assert( nVars >= 2 ); for ( pThis = pTruth; pThis < pLimit; pThis++ ) for ( k = 0; k < 64; k++ ) diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index 5603d4ca..8646fc89 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -74,7 +74,7 @@ void Abc_TtConfactorTest7( word * pTruth, int nVars, int N ) { word Cof[4][1024]; int i, nWords = Abc_TtWordNum( nVars ); - int Counter = 0; +// int Counter = 0; for ( i = 0; i < nVars-1; i++ ) { Abc_TtCopy( Cof[0], pTruth, nWords, 0 ); @@ -221,7 +221,7 @@ void Abc_TtConfactorTest4( word * pTruth, int nVars, int N ) { word Cof[4][1024]; int i, j, nWords = Abc_TtWordNum( nVars ); - int Counter = 0, Sum = 0; + int Sum = 0; for ( i = 0; i < nVars-1; i++ ) for ( j = i+1; j < nVars; j++ ) { @@ -508,7 +508,7 @@ void Abc_TtConfactorTest10( word * pTruth, int nVars, int N ) void Abc_TtConfactorTest( word * pTruth, int nVars, int N ) { char pCanonPerm[32]; - static word pCopy1[1024]; +// static word pCopy1[1024]; static word pCopy2[1024]; int nWords = Abc_TtWordNum( nVars ); -- cgit v1.2.3