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

Addressing platform-dependent computations in the CUDD package.

This commit is contained in:
Alan Mishchenko 2025-11-17 16:39:13 -08:00
parent 6f5c46632d
commit b319f57dde
6 changed files with 15 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/bdd/cudd/cuddGroup.c
View File

@ -679,11 +679,11 @@ ddUniqueCompareGroup(
int * ptrX, int * ptrX,
int * ptrY) int * ptrY)
{ {
#if 0 //#if 0
if (entry[*ptrY] == entry[*ptrX]) { if (entry[*ptrY] == entry[*ptrX]) {
return((*ptrX) - (*ptrY)); return((*ptrX) - (*ptrY));
} }
#endif //#endif
return(entry[*ptrY] - entry[*ptrX]); return(entry[*ptrY] - entry[*ptrX]);
} /* end of ddUniqueCompareGroup */ } /* end of ddUniqueCompareGroup */
@ -2170,4 +2170,3 @@ ddIsVarHandled(
ABC_NAMESPACE_IMPL_END ABC_NAMESPACE_IMPL_END

5
src/bdd/cudd/cuddLinear.c
View File

@ -873,11 +873,11 @@ ddLinearUniqueCompare(
int * ptrX, int * ptrX,
int * ptrY) int * ptrY)
{ {
#if 0 //#if 0
if (entry[*ptrY] == entry[*ptrX]) { if (entry[*ptrY] == entry[*ptrX]) {
return((*ptrX) - (*ptrY)); return((*ptrX) - (*ptrY));
} }
#endif //#endif
return(entry[*ptrY] - entry[*ptrX]); return(entry[*ptrY] - entry[*ptrX]);
} /* end of ddLinearUniqueCompare */ } /* end of ddLinearUniqueCompare */
@ -1370,4 +1370,3 @@ cuddXorLinear(
ABC_NAMESPACE_IMPL_END ABC_NAMESPACE_IMPL_END

5
src/bdd/cudd/cuddReorder.c
View File

@ -1325,11 +1325,11 @@ ddUniqueCompare(
int * ptrX, int * ptrX,
int * ptrY) int * ptrY)
{ {
#if 0 //#if 0
if (entry[*ptrY] == entry[*ptrX]) { if (entry[*ptrY] == entry[*ptrX]) {
return((*ptrX) - (*ptrY)); return((*ptrX) - (*ptrY));
} }
#endif //#endif
return(entry[*ptrY] - entry[*ptrX]); return(entry[*ptrY] - entry[*ptrX]);
} /* end of ddUniqueCompare */ } /* end of ddUniqueCompare */
@ -2140,4 +2140,3 @@ ddCheckPermuation(
ABC_NAMESPACE_IMPL_END ABC_NAMESPACE_IMPL_END

5
src/bdd/cudd/cuddSymmetry.c
View File

@ -609,11 +609,11 @@ ddSymmUniqueCompare(
int * ptrX, int * ptrX,
int * ptrY) int * ptrY)
{ {
#if 0 //#if 0
if (entry[*ptrY] == entry[*ptrX]) { if (entry[*ptrY] == entry[*ptrX]) {
return((*ptrX) - (*ptrY)); return((*ptrX) - (*ptrY));
} }
#endif //#endif
return(entry[*ptrY] - entry[*ptrX]); return(entry[*ptrY] - entry[*ptrX]);
} /* end of ddSymmUniqueCompare */ } /* end of ddSymmUniqueCompare */
@ -1703,4 +1703,3 @@ ddSymmSummary(
ABC_NAMESPACE_IMPL_END ABC_NAMESPACE_IMPL_END

5
src/bdd/cudd/cuddZddGroup.c
View File

@ -610,11 +610,11 @@ zddUniqueCompareGroup(
int * ptrX, int * ptrX,
int * ptrY) int * ptrY)
{ {
#if 0 //#if 0
if (entry[*ptrY] == entry[*ptrX]) { if (entry[*ptrY] == entry[*ptrX]) {
return((*ptrX) - (*ptrY)); return((*ptrX) - (*ptrY));
} }
#endif //#endif
return(entry[*ptrY] - entry[*ptrX]); return(entry[*ptrY] - entry[*ptrX]);
} /* end of zddUniqueCompareGroup */ } /* end of zddUniqueCompareGroup */
@ -1341,4 +1341,3 @@ zddMergeGroups(
ABC_NAMESPACE_IMPL_END ABC_NAMESPACE_IMPL_END

6
src/bdd/cudd/cuddZddReord.c
View File

@ -460,6 +460,11 @@ cuddZddUniqueCompare(
int * ptr_x, int * ptr_x,
int * ptr_y) int * ptr_y)
{ {
//#if 0
if (zdd_entry[*ptr_y] == zdd_entry[*ptr_x]) {
return((*ptr_x) - (*ptr_y));
}
//#endif
return(zdd_entry[*ptr_y] - zdd_entry[*ptr_x]); return(zdd_entry[*ptr_y] - zdd_entry[*ptr_x]);
} /* end of cuddZddUniqueCompare */ } /* end of cuddZddUniqueCompare */
@ -1665,4 +1670,3 @@ zddFixTree(
ABC_NAMESPACE_IMPL_END ABC_NAMESPACE_IMPL_END