使 gcc/clang 将函数识别为内置函数

Question

在 neovim 项目中，我们使用了一些标准功能，但并未在所有目标平台上实现。值得注意的是，stpcpy，很快还有mempcpy。 Currently we're solving that by supplying and using our own x variants of these functions.

一个例子：

char *xstpcpy(char *restrict dst, const char *restrict src)
  FUNC_ATTR_NONNULL_RET FUNC_ATTR_WARN_UNUSED_RESULT FUNC_ATTR_NONNULL_ALL
{
  const size_t len = strlen(src);
  return (char *)memcpy(dst, src, len + 1) + len;
}

然而，这仍然不是完全最优的，因为一些编译器，比如 gcc，知道这些函数的标准版本是做什么的，并且在给定足够的上下文时可以生成更好的代码：gcc code for stpcpy builtin。

我已经考虑在它们周围放置#ifdef 守卫，只有当它们没有被定义时才应该由我们提供，并且我们应该开始使用常规名称（stpcpy 而不是xstpcpy ）。但在这一点上，这将是一个更具侵入性的变化。我的问题是我是否可以告知 gcc xstpcpy 与 stpcpy 完全相同？

P.S.：一个相关问题：是否有一个标志，例如-std=c99，它强制 gcc/clang 无论如何都会发出对标准函数的调用？我似乎记得这样的事情，但现在找不到参考。如果-std=c99 确实禁用了内置扩展，我想知道如何在保持-std=c99 的同时启用内置扩展。

编辑：由于一切似乎都有些模糊，我一直在尝试一些事情。首先是代码：

#include <stdio.h>
#include <string.h>
#include <stdlib.h>

int main() {
    const char str[] = "we have stpcpy";

    printf("static\n");
    {
        char p1[256];
        char p2[256];

        char *end1 = stpcpy(p1, str);
        char *end2 = (stpcpy)(p2, str);

        printf("static using stpcpy?\np1 = %s (end = %p)\np2 = %s (end = %p)\n",
                p1, end1, p2, end2);
    }

    return 0;
}

结果（我在 OSX 上，但 godbolt 表明它在 linux 上类似）：

命令行：gcc-4.9 -O3 -save-temps -march=native stpcpy.c -o stpcpy gcc 4.9 似乎发出了对stpcpy_chk 的调用来代替stpcpy() 行，并发出常规_stpcpy（libc 调用）来代替(stpcpy)() 行。我本来希望 gcc 将其降低为 mempcpy，因为 stpcpy builtin code in the gcc codebase made 最初让我相信。

命令行：clang -O3 -save-temps -march=native stpcpy.c -o stpcpy (XCode clang 3.4) Clang 或多或少具有我对 gcc 的期望。它完全优化了对stpcpy 的调用。像这样创建 asm：

leaq    -258(%rbp), %rdx
movabsq $34182044572742432, %rax ## imm = 0x79706370747320
movq    %rax, -265(%rbp)
movabsq $2334402142592329079, %rcx ## imm = 0x2065766168206577
movq    %rcx, -272(%rbp)

而不是调用_stpcpy。

我想知道我是否可以让 gcc-4.9 做我想做的事。使用具有不同版本的godbolt，我无法像clang那样使用gcc创建类似的代码。

Answer 1

我不知道 stpcpy 的内置函数是如何工作的，但对于 memcpy，它要求大小是编译时间常数并且小于或等于 8192 字节。如果您的代码满足这两个要求（并且您不使用-fno-builtin），GCC 将使用内置的memcpy。我不知道有什么方法可以强制它使用 builtin 以获得更大的尺寸。

要禁用内置函数，您可以使用-fno-builtin。但是，-fno-builtinonly seems to work for GCC 4.9.x。

编辑： 要将内置函数与-std=c99 一起使用，请使用__builtin_memcpy。我刚试过这个，看了看汇编。使用memcpy 调用memcpy。使用__builtin_memcpy 直接构建内存副本。但是，如果您输入的大小大于 8192，它会调用 memcpy 函数。和-std=gnu99一样。

Answer 2

内置函数不是用户定义的。

你可以使用例如

#ifdef HAVE_STPCPY
#define xstpcpy stpcpy
#else
char *xstpcpy(char *restrict dst, const char *restrict src);
#endif

在你的头文件中，前提是你有HAVE_* 宏定义为configure。这将允许编译器在合理的情况下使用内置函数。

至于-std=c99 - C99 没有stpcpy，它是glibc 特有的功能。您可能使用隐式声明对其进行了测试。 gcc 如果原型不同，则无法确定函数是内置替换的候选函数。这是隐式声明引入的许多问题之一。

Answer 3

这可以通过定义一个与您的函数同名的宏来完成，如果您想避免在其余函数中使用内置函数，即使在使用 -fno-builtin 或 -ffreestanding 编译时也可以工作。

例如：

#define strlen __builtin_strlen
//or
#define strlen(...) __builtin_strlen(__VA_ARGS__)

注意：如果你把它命名为my_strlen()，你可以给strlen添加一个弱别名，让strlen被一个实际的strlen()函数（如果存在）覆盖

如果该值可以在编译时计算，它将被缩减为一个常量。 如果它不能减少到一个常数，那么它会：

• 用自己的优化版本替换调用
• 回退到您的版本

strlen 确实有一个内置替换（repne scazb 变体），但我不确定是否有办法（除了将其从编译器中删除）无需代码替换即可获得常量检查通过

编辑：添加宏以检查内置函数

#ifdef __clang__
    #define HAS(...) __has_builtin(__VA_ARGS__)
#elif defined __GNUC__ //assume gcc ... (where the list came from)
    #define HAS(...) 1
#else
    #define HAS(...) 0
#endif
#if HAS(__builtin_stpcpy)
    #define stpcpy __builtin_stpcpy
#endif