如何在编译时检测 SSE/SSE2/AVX/AVX2/AVX-512/AVX-128-FMA/KCVI 可用性?

How to detect SSE/SSE2/AVX/AVX2/AVX-512/AVX-128-FMA/KCVI availability at compile-time?

我正在尝试优化一些矩阵计算,我想知道是否可以在编译时检测到是否启用了 SSE/SSE2/AVX/AVX2/AVX-512/AVX-128-FMA/KCVI[1]编译器?非常适合 GCC 和 Clang,但我只能使用其中之一。

我不确定是否可行,也许我会使用我自己的宏,但我更愿意检测它而不是让用户 select 它。


[1] "KCVI" 代表 Knights Corner Vector Instruction 优化。像 FFTW 这样的库 detect/utilize 这些更新的指令优化。

大多数编译器会自动定义:

__SSE__
__SSE2__
__SSE3__
__AVX__
__AVX2__

等,根据您传递的任何命令行开关。您可以使用 gcc(或与 gcc 兼容的编译器,如 clang)轻松检查这一点,如下所示:

$ gcc -msse3 -dM -E - < /dev/null | egrep "SSE|AVX" | sort
#define __SSE__ 1
#define __SSE2__ 1
#define __SSE2_MATH__ 1
#define __SSE3__ 1
#define __SSE_MATH__ 1

或:

$ gcc -mavx2 -dM -E - < /dev/null | egrep "SSE|AVX" | sort
#define __AVX__ 1
#define __AVX2__ 1
#define __SSE__ 1
#define __SSE2__ 1
#define __SSE2_MATH__ 1
#define __SSE3__ 1
#define __SSE4_1__ 1
#define __SSE4_2__ 1
#define __SSE_MATH__ 1
#define __SSSE3__ 1

或者只检查特定平台上默认构建的预定义宏:

$ gcc -dM -E - < /dev/null | egrep "SSE|AVX" | sort
#define __SSE2_MATH__ 1
#define __SSE2__ 1
#define __SSE3__ 1
#define __SSE_MATH__ 1
#define __SSE__ 1
#define __SSSE3__ 1

最近的 Intel 处理器支持 AVX-512,它不是单片指令集。可以看到 GCC(版本 6.2)对下面两个示例的支持。

这里是 Knights Landing:

$ gcc -march=knl -dM -E - < /dev/null | egrep "SSE|AVX" | sort
#define __AVX__ 1
#define __AVX2__ 1
#define __AVX512CD__ 1
#define __AVX512ER__ 1
#define __AVX512F__ 1
#define __AVX512PF__ 1
#define __SSE__ 1
#define __SSE2__ 1
#define __SSE2_MATH__ 1
#define __SSE3__ 1
#define __SSE4_1__ 1
#define __SSE4_2__ 1
#define __SSE_MATH__ 1
#define __SSSE3__ 1

这是 Skylake AVX-512:

$ gcc -march=skylake-avx512 -dM -E - < /dev/null | egrep "SSE|AVX" | sort
#define __AVX__ 1
#define __AVX2__ 1
#define __AVX512BW__ 1
#define __AVX512CD__ 1
#define __AVX512DQ__ 1
#define __AVX512F__ 1
#define __AVX512VL__ 1
#define __SSE__ 1
#define __SSE2__ 1
#define __SSE2_MATH__ 1
#define __SSE3__ 1
#define __SSE4_1__ 1
#define __SSE4_2__ 1
#define __SSE_MATH__ 1
#define __SSSE3__ 1

英特尔披露了额外的 AVX-512 子集(参见 ISA extensions)。 GCC(版本 7)支持与 AVX-512 的 4FMAPS、4VNNIW、IFMA、VBMI 和 VPOPCNTDQ 子集关联的编译器标志和预处理器符号:

for i in 4fmaps 4vnniw ifma vbmi vpopcntdq ; do echo "==== $i ====" ; gcc -mavx512$i -dM -E - < /dev/null | egrep "AVX512" | sort ; done
==== 4fmaps ====
#define __AVX5124FMAPS__ 1
#define __AVX512F__ 1
==== 4vnniw ====
#define __AVX5124VNNIW__ 1
#define __AVX512F__ 1
==== ifma ====
#define __AVX512F__ 1
#define __AVX512IFMA__ 1
==== vbmi ====
#define __AVX512BW__ 1
#define __AVX512F__ 1
#define __AVX512VBMI__ 1
==== vpopcntdq ====
#define __AVX512F__ 1
#define __AVX512VPOPCNTDQ__ 1

请注意,SSE 宏不适用于 Visual C++。 You have to use _M_IX86_FP instead.

看看 archspec,一个正是为此目的构建的库:https://github.com/archspec/archspec