diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 11:46:14 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 11:46:14 -0700 |
commit | 043cfcd775d067eadc400b7af40347e170a3774b (patch) | |
tree | 1647cd5ad61b95dd391a2c523e383a87e35d14ef /src/map/if/ifTest.c | |
parent | 023e92c4700283d4de6e60c5b5054c2d2452b98f (diff) | |
download | abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.gz abc-043cfcd775d067eadc400b7af40347e170a3774b.tar.bz2 abc-043cfcd775d067eadc400b7af40347e170a3774b.zip |
Concurrency for Boolean matching.
Diffstat (limited to 'src/map/if/ifTest.c')
-rw-r--r-- | src/map/if/ifTest.c | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/src/map/if/ifTest.c b/src/map/if/ifTest.c index bbadaca2..fa9a6444 100644 --- a/src/map/if/ifTest.c +++ b/src/map/if/ifTest.c @@ -21,7 +21,7 @@ #include "if.h" #include "aig/gia/gia.h" -//#ifdef ABC_USE_PTHREADS +#ifdef ABC_USE_PTHREADS #ifdef _WIN32 #include "../lib/pthread.h" @@ -30,7 +30,7 @@ #include <unistd.h> #endif -//#endif +#endif ABC_NAMESPACE_IMPL_START @@ -38,6 +38,12 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// +#ifndef ABC_USE_PTHREADS + +// do nothing + +#else // pthreads are used + static inline word * Gia_ParTestObj( Gia_Man_t * p, int Id ) { return (word *)p->pData + Id * p->iData; } static inline void Gia_ParTestAlloc( Gia_Man_t * p, int nWords ) { assert( !p->pData ); p->pData = (unsigned *)ABC_ALLOC(word, Gia_ManObjNum(p) * nWords); p->iData = nWords; } static inline void Gia_ParTestFree( Gia_Man_t * p ) { ABC_FREE( p->pData ); p->iData = 0; } @@ -339,6 +345,8 @@ void Gia_ParTest( Gia_Man_t * p, int nWords, int nProcs ) /// END OF FILE /// //////////////////////////////////////////////////////////////////////// +#endif // pthreads are used + ABC_NAMESPACE_IMPL_END |