5

我正在尝试深入了解 ASM 概念，并且在观察 MSVC 生成的反汇编时，有些东西我无法完全理解。这是我的测试用例：

#include <tchar.h>
#include <conio.h>
#include <iostream>
using namespace std;

int _tmain(int argc, _TCHAR* argv[])
{
    int v1 = 1;
    int v2 = 2;
    int v3 = 3;
    int v4 = 4;
    int v5 = 5;
    int v6 = 6;
    int v7 = 7;
    int v8 = 8;
    int v9 = 9;
    int v10 = 10;
    int v11 = 11;
    int v12 = 12;
    int v13 = 13;
    int v14 = 14;
    int v15 = 15;
    int v16 = 16;

    int sum = v1+v2 * (v3+v4 * (v5+v6 * (v7+v8 * (v9+v10 * (v11+v12 * (v13+v14 * (v15+v16)))))));

    _getch();
    return 0;
}

这会产生类似的东西：

    mov eax, v1
    mov edx, v3
    mov ecx, v5
    mov ebx, v7
    mov esi, v9
    mov edi, v11 // all 6 available registers are filled
    mov dword ptr [ebp-60h), eax // free eax   <<<<<<
    mov eax, v15 // fill it again
    add eax, v16
    imul eax, v12
    (...)

所以，我的问题是：编译器在标有 "<<<<<<" 的行上做了什么？我的猜测是它创建了一个变量来存储寄存器值。看起来它在堆栈上，因为它使用ebp，但它是类似于“全局变量”，还是当前范围（帧）中的变量只要？

提前致谢。

4

1 回答 1

4

MSVC 会将寄存器溢出到适当的内存：当它溢出一个保存具有块范围变量的寄存器时溢出到堆栈，或者当寄存器保存全局时溢出到固定偏移量。在任何时候，编译器都知道哪些变量在哪个寄存器中。

您不能将局部变量溢出到全局内存，因为由于线程和可重入性，它们的数量可能无法预测。编译器可能能够暂时将全局变量溢出到堆栈槽，但是在存在线程的情况下这是相当复杂的。

于 2012-11-13T12:04:29.933 回答