Merge pull request #6916 from tautschnig/bugfixes/asm-x86

C library: __asm("<X>fence") is x86-only
diffblue · Jun 8, 2022 · 4a4755d · 4a4755d
2 parents 31e4ddf + e42a46d
commit 4a4755d
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/src/ansi-c/library/gcc.c b/src/ansi-c/library/gcc.c
@@ -1,24 +1,36 @@
 /* FUNCTION: __builtin_ia32_sfence */
 
+#if defined(__i386__) || defined(__x86_64__)
+
 void __builtin_ia32_sfence(void)
 {
   __asm("sfence");
 }
 
+#endif
+
 /* FUNCTION: __builtin_ia32_lfence */
 
+#if defined(__i386__) || defined(__x86_64__)
+
 void __builtin_ia32_lfence(void)
 {
   __asm("lfence");
 }
 
+#endif
+
 /* FUNCTION: __builtin_ia32_mfence */
 
+#if defined(__i386__) || defined(__x86_64__)
+
 void __builtin_ia32_mfence(void)
 {
   __asm("mfence");
 }
 
+#endif
+
 /* FUNCTION: __sync_synchronize */
 
 void __sync_synchronize(void)