diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 21:01:48 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 21:01:48 -0700 |
commit | 794bd2fd33793e6ccc20672787b487fe52a773b7 (patch) | |
tree | f05d57560134b6821a15d33cb57610f027eb1d11 | |
parent | aff7f38495b4377d9e991be5fa728f3b53ed463a (diff) | |
download | abc-794bd2fd33793e6ccc20672787b487fe52a773b7.tar.gz abc-794bd2fd33793e6ccc20672787b487fe52a773b7.tar.bz2 abc-794bd2fd33793e6ccc20672787b487fe52a773b7.zip |
Debugging 64-bit bug in new semi-canonical form..
-rw-r--r-- | src/bool/lucky/luckyFast16.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/bool/lucky/luckyFast16.c b/src/bool/lucky/luckyFast16.c index 1d0e16e8..fd7dca25 100644 --- a/src/bool/lucky/luckyFast16.c +++ b/src/bool/lucky/luckyFast16.c @@ -128,13 +128,18 @@ printf( "iVar = %d iQ = %d jQ = %d blockSize = %d shiftSize = %d nWords = % for(i=nWords - 1; i>=0; i--) { temp = ((pInOut[i] & SFmask[iVar][iQ])<<(iQ*blockSize)) ^ ((pInOut[i] & SFmask[iVar][jQ])<<(jQ*blockSize)); +printf( "i = %d temp = %ld \n", i, temp ); + if( temp == 0) continue; else { *pDifStart = i*100; while(temp == (temp<<(shiftSize*j))>>shiftSize*j) + { +printf( "inside temp = %ld shiftSize = %d j = %d\n", temp, shiftSize, j ); j++; + } *pDifStart += 21 - j; if( ((pInOut[i] & SFmask[iVar][iQ])<<(iQ*blockSize)) <= ((pInOut[i] & SFmask[iVar][jQ])<<(jQ*blockSize)) ) return 0; |