]>
Commit | Line | Data |
---|---|---|
3ff436a1 JB |
1 | --- GPI2-1.2.0/src/GPI2_Utility.h.orig 2015-05-13 17:42:36.000000000 +0200 |
2 | +++ GPI2-1.2.0/src/GPI2_Utility.h 2015-06-16 21:56:09.572397490 +0200 | |
18bf5c70 JB |
3 | @@ -25,7 +25,6 @@ |
4 | #include <stdlib.h> | |
5 | #include <stdio.h> | |
6 | #include <time.h> | |
7 | -#include <xmmintrin.h> | |
8 | ||
9 | #ifdef DEBUG | |
3ff436a1 JB |
10 | #include "GPI2.h" |
11 | @@ -56,7 +55,12 @@ | |
18bf5c70 | 12 | #ifdef MIC |
3ff436a1 | 13 | #define gaspi_delay() _mm_delay_32(32) |
18bf5c70 | 14 | #else |
3ff436a1 | 15 | -#define gaspi_delay() _mm_pause() |
18bf5c70 JB |
16 | +#if defined(__i386__) || defined(__x86_64__) |
17 | +#define gaspi_delay() __builtin_ia32_pause() | |
18 | +#else | |
19 | +#include <unistd.h> | |
20 | +#define gaspi_delay() usleep(0) | |
21 | +#endif | |
22 | #endif | |
23 | ||
24 |