树向量化：gcc优化标志

Question

我注意到gcc标志-ftree-vectorize对于优化代码非常有用。

我试图更好地理解它是如何工作的，但是该文档相当简洁：

在树上执行矢量化。 如果未明确指定，则此标志启用-ftree-loop-vectorize和-ftree-slp-vectorize。

有人知道这个标志的内部运作方式吗？

Answer 1

树是GCC使用的内部代码表示形式，并且树矢量化在此阶段进行。 在这种表示形式中，很容易发现重复的指令。 如果代码生成器可以发出SIMD指令，则有助于在树级中捆绑这些重复的指令。

有关详细信息，请参见tree-vectorizer.c。