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

Question

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

我可以启用相应的标志并直观地检查报告以检查我希望自动矢量化的循环是否确实自动矢量化。

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

如何使用 CMake 做到这一点？ 有没有人已经以某种方式解决了这个问题？

提前致谢

(*) MSVChttps://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

叮当https://llvm.org/docs/Vectorizers.html#diagnostics

Answer 1

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

如何在 CMake 中做到这一点？

逐步申请dynamic programming：

1. 创建一个可以检测程序是否“自动矢量化”的算法。
   • 您可以使用通过特殊选项生成的编译器的一些输出，为什么不呢。
   • 您还可以反汇编代码并找到“循环”并检查一些指令或语法。
2. 然后编写一个实现该算法的可移植程序，最好使用某种可移植语言。
3. 将自定义目标添加到 cmake 配置以运行可能如下所示的检查：

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 添加检查并让它像测试一样运行。

有什么开箱即用的方法吗？

没有。