树向量化：gcc优化标志

Question

I have noticed that the gcc flag -ftree-vectorize is very useful for optimizing code.

I am trying to understand better how it works, but the doc is fairly concise:

Perform vectorization on trees. This flag enables -ftree-loop-vectorize and -ftree-slp-vectorize if not explicitly specified.

Does anyone know the inner workings of this flag?

Answer 1

Trees are an internal code representation used by GCC, and tree vectorization happens in this stage. In this representation, it's fairly easy to spot repeated instructions. If the code generator can emit SIMD instructions, it helps to bundle these repeated instructions already in the tree stage.

See tree-vectorizer.c for details.