diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 20:58:14 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-06 20:58:14 -0700 |
| commit | aff7f38495b4377d9e991be5fa728f3b53ed463a (patch) | |
| tree | 53087575a9fa2714090f24cab61ccb9519d1b8fd /src/bool | |
| parent | 1cefca7dea8a5b4b33d54acc24ace308742c227a (diff) | |
| download | abc-aff7f38495b4377d9e991be5fa728f3b53ed463a.tar.gz abc-aff7f38495b4377d9e991be5fa728f3b53ed463a.tar.bz2 abc-aff7f38495b4377d9e991be5fa728f3b53ed463a.zip | |
Debugging 64-bit bug in new semi-canonical form..
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/lucky/luckyFast16.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/bool/lucky/luckyFast16.c b/src/bool/lucky/luckyFast16.c index a90d57fc..1d0e16e8 100644 --- a/src/bool/lucky/luckyFast16.c +++ b/src/bool/lucky/luckyFast16.c @@ -121,6 +121,10 @@ inline int minTemp2_fast(word* pInOut, int iVar, int iQ, int jQ, int nWords, int int blockSize = 1<<iVar; int shiftSize = blockSize*4; word temp; + +printf( "iVar = %d iQ = %d jQ = %d blockSize = %d shiftSize = %d nWords = %d\n", + iVar, iQ, jQ, blockSize, shiftSize, nWords ); + for(i=nWords - 1; i>=0; i--) { temp = ((pInOut[i] & SFmask[iVar][iQ])<<(iQ*blockSize)) ^ ((pInOut[i] & SFmask[iVar][jQ])<<(jQ*blockSize)); |