From ce0e96bcaa2db4e93c4e12acff46b25f01525331 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 6 Sep 2012 23:15:08 -0700 Subject: Debugging 64-bit bug in new semi-canonical form.. --- src/bool/lucky/luckyFast16.c | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/src/bool/lucky/luckyFast16.c b/src/bool/lucky/luckyFast16.c index 278d415c..c9cddd5a 100644 --- a/src/bool/lucky/luckyFast16.c +++ b/src/bool/lucky/luckyFast16.c @@ -71,10 +71,7 @@ inline int minTemp0_fast(word* pInOut, int iVar, int nWords, int* pDifStart) { *pDifStart = i*100; while(temp == (temp & luckyMask(shiftSize*j))) - { j++; - assert( j < 100 ); - } *pDifStart += 21 - j; if( ((pInOut[i] & SFmask[iVar][0])) < ((pInOut[i] & SFmask[iVar][3])<<(3*blockSize)) ) @@ -105,10 +102,7 @@ inline int minTemp1_fast(word* pInOut, int iVar, int nWords, int* pDifStart) { *pDifStart = i*100; while(temp == (temp & luckyMask(shiftSize*j))) - { j++; - assert( j < 100 ); - } *pDifStart += 21 - j; if( ((pInOut[i] & SFmask[iVar][1])<<(blockSize)) < ((pInOut[i] & SFmask[iVar][2])<<(2*blockSize)) ) return 1; @@ -139,10 +133,7 @@ inline int minTemp2_fast(word* pInOut, int iVar, int iQ, int jQ, int nWords, int { *pDifStart = i*100; while(temp == (temp & luckyMask(shiftSize*j))) - { j++; - assert( j < 100 ); - } *pDifStart += 21 - j; if( ((pInOut[i] & SFmask[iVar][iQ])<<(iQ*blockSize)) <= ((pInOut[i] & SFmask[iVar][jQ])<<(jQ*blockSize)) ) return 0; @@ -169,10 +160,7 @@ inline int minTemp3_fast(word* pInOut, int iVar, int start, int finish, int iQ, { *pDifStart = i*100; while(temp == (temp & luckyMask(shiftSize*j))) - { j++; - assert( j < 100 ); - } *pDifStart += 21 - j; if( ((pInOut[i] & SFmask[iVar][iQ])<<(iQ*blockSize)) <= ((pInOut[i] & SFmask[iVar][jQ])<<(jQ*blockSize)) ) -- cgit v1.2.3