“-flax-vector-conversions”对于 ARM 编译器究竟意味着什么？

如何解决“-flax-vector-conversions”对于 ARM 编译器究竟意味着什么？

我正在尝试从 arm-linux-gnueabihf gcc/g++ 编译器编写 xxx.toolchain.cmake。

让我困惑的是，我是否应该使用 -flax-vector-conversions 编译标志。我阅读了编译器的文档/手册页，它告诉：

-flax-vector-conversions

Allow implicit conversions between vectors with differing numbers of elements and/or incompatible element types. This option should not be used for new code.

（通过https://gcc.gnu.org/onlinedocs/gcc/C-Dialect-Options.html）

我的两个困惑：

这个解释中的“向量”是什么意思？有没有例子可以说明这一点？
“新代码”是什么意思？为什么“新代码”不应与此编译选项一起使用？

解决方法

GCC 提供 vector extensions，旨在提供一种以独立于机器的方式（与内在函数相反）访问 SIMD 指令的方法。这涉及使用 __attribute__((vector_size(n))) 定义的特殊向量类型，以帮助编译器理解 SIMD 指令使用的打包多元素数据类型。请注意，这与 C++ 的 std::vector 容器无关。

考虑以下代码：

typedef short eight_short __attribute__((vector_size(16)));
typedef int four_int __attribute__((vector_size(16)));

eight_short v1;
four_int v2;

void foo(void) {
    v2 = v1;
}

这里的 four_int 和 eight_short 是相应数量的元素和类型的向量。它们都是 16 字节，因此适合存储在 128 位 SIMD 寄存器中。将一个分配给另一个显然意味着“重新解释”（又名比特转换），但它也违反了类型安全。据推测，旧版本的编译器曾经接受这样的代码，并且可能有这样的代码，但编译器作者希望阻止它。因此默认情况下为 such code now causes an error，但它们提供了选项 -flax-vector-conversions，您可以在编译像 to suppress the error 这样的旧代码时使用该选项。

“新代码”是指您第一次编写的代码，您可以选择如何编写它。对于此类代码，您最有可能使用 v2 = reinterpret_cast<four_int>(v1);，而不是使用 -flax-vector-conversions。然后编译器会标记您忘记转换的任何地方（因为这可能是一个错误，您实际上意味着其他内容）。

如果您要编译遗留代码，最好的办法是先尝试在没有此选项的情况下进行构建。如果它构建成功，则不需要该选项，因此不要使用它。如果在转换向量类型时出现错误，您可以考虑使用此选项，或者在需要时使用显式强制转换重写代码。