mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Fix gcc build failure on ARM caused by including <emmintrin.h>
src/util/hwf.cpp tries to use <emmintrin.h> to directly use SSE intrinsics. Make sure to only use those when actually on x86 or x86_64.
This commit is contained in:
parent
5285a795ac
commit
fa598edf43
|
@ -29,7 +29,8 @@ Revision History:
|
|||
#include<fenv.h>
|
||||
#endif
|
||||
|
||||
#ifndef _M_IA64
|
||||
#if defined(__x86_64__) || defined(_M_X64) || \
|
||||
defined(__i386) || defined(_M_IX86)
|
||||
#define USE_INTRINSICS
|
||||
#endif
|
||||
|
||||
|
@ -47,7 +48,9 @@ Revision History:
|
|||
// Luckily, these are kind of standardized, at least for Windows/Linux/OSX.
|
||||
#ifdef __clang__
|
||||
#undef USE_INTRINSICS
|
||||
#else
|
||||
#endif
|
||||
|
||||
#ifdef USE_INTRINSICS
|
||||
#include <emmintrin.h>
|
||||
#endif
|
||||
|
||||
|
|
Loading…
Reference in a new issue