luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

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

This commit is contained in:
Alan Mishchenko 2012-09-06 21:01:48 -07:00
parent aff7f38495
commit 794bd2fd33
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/bool/lucky/luckyFast16.c
View File

@ -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;