Question

我想使用

优化我的代码进行矢量化

-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.

谢谢！

Answer 1

对于它的价值，在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构建）或者有一个非常旧的编译器。

Answer 2

删除第一个循环并执行此操作

int a [2048]，b [2048]，c [2048] = {0};

也尝试此标记

-ftree-vectorize

而不是

-msse2 -ftree-vectorizer-verbose=2

为什么矢量化失败？

2 个答案: