我计划实现对SIMD扩展的运行时检测。如果我发现处理器支持AVX2，是否可以保证它也支持SSE4.2和AVX？
3个回答
11
支持更新的英特尔SIMD ISA扩展意味着支持以前的SIMD扩展。
AVX2明确意味着支持AVX1。
我认为AVX1意味着CPUID中还必须设置所有SSE/SSE2/SSE3/SSSE3/SSE4.1/SSE4.2特性位。虽然没有正式保证，但许多东西都基于这个假设，违反此假设的CPU可能不适用于一般用途。
请注意，popcnt有自己的特性位，所以理论上你可以拥有支持AVX2和SSE4.2的CPU，但不支持popcnt，但很多东西将SSE4.2视为支持popcnt。因此，更像是你可以宣传支持popcnt而不支持SSE4.2。
理论上，你可以制造一款带有AVX的CPU（或虚拟机），但不接受非VEX遗留SSE4.2指令编码，比如pcmpistri。但我认为这将违反英特尔关于AVX特性位含义的保证。虽然不确定是否在手册中正式写明，但大多数软件都会假设如此。
但是AVX1确实意味着支持对所有SSE4.2及之前的SIMD指令进行VEX编码，例如vpcmpistri或vminss。
gcc -mavx2绝对意味着AVX1和之前的扩展，但它只会生成使用VEX编码的代码。它会定义__SSE4_2__宏等，因此GCC将AVX2视为隐含了早期的SSE扩展和popcnt指令，但不包括FMA、AES-NI或PCLMUL。这些对于GCC来说是独立的特性。
（实际上，您应该使用gcc -march=native或gcc -march=znver1等选项来启用CPU支持的所有功能，并为其设置调优选项。不仅仅是-mavx2 -mfma，这会使调优设置处于不良默认状态，例如将每个可能不对齐的256位加载/存储分割为128位的子部分。）
（请注意，MSVC没有那么多SIMD ISA检测宏；它有一个用于AVX，但没有用于所有早期的SSE*扩展。MSVC的模型设计基于程序将在运行时进行CPU检测而不是针对本地机器进行编译的假设。尽管现在MSVC也具有使用AVX和AVX2作为基准的选项。）
注意AVX512有点打破传统。AVX512F意味着支持AVX2和之前的所有内容，但AVX512DQ并不是在AVX512ER之前或之后。理论上，你可以有其中一个、两个或都没有。（实际上，Skylake-X/Cannonlake等与Xeon Phi（Knight's Landing / Knight's Mill）只有一点重叠，超过了AVX512F。https://en.wikipedia.org/wiki/AVX-512#CPUs_with_AVX-512）
- Peter Cordes
1
3
如果我们设置编译器选项
-mavx2，GCC就不会在使用AVX或SSE内部函数时报错。因此，GCC认为存在AVX2标志就足以运行AVX和SSE代码。当然，这并不保证有人不会创建一个带有AVX2但没有SSE的CPU。- ErmIg
3
我猜这个问题可以重新表述为：是否已经有人制造了一款带有AVX2但没有SSE的商用CPU。 - rubund
1@Ruben 我认为创造这样的CPU没有意义。当我使用AVX2创建代码时（我已经这样做超过5年了），我当然也会使用AVX和SSE代码，而且我没有遇到任何问题。 - ErmIg
这样的CPU不具备商业可行性，因为它无法运行现有的真实世界代码。除非是在类似于Xeon-Phi的设备中，它只能运行专门为其编译的代码。(但如果是这样，为什么要选择x86而不是像AArch64或RISC-V这样更清晰、更便宜的ISA，除非你是英特尔...但无论如何，实际的Xeon Phi设备确实支持遗留的SSE4.2，AVX1/2和MMX/x87，所以你可以运行现有的二进制文件。我的例子的重点是一个更加特殊用途的设备。) - Peter Cordes
1
原则上，CPU可以只支持AVX2而不支持任何SSE4指令（这并不像听起来的那么愚蠢！）。但实际上，如果它支持AVX2，也会支持SSE4。
- robthebloke
1
我非常确定这不是真的。AVX2意味着AVX，而AVX意味着SSE4.2指令的VEX编码可用，例如
vpcmpistri。我认为它还意味着非VEX编码也可用。理论上，您可以制造一个不接受非VEX编码的CPU，但我认为您将违反英特尔关于AVX功能位所示内容的保证。不确定是否在手册中正式写下了这一点。 - Peter Cordes网页内容由stack overflow 提供, 点击上面的可以查看英文原文，
原文链接
原文链接
std::popcount。如果定义了AVX，则假定可用popcnt内部函数。如果未定义AVX，则对__ISA_AVAILABLE_SSE442进行运行时架构检查。换句话说，如果您的目标是AVX，则实现会假定包括popcnt在内的SSE4.2。 - Adrian McCarthy