首页 > 解决方案 > “-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

我的两个困惑:

  1. 这个解释中的“向量”是什么意思?有没有例子说明这一点?

  2. “新代码”是什么意思?为什么“新代码”不应该与这个编译选项一起使用?

标签: c++armcompiler-flags

解决方案


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

考虑以下代码:

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_inteight_short是相应数量的元素和类型的向量。它们都是 16 字节,因此适合存储在 128 位 SIMD 寄存器中。将一个分配给另一个显然意味着“重新解释”(又名位转换),但它也违反了类型安全。大概旧版本的编译器曾经接受这样的代码,并且可能有这样的代码,但编译器作者希望阻止它。因此,这样的代码现在默认会导致错误,但它们提供了-flax-vector-conversions在编译这样的旧代码时可以使用的选项来抑制错误

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

如果您正在编译遗留代码,最好的办法是首先尝试不使用此选项进行构建。如果它构建成功,则不需要该选项,因此不要使用它。如果它收到有关向量类型转换的错误,您可以考虑使用此选项,或者在需要时使用显式转换重写代码。


推荐阅读