diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/bool/lucky/luckyFast16.c | 4 | ||||
| -rw-r--r-- | src/bool/lucky/luckyFast6.c | 4 |
2 files changed, 2 insertions, 6 deletions
diff --git a/src/bool/lucky/luckyFast16.c b/src/bool/lucky/luckyFast16.c index df646599..2d2fbf37 100644 --- a/src/bool/lucky/luckyFast16.c +++ b/src/bool/lucky/luckyFast16.c @@ -175,8 +175,6 @@ inline void minimalSwapAndFlipIVar_superFast_lessThen5(word* pInOut, int iVar, i { int min1, min2, DifStart0, DifStart1, DifStartMin; int M[2]; - int blockSize = 1<<iVar; -// int shiftSize = blockSize*4; M[0] = minTemp0_fast(pInOut, iVar, nWords, &DifStart0); // 0, 3 M[1] = minTemp1_fast(pInOut, iVar, nWords, &DifStart1); // 1, 2 @@ -512,8 +510,6 @@ inline void minimalSwapAndFlipIVar_superFast_moreThen5(word* pInOut, int iVar, i int min1, min2, DifStart0, DifStart1, DifStartMin; int M[2]; word temp[1024]; - int blockSize = 1<<(iVar-6); -// int shiftSize = blockSize*4; M[0] = minTemp0_fast_moreThen5(pInOut, iVar, nWords, &DifStart0); // 0, 3 M[1] = minTemp1_fast_moreThen5(pInOut, iVar, nWords, &DifStart1); // 1, 2 diff --git a/src/bool/lucky/luckyFast6.c b/src/bool/lucky/luckyFast6.c index a32a88a4..086a9bc6 100644 --- a/src/bool/lucky/luckyFast6.c +++ b/src/bool/lucky/luckyFast6.c @@ -49,7 +49,7 @@ void swapAndFlip(word* pAfter, int nVars, int iVarInPosition, int jVar, char * p *pUCanonPhase ^= (1 << iVarInPosition); *pUCanonPhase ^= (1 << jVar); } - if(*pUCanonPhase>>iVarInPosition & (unsigned)1 == 1) + if((*pUCanonPhase>>iVarInPosition) & 1) Kit_TruthChangePhase_64bit( pAfter, nVars, iVarInPosition ); } @@ -68,7 +68,7 @@ int luckyCheck(word* pAfter, word* pBefore, int nVars, char * pCanonPerm, unsign break; } } - if(uCanonPhase>>nVars & (unsigned)1 == 1) + if((uCanonPhase>>nVars) & 1) Kit_TruthNot_64bit(pAfter, nVars ); if(memcmp(pAfter, pBefore, Kit_TruthWordNum_64bit( nVars )*sizeof(word)) == 0) return 0; |