CMake如何验证循环是否已自动矢量化

Question

所有支持矢量化的C++编译器都允许发出一些报告(*)来验证循环是否被矢量化，每个都在矢量化报告中有自己的编译标志和格式。

我想在我的CMake构建中加入一个自动检查这一点的步骤，如果它没有自动矢量化，构建就会失败。

如何使用CMake完成此操作？

提前感谢

(*) MSVC https://docs.microsoft.com/en-us/cpp/build/reference/qvec-report-auto-vectorizer-reporting-level?view=msvc-160

gcc https://gcc.gnu.org/onlinedocs/gcc/Developer-Options.html

clang https://llvm.org/docs/Vectorizers.html#diagnostics

Answer 1

我想在我的CMake构建中加入一个步骤，它会自动检查这一点，如果没有自动矢量化，构建就会失败。

我如何在CMake中做到这一点？

按步骤应用dynamic programming：

1. 创建了一个算法，可以检测程序是否被“自动矢量化”。你可以使用编译器产生的一些输出和特殊的选项，为什么不呢，你也可以分解代码，找到“
   • ”，检查一些指令或syntax.

然后，

1. 编写一个实现该算法的可移植程序，最好是在某些可移植的language.
2. Add中作为自定义目标，以进行如下所示的检查：

​

add_executable(final_exe sources.c...)
 
add_exececutable(check_if_vectorized sources.c...) # if compiled, choose your own language
add_custom_target(check_if_final_exe_is_vectorized
     COMMENT "Check if final_exe was vectorized"
     COMMAND $<TARGET_FILE:check_if_vectorized> $<TARGET_FILE:final_exe>
     DEPENDS $<TARGET_FILE:check_if_vectorized> $<TARGET_FILE:final_exe>
)

您还可以使用add_test添加检查，并让它像测试一样运行。

有没有开箱即用的东西？

不是的。