Fix fallouts from previous patch

These kind of arch specific code is really nasty
to make it right becuase you need to verify on
all the platforms.

Now should compile properly also on ARM

Reported by Jean-Francois.

No functional change.

diff --git a/src/Makefile b/src/Makefile
index 2ad22de41bb55011e5d8baebec2a242c47ca1f5a..8c2c6a7028392642c5156cd92ee4329c72b4b899 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -175,6 +175,7 @@ endif
 ifeq ($(COMP),mingw)
        comp=mingw
        CXX=g++
 ifeq ($(COMP),mingw)
        comp=mingw
        CXX=g++

+       prefetch = yes

        profile_prepare = gcc-profile-prepare
        profile_make = gcc-profile-make
        profile_use = gcc-profile-use
        profile_prepare = gcc-profile-prepare
        profile_make = gcc-profile-make
        profile_use = gcc-profile-use


@@ -184,6 +185,7 @@ endif
 ifeq ($(COMP),gcc)
        comp=gcc
        CXX=g++
 ifeq ($(COMP),gcc)
        comp=gcc
        CXX=g++

+       prefetch = yes

        profile_prepare = gcc-profile-prepare
        profile_make = gcc-profile-make
        profile_use = gcc-profile-use
        profile_prepare = gcc-profile-prepare
        profile_make = gcc-profile-make
        profile_use = gcc-profile-use


@@ -202,6 +204,7 @@ endif
 ifeq ($(COMP),clang)
        comp=clang
        CXX=clang++
 ifeq ($(COMP),clang)
        comp=clang
        CXX=clang++

+       prefetch = yes

        profile_prepare = gcc-profile-prepare
        profile_make = gcc-profile-make
        profile_use = gcc-profile-use
        profile_prepare = gcc-profile-prepare
        profile_make = gcc-profile-make
        profile_use = gcc-profile-use

diff --git a/src/misc.cpp b/src/misc.cpp
index 167eedb3250517ed7c0106cd3a1c3c56b7143a86..1e1b220cb533da6cbee0319dcf6f56c66c327c3e 100644 (file)
--- a/src/misc.cpp
+++ b/src/misc.cpp
@@ -227,7 +227,9 @@ void prefetch(char*) {}
 
 #else
 
 
 #else
 

+#  if defined(__INTEL_COMPILER) || defined(__ICL) || defined(_MSC_VER)

 #   include <xmmintrin.h>
 #   include <xmmintrin.h>

+#  endif

 
 void prefetch(char* addr) {
 
 
 void prefetch(char* addr) {