From 794bd2fd33793e6ccc20672787b487fe52a773b7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 6 Sep 2012 21:01:48 -0700 Subject: Debugging 64-bit bug in new semi-canonical form.. --- src/bool/lucky/luckyFast16.c | 5 +++++ 1 file changed, 5 insertions(+) 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; -- cgit v1.2.3