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

Fixing a big-endian issue in SOP manipulation and factoring.

This commit is contained in:
Alan Mishchenko 2024-12-22 14:15:35 -08:00
parent 207cfddaa8
commit 42c2c54969
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/misc/mvc/mvcUtils.c
View File

@ -276,7 +276,8 @@ int Mvc_CoverSetCubeSizes( Mvc_Cover_t * pCover )
int nBytes, nOnes;
// get the number of unsigned chars in the cube's bit strings
nBytes = pCover->nBits / (8 * sizeof(unsigned char)) + (int)(pCover->nBits % (8 * sizeof(unsigned char)) > 0);
// nBytes = pCover->nBits / (8 * sizeof(unsigned char)) + (int)(pCover->nBits % (8 * sizeof(unsigned char)) > 0);
nBytes = sizeof(Mvc_CubeWord_t) * pCover->nWords; // big-endian issue
// iterate through the cubes
Mvc_CoverForEachCube( pCover, pCube )
{
@ -298,13 +299,14 @@ int Mvc_CoverSetCubeSizes( Mvc_Cover_t * pCover )
Synopsis [Counts the cube sizes.]
Description []
Description [This procedure works incorrectly on big-endian machines.]
SideEffects []
SeeAlso []
***********************************************************************/
/*
int Mvc_CoverGetCubeSize( Mvc_Cube_t * pCube )
{
unsigned char * pByte, * pByteStart, * pByteStop;
@ -322,6 +324,7 @@ int Mvc_CoverGetCubeSize( Mvc_Cube_t * pCube )
nOnes += bit_count[*pByte];
return nOnes;
}
*/
/**Function*************************************************************
@ -351,7 +354,8 @@ int Mvc_CoverCountCubePairDiffs( Mvc_Cover_t * pCover, unsigned char pDiffs[] )
// allocate a temporary mask
pMask = Mvc_CubeAlloc( pCover );
// get the number of unsigned chars in the cube's bit strings
nBytes = pCover->nBits / (8 * sizeof(unsigned char)) + (int)(pCover->nBits % (8 * sizeof(unsigned char)) > 0);
// nBytes = pCover->nBits / (8 * sizeof(unsigned char)) + (int)(pCover->nBits % (8 * sizeof(unsigned char)) > 0);
nBytes = sizeof(Mvc_CubeWord_t) * pCover->nWords; // big-endian issue
// iterate through the cubes
nCubePairs = 0;
Mvc_CoverForEachCube( pCover, pCube1 )