rts/sm/Storage.c: tweak __clear_cache proto for clang
authorSergei Trofimovich <slyfox@gentoo.org>
Wed, 5 Jul 2017 07:36:08 +0000 (08:36 +0100)
committerSergei Trofimovich <slyfox@gentoo.org>
Wed, 5 Jul 2017 08:15:08 +0000 (09:15 +0100)
clang defines '__clear_cache' slightly differently from gcc:
    rts/sm/Storage.c:1349:13: error:
         error: conflicting types for '__clear_cache'
         |
    1349 | extern void __clear_cache(char * begin, char * end);
         |             ^
    extern void __clear_cache(char * begin, char * end);
                ^
         note: '__clear_cache' is a builtin with type 'void (void *, void *)'

Reported by Moritz Angermann.

While at it used '__builtin___clear_cache' if advertised by clang.

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
rts/sm/Storage.c

index e243517..7b97c01 100644 (file)
@@ -1341,7 +1341,13 @@ StgWord calcTotalCompactW (void)
 #include <libkern/OSCacheControl.h>
 #endif
 
-#if defined(__GNUC__)
+#if defined(__CLANG__)
+/* clang defines __clear_cache as a builtin on some platforms.
+ * For example on armv7-linux-androideabi. The type slightly
+ * differs from gcc.
+ */
+extern void __clear_cache(void * begin, void * end);
+#elif defined(__GNUC__)
 /* __clear_cache is a libgcc function.
  * It existed before __builtin___clear_cache was introduced.
  * See Trac #8562.
@@ -1360,11 +1366,18 @@ void flushExec (W_ len, AdjustorExecutable exec_addr)
 #elif (defined(arm_HOST_ARCH) || defined(aarch64_HOST_ARCH)) && defined(ios_HOST_OS)
   /* On iOS we need to use the special 'sys_icache_invalidate' call. */
   sys_icache_invalidate(exec_addr, len);
+#elif defined(__CLANG__)
+  unsigned char* begin = (unsigned char*)exec_addr;
+  unsigned char* end   = begin + len;
+# if __has_builtin(__builtin___clear_cache)
+  __builtin___clear_cache((void*)begin, (void*)end);
+# else
+  __clear_cache((void*)begin, (void*)end);
+# endif
 #elif defined(__GNUC__)
   /* For all other platforms, fall back to a libgcc builtin. */
   unsigned char* begin = (unsigned char*)exec_addr;
   unsigned char* end   = begin + len;
-
   /* __builtin___clear_cache is supported since GNU C 4.3.6.
    * We pick 4.4 to simplify condition a bit.
    */