diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 23:11:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 23:11:34 -0700 |
| commit | 5b3e31bd4d6536435722aca586c27d47e271ca2c (patch) | |
| tree | b150926f987dd10b6ca76ed0064326e7c53a411d /src | |
| parent | 894fc810414ea0e06f8ed504a89a8844c3cc129a (diff) | |
| download | abc-5b3e31bd4d6536435722aca586c27d47e271ca2c.tar.gz abc-5b3e31bd4d6536435722aca586c27d47e271ca2c.tar.bz2 abc-5b3e31bd4d6536435722aca586c27d47e271ca2c.zip | |
Debugging 64-bit bug in new semi-canonical form..
Diffstat (limited to 'src')
| -rw-r--r-- | src/bool/lucky/luckyFast16.c | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/bool/lucky/luckyFast16.c b/src/bool/lucky/luckyFast16.c index c9cddd5a..278d415c 100644 --- a/src/bool/lucky/luckyFast16.c +++ b/src/bool/lucky/luckyFast16.c @@ -71,7 +71,10 @@ 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)) ) @@ -102,7 +105,10 @@ 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; @@ -133,7 +139,10 @@ 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; @@ -160,7 +169,10 @@ 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)) ) |