在x86上如何将双精度函数传递给函数

我有以下函数需要3个双重参数。在我的调试器中，当达到此功能的中断时。检查函数的参数我没有看到3个双重论点。在x86上如何将双精度函数传递给函数

在x86平台上的双参数保存在栈上的功能？

下面是在WinDbg中的功能和拆卸。为什么我看不到在windbg中传递给函数的值为Args to Child？

vector<double> calculate_quadratic(double a, double b, double c) 
    { 
     double discriminant = (b * b) - 4 * a * c; 
     vector<double>result; 

     try 
     { 
      if (discriminant < 0) 
       throw Bad_Value{}; 
      else 
      { 
       double d = sqrt(discriminant); 
       double px = (-b + d)/(2 * a); 
       double nx = (-b - d)/(2 * a); 

       result.push_back(px); 
       result.push_back(nx); 
      } 
     } 
     catch (Bad_Value) 
     { 
      cerr << "invalid value" << endl; 
     } 

     return result; 
    } 


    0:000> kb 
    # ChildEBP RetAddr Args to Child 
    00 003dfd2c 0126ad86 003dfe30 00000000 3ff00000 quadratic!calculate_quadratic 
    01 003dfe84 0126ba6e 00000001 0043d080 0043dd18 quadratic!main+0xc6 
    02 003dfe98 0126b8d0 ac1dec02 00000000 00000000 quadratic!invoke_main+0x1e 
    03 003dfef0 0126b76d 003dff00 0126ba88 003dff0c quadratic!__scrt_common_main_seh+0x150 
    04 003dfef8 0126ba88 003dff0c 772c336a 7efde000 quadratic!__scrt_common_main+0xd 
    05 003dff00 772c336a 7efde000 003dff4c 777f9f72 quadratic!mainCRTStartup+0x8 
    06 003dff0c 777f9f72 7efde000 77465726 00000000 kernel32!BaseThreadInitThunk+0xe 
    07 003dff4c 777f9f45 01261127 7efde000 00000000 ntdll!__RtlUserThreadStart+0x70 
    08 003dff64 00000000 01261127 7efde000 00000000 ntdll!_RtlUserThreadStart+0x1b 

    0:000> r 
    eax=003dfe30 ebx=003dfd48 ecx=acd07c23 edx=582e27d8 esi=003dfd50 edi=003dfd4c 
    eip=01268f70 esp=003dfd30 ebp=003dfe84 iopl=0   nv up ei pl nz ac po nc 
    cs=0023 ss=002b ds=002b es=002b fs=0053 gs=002b    efl=00000212 
    quadratic!calculate_quadratic: 
    01268f70 push ebp 

    0:000> dv /t /v 
    003dfd38   double a = 1 
    003dfd40   double b = -3 
    003dfd48   double c = 2 
    003dfd0c   double discriminant = 1.7499487580265442e+127 
    003dfcf4   struct Vector<double> result = struct Vector<double>

倾倒顶框的ChildEBP我现在可以看到以相反的顺序在堆栈上的参数 - 在这种情况下，我用10个三次，其被表示为40240000亿

0:000> kb 
# ChildEBP RetAddr Args to Child 
00 004cfac4 0017ad86 004cfbc8 00000000 40240000 quadratic!calculate_quadratic 

0:000> dd 004cfac4 
004cfac4 5a23da80 0017ad86 004cfbc8 00000000 
004cfad4 40240000 00000000 40240000 00000000 
004cfae4 40240000 ed0a64cf 00000000 00000000 

0:000> .formats 4024000000000000 
Evaluate expression: 
    Hex:  40240000`00000000 
    Decimal: 4621819117588971520 
    Octal: 0400440000000000000000 
    Binary: 01000000 00100100 00000000 00000000 00000000 00000000 00000000 00000000 
    Chars: @$...... 
    Time: Fri Dec 18 11:22:38.897 16246 (UTC - 5:00) 
    Float: low 0 high 2.5625 
    Double: 10

来源

2017-02-25 dcrearer

我不知道有关Windows，但在Linux上，有适用于System V应用程序二进制接口，其中寄存器XMM0到XMM7用于传递浮点参数。你也应该转储这些寄存器。 – overseas

我期待在堆栈的顶部框架：00 003dfd2c 0126ad86 003dfe30 00000000 3ff00000二次calculate_quadratic ----我会尝试你的建议.... – dcrearer

@overseas你确定这是一个x86版本真（32位）？ –

的C/C++的默认调用约定是cdecl。在这个调用约定中，当为x86构建时，参数会以相反的顺序传递到堆栈上。当然，编译器选项或函数装饰可以覆盖这种行为。

看着你的WinDBG输出，前三堆栈条目（参数以子）是：

003dfe30 00000000 3ff00000

由于double为64个位宽你只关注一个和你的论点一半。第一个条目看起来是EAX的内容......编译器优化可能会在你的断点触发的时候将EAX推入堆栈？下一个值是00000000 3ff00000，即LE 3ff0000000000000 = 1(IEEE754)，最左边的参数和最后一个被传递到cdecl中的堆栈。

来源

2017-02-25 20:55:57

但看看我的堆栈的顶部框架我没有看到任何看起来像参数传入的值。 – dcrearer

@RbMm：除了你通过9个或更多浮点。当然这是非常不合理的。 – overseas

@RbMm：这与[documentation]（https://msdn.microsoft.com/en-us/library/zkwh89ks.aspx）有冲突。我很确定，至少使用[/fp:precise](https://msdn.microsoft.com/en-us/library/e7s85ffb.aspx），将浮点值传递到堆栈上（对于x86）。 x64总是使用SSE单元。 – IInspectable

如何参数传递是依赖于编译器和通常可以通过选择或编译器指令而改变。

如果用于传递浮点参数，大多数x86编译器将使用x87 FPU堆栈（ST0-ST7寄存器）或SSE寄存器（XMM0-XMM7）。在MSVC上，这由/ arch和/ fp选项控制。

来源

2017-02-25 21:35:35 galinette

'/ arch'和'/ fp'对调用约定没有影响。如果您认为调用代码*必须知道将参数放在哪里，那么编译器无法修改此行为。当然，函数本身可能会使用这些寄存器，但它不能期望在那里找到它的参数，因为调用代码不知道它应该将参数放在那里。这就是调用约定，调用约定的规则并不灵活。 –

在x86上如何将双精度函数传递给函数

回答

相关问题