Debugging 64-bit bug in new semi-canonical form..

aff7f384 · Alan Mishchenko · 1cefca7d · aff7f384
Commit aff7f384 authored Sep 06, 2012 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

src/bool/lucky/luckyFast16.c
+4 -0

No files found.
--- 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));