为什么矢量化失败？

我想使用优化我的矢量化代码

-msse2 -ftree-vectorizer-verbose=2.

我有以下简单的代码：

int main(){
  int a[2048], b[2048], c[2048];
  int i;

  for (i=0; i<2048; i++){
      b[i]=0;
      c[i]=0;
  }

  for (i=0; i<2048; i++){
    a[i] = b[i] + c[i];
  }
  return 0;
}

为什么我会收到注释

 test.cpp:10: note: not vectorized: not enough data-refs in basic block.

Thanks!

对于它的价值，添加后asm volatile("": "+m"(a), "+m"(b), "+m"(c)::"memory");接近尾声main，我的副本gcc发出这个：

400610:       48 81 ec 08 60 00 00    sub    $0x6008,%rsp
400617:       ba 00 20 00 00          mov    $0x2000,%edx
40061c:       31 f6                   xor    %esi,%esi
40061e:       48 8d bc 24 00 20 00    lea    0x2000(%rsp),%rdi
400625:       00
400626:       e8 b5 ff ff ff          callq  4005e0 <memset@plt>
40062b:       ba 00 20 00 00          mov    $0x2000,%edx
400630:       31 f6                   xor    %esi,%esi
400632:       48 8d bc 24 00 40 00    lea    0x4000(%rsp),%rdi
400639:       00
40063a:       e8 a1 ff ff ff          callq  4005e0 <memset@plt>
40063f:       31 c0                   xor    %eax,%eax
400641:       0f 1f 80 00 00 00 00    nopl   0x0(%rax)
400648:       c5 f9 6f 84 04 00 20    vmovdqa 0x2000(%rsp,%rax,1),%xmm0
40064f:       00 00
400651:       c5 f9 fe 84 04 00 40    vpaddd 0x4000(%rsp,%rax,1),%xmm0,%xmm0
400658:       00 00
40065a:       c5 f8 29 04 04          vmovaps %xmm0,(%rsp,%rax,1)
40065f:       48 83 c0 10             add    $0x10,%rax
400663:       48 3d 00 20 00 00       cmp    $0x2000,%rax
400669:       75 dd                   jne    400648 <main+0x38>

所以它认识到第一个循环只是在做memset到几个数组，第二个循环正在执行向量加法，并对其进行了适当的向量化。

我在用着gcc version 4.9.0 20140521 (prerelease) (GCC).

一台较旧的机器gcc version 4.7.2 (Debian 4.7.2-5)也对循环进行矢量化，但以不同的方式。你的-ftree-vectorizer-verbose=2设置使其发出以下输出：

Analyzing loop at foo155.cc:10


Vectorizing loop at foo155.cc:10

10: LOOP VECTORIZED.
foo155.cc:1: note: vectorized 1 loops in function.

你可能搞砸了你的编译器标志（我用过g++ -O3 -ftree-vectorize -ftree-vectorizer-verbose=2 -march=native foo155.cc -o foo155构建）或有一个非常旧的编译器。