OpenMP 为内联函数声明 SIMD

The 当前的 OpenMP 标准 http://www.openmp.org/mp-documents/openmp-4.5.pdf#subsection.2.8.2说关于declare simdC/C++ 指令：

在函数上使用声明 simd 构造可以创建 相关函数的 SIMD 版本可用于 在 SIMD 循环中处理来自单次调用的多个参数 同时。

本章中给出了更多详细信息，但对该指令可以应用的函数类型似乎没有限制。

所以我的问题是，该指令是否可以安全地应用于inline功能？

我这么问有两个原因：

1. An inlinefunction 是一个相当不寻常的函数，因为它通常直接内联在调用它的地方。因此它可能永远不会编译为独立函数，因此，declare simd它的方面与可能的情况相当多余simd封闭循环级别的指令。
2. 我有这样的代码inline declare simd函数，有时，出于某些模糊的原因，GCC 会抱怨它们在链接时的多重定义（名称被额外的字符破坏，表明这些是矢量化版本）。但如果我删除declare simd指令，它可以很好地编译和链接。

到目前为止我还没有想太多，但现在我很困惑。这是我的一个错误吗（即使用declare simd for inline函数）或者是 GCC 生成二进制向量化版本的问题inline函数并未能在链接时对它们进行排序？

EDIT:
有一个 GCC 编译器选项会有所不同。当启用内联时（使用-O3例如），代码可以正常编译和链接。但是当编译时-O0或与-O3 -fno-inline，内联被禁用，链接失败，并且该函数的“多重定义”装饰有omp declare simd指示。

EDIT 2:
感谢@Zboson 关于编译器标志的问题，我成功创建了一个重现器。这里是：

foobar.h:

#ifndef FOOBAR_H_
#define FOOBAR_H_

#include <cmath>

#pragma omp declare simd
inline double foo( double d ) {
    return sin( cos( exp( d ) ) );
}

double bar( double *v, int len );

#endif

foob​​ar.cc:

#include "foobar.h"

double bar( double *v, int len ) {
    double sum = 0;
    for ( int i = 0; i < len; i++ ) {
        sum += foo( v[i] );
    }
    return sum;
}

simd.cc:

#include <iostream>
#include "foobar.h"

int main() {

    const int len = 100;
    double *v = new double[len];

    for ( int i = 0; i < len; i++ ) {
        v[i] = i;
    }

    double sum = 0;
    #pragma omp simd reduction( +: sum )
    for ( int i = 0; i < len; i++ ) {
        sum += foo( v[i] );
    }

    std::cout << sum << "  " << bar( v, len ) << std::endl;

    delete[] v;

    return 0;
}

汇编:

> g++ -fopenmp -g simd.cc foobar.cc
/tmp/ccI4e7ip.o: In function `_ZGVbN2v__Z3food':
foobar.h:7: multiple definition of `_ZGVbN2v__Z3food'
/tmp/cc4U8Qyu.o:foobar.h:7: first defined here
/tmp/ccI4e7ip.o: In function `_ZGVbM2v__Z3food':
foobar.h:7: multiple definition of `_ZGVbM2v__Z3food'
/tmp/cc4U8Qyu.o:foobar.h:7: first defined here
/tmp/ccI4e7ip.o: In function `_ZGVcN4v__Z3food':
foobar.h:7: multiple definition of `_ZGVcN4v__Z3food'
/tmp/cc4U8Qyu.o:foobar.h:7: first defined here
/tmp/ccI4e7ip.o: In function `_ZGVcM4v__Z3food':
foobar.h:7: multiple definition of `_ZGVcM4v__Z3food'
foobar.h:7: first defined here
/tmp/ccI4e7ip.o: In function `_ZGVdN4v__Z3food':
foobar.h:7: multiple definition of `_ZGVdN4v__Z3food'
foobar.h:7: first defined here
/tmp/ccI4e7ip.o: In function `_ZGVdM4v__Z3food':
foobar.h:7: multiple definition of `_ZGVdM4v__Z3food'
foobar.h:7: first defined here
collect2: error: ld returned 1 exit status
> c++filt _ZGVdM4v__Z3food
_ZGVdM4v__Z3food
> c++filt _Z3food
foo(double)

Gcc 版本 4.9.2 和 5.1.0 都给出了完全相同的问题，而 Intel 编译器版本 15.0.3 编译得很好。

最终编辑:
赫里斯托·伊利耶夫的评论 https://stackoverflow.com/questions/34091341/openmp-declare-simd-for-an-inline-function#comment55959437_34097496 and Z玻色子的问题 https://stackoverflow.com/q/34110703/5239503让我感到安慰的是，我的代码符合 OpenMP 标准，而且这是 GCC 中的一个错误。我将尝试使用我能找到的最新版本进行进一步测试，并在需要时进行报告。

内联函数是一个相当不寻常的函数，因为它通常直接内联在调用它的地方。因此它可能永远不会被编译为独立函数。

这是不正确的。除非声明，否则具有或不具有内联的函数static具有外部链接。编译器必须生成该函数的独立版本（不会内联），以防从另一个目标文件调用该函数。如果您不需要独立函数，请声明该函数static。请参阅 Agner Fog 的第 8.3 节和标题“内联函数有一个非内联副本”用 C++ 优化软件 http://www.agner.org/optimize/optimizing_cpp.pdf更多细节。

Using static inline double foo您的代码不会出现错误。

现在让我们看看这些符号。不使用static

nm foobar.o | grep foo

gives

W _Z3food
T _ZGVbM2v__Z3food
T _ZGVbN2v__Z3food
T _ZGVcM4v__Z3food
T _ZGVcN4v__Z3food
T _ZGVdM4v__Z3food
T _ZGVdN4v__Z3food

and nm foobar.o | grep foo给出同样的东西。

大写“W”和“T”表示符号是外部的。然而“W”是弱符号 https://en.wikipedia.org/wiki/Weak_symbol这不会导致链接错误，但是“T”是一个强符号，会导致链接错误。这说明了链接器抱怨的原因。

结果是什么static inline？在这种情况下nm foobar.o | grep foo gives

t _ZGVbM2v__ZL3food
t _ZGVbN2v__ZL3food
t _ZL3food

and nm simd.o | grep foo给出同样的东西。但小写“t”表示符号具有本地链接，因此链接器没有问题。

如果我们不使用 OpenMP 进行编译foo产生的符号是_ZL3food。我不知道为什么 GCC 为函数的非 SIMD 版本生成弱符号，为 SIMD 版本生成强符号，所以我无法完全回答你的问题，但我认为这个信息仍然很有趣。