c++ - Visual Studio 2010 - 2015 不使用 ymm* 寄存器进行 AVX 优化

Question

我的笔记本电脑 CPU 仅支持 AVX(高级 vector 扩展)但不支持 AVX2。对于 AVX，128 位 xmm* 寄存器已经扩展到 256 位 ymm* 寄存器以进行浮点运算。但是，我测试过所有版本的 Visual Studio(从 2010 年到 2015 年)在/arch:AVX 优化下不使用 ymm* 寄存器，尽管它们在/arch:AVX2 优化下这样做。

下面显示了一个简单的 for 循环的反汇编。该程序在发布版本中使用/arch:AVX 编译，并启用所有优化选项。

    float a[10000], b[10000], c[10000];
    for (int x = 0; x < 10000; x++)
1000988F  xor         eax,eax  
10009891  mov         dword ptr [ebp-9C8Ch],ecx  
        c[x] = (a[x] + b[x])*b[x];
10009897  vmovups     xmm1,xmmword ptr c[eax]  
100098A0  vaddps      xmm0,xmm1,xmmword ptr c[eax]  
100098A9  vmulps      xmm0,xmm0,xmm1  
100098AD  vmovups     xmmword ptr c[eax],xmm0  
100098B6  vmovups     xmm1,xmmword ptr [ebp+eax-9C78h]  
100098BF  vaddps      xmm0,xmm1,xmmword ptr [ebp+eax-9C78h]  
100098C8  vmulps      xmm0,xmm0,xmm1  
100098CC  vmovups     xmmword ptr [ebp+eax-9C78h],xmm0  
100098D5  add         eax,20h  
100098D8  cmp         eax,9C40h  
100098DD  jl          ComputeTempo+67h (10009897h)  


    const int   winpts = (int)(window_size*sr+0.5);
100098DF  vxorps      xmm1,xmm1,xmm1  
100098E3  vcvtsi2ss   xmm1,xmm1,ecx  

我还测试了我可以使用 ymm* 寄存器来进一步加速我的程序而不会崩溃。我使用 IMM 内在函数来做到这一点，例如_mm256_mul_ps。

有没有微软编译器开发者给个解释？或者这可能是 Visual Studio 提供的代码比 gcc/g++ 编译器慢的原因之一？

=============已编辑==============

原来是因为在32位机器上运行32位操作系统和在64位机器上运行32位操作系统存在一些差异。在后一种情况下，某些操作系统可能不知道 ymm* 寄存器的存在，因此在上下文切换期间不会正确保留上半部分寄存器。因此，如果在 64 位机器上的 32 位操作系统上使用 ymm* 寄存器，如果发生上下文切换，如果另一个程序也在使用 ymm* 寄存器，则上半部分寄存器可能会悄悄损坏。 Visual Studio 在这方面有点保守。

Answer 1

我制作了一个文本文件vec.cpp

//vec.cpp
void foo(float *a, float *b, float *c) {
    for (int i = 0; i < 10000; i++) c[i] = (a[i] + b[i])*b[i];
}

在启用 Visual Studio 2015 x86 x64 的情况下转到命令行并执行

cl /c /O2 /arch:AVX /FA vec.cpp

查看文件vec.asm，我明白了

$LL4@foo:
    vmovups ymm0, YMMWORD PTR [rax-32]
    lea rax, QWORD PTR [rax+64]
    vmovups ymm2, ymm0
    vaddps  ymm0, ymm0, YMMWORD PTR [rcx+rax-96]
    vmulps  ymm2, ymm0, ymm2
    vmovups YMMWORD PTR [r8+rax-96], ymm2
    vmovups ymm0, YMMWORD PTR [rax-64]
    vmovups ymm2, ymm0
    vaddps  ymm0, ymm0, YMMWORD PTR [rcx+rax-64]
    vmulps  ymm2, ymm0, ymm2
    vmovups YMMWORD PTR [r8+rax-64], ymm2
    sub rdx, 1
    jne SHORT $LL4@foo
    vzeroupper

---

问题是您在 32 位模式下编译。使用上面相同的函数但在 32 位模式下编译我得到

$LL4@foo:
    lea eax, DWORD PTR [ebx+esi]
    lea ecx, DWORD PTR [ecx+32]
    lea esi, DWORD PTR [esi+32]
    vmovups xmm1, XMMWORD PTR [esi-48]
    vaddps  xmm0, xmm1, XMMWORD PTR [ecx-32]
    vmulps  xmm0, xmm0, xmm1
    vmovups XMMWORD PTR [edx+ecx-32], xmm0
    vmovups xmm1, XMMWORD PTR [esi-32]
    vaddps  xmm0, xmm1, XMMWORD PTR [eax]
    vmulps  xmm0, xmm0, xmm1
    vmovups XMMWORD PTR [eax+edx], xmm0
    sub edi, 1
    jne SHORT $LL4@foo