Wie kann ich eine Intrinsic für die exp () - Funktion in x64-Code erhalten?

Ich habe den folgenden Code und erwarte die intrinsische Version vonexp() Funktion verwendet werden. Leider befindet es sich nicht in einem x64-Build, was es langsamer macht als ein ähnliches Win32 (d. H. 32-Bit-Build):

<code>#include "stdafx.h"
#include <cmath>
#include <intrin.h>
#include <iostream>

int main()
{
  const int NUM_ITERATIONS=10000000;
  double expNum=0.00001;
  double result=0.0;

  for (double i=0;i<NUM_ITERATIONS;++i)
  {
    result+=exp(expNum); // <-- The code of interest is here
    expNum+=0.00001;
  }

  // To prevent the above from getting optimized out...
  std::cout << result << '\n';
}
</code>

Ich benutze die folgenden Schalter für meinen Build:

<code>/Zi /nologo /W3 /WX-
/Ox /Ob2 /Oi /Ot /Oy /GL /D "WIN32" /D "NDEBUG" 
/D "_CONSOLE" /D "_UNICODE" /D "UNICODE" /Gm- 
/EHsc /GS /Gy /arch:SSE2 /fp:fast /Zc:wchar_t /Zc:forScope 
/Yu"StdAfx.h" /Fp"x64\Release\exp.pch" /FAcs /Fa"x64\Release\" 
/Fo"x64\Release\" /Fd"x64\Release\vc100.pdb" /Gd /errorReport:queue 
</code>

Wie Sie sehen können, habe ich/Oi, /O2 und/fp:fast wie nach dem vorgeschriebenMSDN-Artikel zu Intrinsics. Trotz meiner Bemühungen wird ein Anruf bei der Standardbibliothek getätigtexp() Bei x64-Builds langsamer arbeiten.

Hier ist die generierte Baugruppe:

<code>  for (double i=0;i<NUM_ITERATIONS;++i)
000000013F911030  movsd      xmm10,mmword ptr [__real@3ff0000000000000 (13F912248h)]  
000000013F911039  movapd     xmm8,xmm6  
000000013F91103E  movapd     xmm7,xmm9  
000000013F911043  movaps     xmmword ptr [rsp+20h],xmm11  
000000013F911049  movsd      xmm11,mmword ptr [__real@416312d000000000 (13F912240h)]  
  {
    result+=exp(expNum);
000000013F911052  movapd     xmm0,xmm7  
000000013F911056  call       exp (13F911A98h) // ***** exp lib call is here *****
000000013F91105B  addsd      xmm8,xmm10  
    expNum+=0.00001;
000000013F911060  addsd      xmm7,xmm9  
000000013F911065  comisd     xmm8,xmm11  
000000013F91106A  addsd      xmm6,xmm0  
000000013F91106E  jb         main+52h (13F911052h)  
  }
</code>

Wie Sie in der obigen Versammlung sehen können, gibt es einen Aufruf an dieexp() Funktion. Schauen wir uns nun den dafür generierten Code anfor Schleife mit einem 32-Bit-Build:

<code>  for (double i=0;i<NUM_ITERATIONS;++i)
00101031  xorps       xmm1,xmm1  
00101034  rdtsc  
00101036  push        ebx  
00101037  push        esi  
00101038  movsd       mmword ptr [esp+1Ch],xmm0  
0010103E  movsd       xmm0,mmword ptr [__real@3ee4f8b588e368f1 (102188h)]  
00101046  push        edi  
00101047  mov         ebx,eax  
00101049  mov         dword ptr [esp+3Ch],edx  
0010104D  movsd       mmword ptr [esp+28h],xmm0  
00101053  movsd       mmword ptr [esp+30h],xmm1  
00101059  lea         esp,[esp]  
  {
    result+=exp(expNum);
00101060  call        __libm_sse2_exp (101EC0h) // <--- Quite different from 64-bit
00101065  addsd       xmm0,mmword ptr [esp+20h]  
0010106B  movsd       xmm1,mmword ptr [esp+30h]  
00101071  addsd       xmm1,mmword ptr [__real@3ff0000000000000 (102180h)]  
00101079  movsd       xmm2,mmword ptr [__real@416312d000000000 (102178h)]  
00101081  comisd      xmm2,xmm1  
00101085  movsd       mmword ptr [esp+20h],xmm0  
    expNum+=0.00001;
0010108B  movsd       xmm0,mmword ptr [esp+28h]  
00101091  addsd       xmm0,mmword ptr [__real@3ee4f8b588e368f1 (102188h)]  
00101099  movsd       mmword ptr [esp+28h],xmm0  
0010109F  movsd       mmword ptr [esp+30h],xmm1  
001010A5  ja          wmain+40h (101060h)  
  }
</code>

Es gibt viel mehr Code, aber es ist schneller. Ein Timing-Test, den ich auf einem 3,3-GHz-Nehalem-EP-Host durchgeführt habe, ergab die folgenden Ergebnisse:

32-Bit:

Durchschnittliche Ausführungszeit für Schleifenkörper: 34,849229 Zyklen / 10,560373 ns

64-Bit:

Durchschnittliche Ausführungszeit für Schleifenkörper: 45,845323 Zyklen / 13,892522 ns

Sehr merkwürdiges Verhalten. Warum passiert es?

Aktualisieren:

Ich habe eine erstelltMicrosoft Connect-Fehlerbericht. Sie können es gerne hochstufen, um von Microsoft selbst eine maßgebliche Antwort auf die Verwendung von Gleitkomma-Eigenheiten zu erhalten, insbesondere in x64-Code.

Antworten auf die Frage(3)

Ihre Antwort auf die Frage