diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 21:10:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 21:10:03 -0700 |
| commit | bf69a345c9e709f49be518f1f22326d0cb398fec (patch) | |
| tree | b05167f5b444c0201c9127aa06eb94145d92987c /src | |
| parent | 794bd2fd33793e6ccc20672787b487fe52a773b7 (diff) | |
| download | abc-bf69a345c9e709f49be518f1f22326d0cb398fec.tar.gz abc-bf69a345c9e709f49be518f1f22326d0cb398fec.tar.bz2 abc-bf69a345c9e709f49be518f1f22326d0cb398fec.zip | |
Debugging 64-bit bug in new semi-canonical form..
Diffstat (limited to 'src')
| -rw-r--r-- | src/bool/lucky/luckyFast16.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/bool/lucky/luckyFast16.c b/src/bool/lucky/luckyFast16.c index fd7dca25..00e4bfc5 100644 --- a/src/bool/lucky/luckyFast16.c +++ b/src/bool/lucky/luckyFast16.c @@ -128,7 +128,7 @@ 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 ); +printf( "i = %d temp = %lxu \n", i, temp ); if( temp == 0) continue; @@ -137,8 +137,13 @@ printf( "i = %d temp = %ld \n", i, temp ); *pDifStart = i*100; while(temp == (temp<<(shiftSize*j))>>shiftSize*j) { -printf( "inside temp = %ld shiftSize = %d j = %d\n", temp, shiftSize, j ); +printf( "inside shiftSize = %d j = %d temp = %lxu RHS = %lxu exp = %d\n", + shiftSize, j, temp, (temp<<(shiftSize*j))>>shiftSize*j, temp == (temp<<(shiftSize*j))>>shiftSize*j ); + j++; + + if ( j == 100 ) + exit(1); } *pDifStart += 21 - j; if( ((pInOut[i] & SFmask[iVar][iQ])<<(iQ*blockSize)) <= ((pInOut[i] & SFmask[iVar][jQ])<<(jQ*blockSize)) ) |