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

Trying to fix the compilation issue.

This commit is contained in:
Alan Mishchenko 2024-07-31 22:25:01 -07:00
parent c62bfec2fd
commit 9f864ebe76
3 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/aig/aig/aigUtil.c
View File

@ -1169,8 +1169,13 @@ void Aig_ManRandomTest1()
***********************************************************************/ ***********************************************************************/
unsigned Aig_ManRandom( int fReset ) unsigned Aig_ManRandom( int fReset )
{ {
#ifdef _MSC_VER
static unsigned int m_z = NUMBER1;
static unsigned int m_w = NUMBER2;
#else
static __thread unsigned int m_z = NUMBER1; static __thread unsigned int m_z = NUMBER1;
static __thread unsigned int m_w = NUMBER2; static __thread unsigned int m_w = NUMBER2;
#endif
if ( fReset ) if ( fReset )
{ {
m_z = NUMBER1; m_z = NUMBER1;

5
src/aig/gia/giaUtil.c
View File

@ -48,8 +48,13 @@ ABC_NAMESPACE_IMPL_START
***********************************************************************/ ***********************************************************************/
unsigned Gia_ManRandom( int fReset ) unsigned Gia_ManRandom( int fReset )
{ {
#ifdef _MSC_VER
static unsigned int m_z = NUMBER1;
static unsigned int m_w = NUMBER2;
#else
static __thread unsigned int m_z = NUMBER1; static __thread unsigned int m_z = NUMBER1;
static __thread unsigned int m_w = NUMBER2; static __thread unsigned int m_w = NUMBER2;
#endif
if ( fReset ) if ( fReset )
{ {
m_z = NUMBER1; m_z = NUMBER1;

5
src/misc/util/utilSort.c
View File

@ -1003,8 +1003,13 @@ void Abc_QuickSortTest()
unsigned Abc_Random( int fReset ) unsigned Abc_Random( int fReset )
{ {
#ifdef _MSC_VER
static unsigned int m_z = NUMBER1;
static unsigned int m_w = NUMBER2;
#else
static __thread unsigned int m_z = NUMBER1; static __thread unsigned int m_z = NUMBER1;
static __thread unsigned int m_w = NUMBER2; static __thread unsigned int m_w = NUMBER2;
#endif
if ( fReset ) if ( fReset )
{ {
m_z = NUMBER1; m_z = NUMBER1;