From 564afbf88812844f83589d091bff88af55556de6 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Fri, 7 Aug 2020 02:12:09 +0200 Subject: [PATCH] Use __builtin_assume with clang. * lib/verify.h (_GL_HAS_BUILTIN_ASSUME): New macro. (assume): Use __builtin_assume when available. --- ChangeLog | 6 ++++++ lib/verify.h | 11 ++++++++++- 2 files changed, 16 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index d78accc3e6..19aff68253 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2020-08-06 Bruno Haible + + Use __builtin_assume with clang. + * lib/verify.h (_GL_HAS_BUILTIN_ASSUME): New macro. + (assume): Use __builtin_assume when available. + 2020-08-06 Paul Eggert libgmp: add support diff --git a/lib/verify.h b/lib/verify.h index f109761270..58172f3cb7 100644 --- a/lib/verify.h +++ b/lib/verify.h @@ -233,6 +233,13 @@ template /* @assert.h omit start@ */ +#if defined __has_builtin +/* */ +# define _GL_HAS_BUILTIN_ASSUME __has_builtin (__builtin_assume) +#else +# define _GL_HAS_BUILTIN_ASSUME 0 +#endif + #if 3 < __GNUC__ + (3 < __GNUC_MINOR__ + (4 <= __GNUC_PATCHLEVEL__)) # define _GL_HAS_BUILTIN_TRAP 1 #elif defined __has_builtin @@ -294,7 +301,9 @@ template diagnostics, performance can suffer if R uses hard-to-optimize features such as function calls not inlined by the compiler. */ -#if _GL_HAS_BUILTIN_UNREACHABLE +#if _GL_HAS_BUILTIN_ASSUME +# define assume(R) __builtin_assume (R) +#elif _GL_HAS_BUILTIN_UNREACHABLE # define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) #elif 1200 <= _MSC_VER # define assume(R) __assume (R) -- 2.39.5