mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
GLU -> GNU fix #1643
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
a9b1966ff2
commit
278fd03f19
|
@ -800,7 +800,7 @@ namespace sat {
|
|||
}
|
||||
|
||||
if (m_config.m_propagate_prefetch) {
|
||||
#if defined(__GLUC__) || defined(__clang__)
|
||||
#if defined(__GNUC__) || defined(__clang__)
|
||||
__builtin_prefetch((const char*)((m_watches[l.index()].c_ptr())));
|
||||
#else
|
||||
_mm_prefetch((const char*)((m_watches[l.index()].c_ptr())), _MM_HINT_T1);
|
||||
|
|
Loading…
Reference in a new issue