Why does vectorization fail?

c++, vectorization

Solution

For what it's worth, after adding an `asm volatile("": "+m"(a), "+m"(b), "+m"(c)::"memory");` near the end of `main`, my copy of `gcc` emits this:

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>

So it recognised that the first loop was just doing `memset` to a couple arrays and the second loop was doing a vector addition, which it appropriately vectorised.

I'm using `gcc version 4.9.0 20140521 (prerelease) (GCC)`.

An older machine with `gcc version 4.7.2 (Debian 4.7.2-5)` also vectorises the loop, but in a different way. Your `-ftree-vectorizer-verbose=2` setting makes it emit the following output:

Analyzing loop at foo155.cc:10


Vectorizing loop at foo155.cc:10

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

You probably goofed your compiler flags (I used `g++ -O3 -ftree-vectorize -ftree-vectorizer-verbose=2 -march=native foo155.cc -o foo155` to build) or have a really old compiler.

Problem

I want to optimize my code for vectorization using ``` -msse2 -ftree-vectorizer-verbose=2. ``` I have the following simple code: ``` 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; } ``` Why do I get the note ``` test.cpp:10: note: not vectorized: not enough data-refs in basic block. ``` Thanks!

Original source