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

Only use __int128 on architectures where it is present. 

With GCC and Clang, look for the __SIZEOF_INT128__ define only defined
when __int128 is present before trying to use it.

This fixes build problem on all 32 bit Linux architectures.
This commit is contained in:
Petter Reinholdtsen 2026-05-05 13:04:37 +02:00 committed by Miodrag Milanovic
parent 405511f850
commit d217b35192
1 changed files with 18 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
src/misc/util/utilAigSim.c
View File

@ -34,6 +34,11 @@
#include <sys/stat.h> #include <sys/stat.h>
#endif #endif
// defined by gcc and clang when __int128 is available
#if defined(__SIZEOF_INT128__)
# define HAVE_INT_128
#endif
#ifdef _WIN32 #ifdef _WIN32
// Windows doesn't have __builtin_ctzll, implement it using portable algorithm // Windows doesn't have __builtin_ctzll, implement it using portable algorithm
static inline int __builtin_ctzll(uint64_t x) { static inline int __builtin_ctzll(uint64_t x) {
@ -187,8 +192,9 @@ static inline uint64_t u64_mask_n(int nBits) {
return (nBits >= 64) ? ~0ull : ((nBits <= 0) ? 0ull : ((1ull << nBits) - 1ull)); return (nBits >= 64) ? ~0ull : ((nBits <= 0) ? 0ull : ((1ull << nBits) - 1ull));
} }
#ifdef _WIN32 #ifndef HAVE_INT_128
// Windows doesn't support __int128, so we limit to 32 variables on Windows // Most 32 bit platforms and Windows doesn't support __int128, so we
// limit to 32 variables on those.
static void u128_to_dec(uint64_t x, char *buf, size_t cap) { static void u128_to_dec(uint64_t x, char *buf, size_t cap) {
char tmp[64]; int n = 0; char tmp[64]; int n = 0;
if (!x) { snprintf(buf, cap, "0"); return; } if (!x) { snprintf(buf, cap, "0"); return; }
@ -397,10 +403,10 @@ static int SimulateCompareAigAig(const AigMan *p1, const AigMan *p2,
const uint64_t inMask = u64_mask_n(p1->nCis); const uint64_t inMask = u64_mask_n(p1->nCis);
const uint64_t outMask = u64_mask_n(p1->nCos); const uint64_t outMask = u64_mask_n(p1->nCos);
#ifdef _WIN32 #ifndef HAVE_INT_128
// Windows doesn't support __int128, limit to 32 variables // No support for __int128, limit to 32 variables
if (nVars > 32) { if (nVars > 32) {
fprintf(stderr, "Error: Windows build supports nVars<=32 (got nVars=%d)\n", nVars); fprintf(stderr, "Error: This architecture build supports nVars<=32 (got nVars=%d)\n", nVars);
return 0; return 0;
} }
const uint64_t combs = ((uint64_t)1) << (unsigned)nVars; const uint64_t combs = ((uint64_t)1) << (unsigned)nVars;
@ -420,7 +426,7 @@ static int SimulateCompareAigAig(const AigMan *p1, const AigMan *p2,
uint64_t inVec[BATCH], valid[NW]; uint64_t inVec[BATCH], valid[NW];
unsigned long long rounds = 0; unsigned long long rounds = 0;
#ifdef _WIN32 #ifndef HAVE_INT_128
uint64_t patsDone = 0; uint64_t patsDone = 0;
#else #else
unsigned __int128 patsDone = 0; unsigned __int128 patsDone = 0;
@ -428,7 +434,7 @@ static int SimulateCompareAigAig(const AigMan *p1, const AigMan *p2,
clock_t t0 = clock(); clock_t t0 = clock();
#ifdef _WIN32 #ifndef HAVE_INT_128
for (uint64_t base = 0; base < combs; base += BATCH) { for (uint64_t base = 0; base < combs; base += BATCH) {
uint64_t remain = combs - base; uint64_t remain = combs - base;
#else #else
@ -535,10 +541,10 @@ static int SimulateCompareAigBin(const AigMan *p1, const char *bin,
const uint64_t inMask = u64_mask_n(p1->nCis); const uint64_t inMask = u64_mask_n(p1->nCis);
const uint64_t outMask = u64_mask_n(p1->nCos); const uint64_t outMask = u64_mask_n(p1->nCos);
#ifdef _WIN32 #ifndef HAVE_INT_128
// Windows doesn't support __int128, limit to 32 variables // No support for __int128, limit to 32 variables
if (nVars > 32) { if (nVars > 32) {
fprintf(stderr, "Error: Windows build supports nVars<=32 (got nVars=%d)\n", nVars); fprintf(stderr, "Error: This architecture build supports nVars<=32 (got nVars=%d)\n", nVars);
return 0; return 0;
} }
const uint64_t combs = ((uint64_t)1) << (unsigned)nVars; const uint64_t combs = ((uint64_t)1) << (unsigned)nVars;
@ -565,7 +571,7 @@ static int SimulateCompareAigBin(const AigMan *p1, const char *bin,
uint64_t inVec[BATCH], valid[NW]; uint64_t inVec[BATCH], valid[NW];
unsigned long long rounds = 0; unsigned long long rounds = 0;
#ifdef _WIN32 #ifndef HAVE_INT_128
uint64_t patsDone = 0; uint64_t patsDone = 0;
#else #else
unsigned __int128 patsDone = 0; unsigned __int128 patsDone = 0;
@ -573,7 +579,7 @@ static int SimulateCompareAigBin(const AigMan *p1, const char *bin,
clock_t t0 = clock(); clock_t t0 = clock();
#ifdef _WIN32 #ifndef HAVE_INT_128
for (uint64_t base = 0; base < combs; base += BATCH) { for (uint64_t base = 0; base < combs; base += BATCH) {
uint64_t remain = combs - base; uint64_t remain = combs - base;
#else #else