0

我还在学习汇编和 C，但现在，我试图了解编译器是如何工作的。我这里有一个简单的代码：

int sub()
{
  return 0xBEEF;
}
main()
{
  int a=10;
  sub();
}

现在我已经知道 CPU 是如何工作的，跳转到帧和子程序等。我不明白的是程序“存储”它们的局部变量的位置。在这种情况下在主框架中？

这是调试器上的主框架：

   0x080483f6 <+0>:     push   %ebp
   0x080483f7 <+1>:     mov    %esp,%ebp
   0x080483f9 <+3>:     sub    $0x10,%esp
=> 0x080483fc <+6>:     movl   $0xa,-0x4(%ebp)
   0x08048403 <+13>:    call   0x80483ec <sub>
   0x08048408 <+18>:    leave  
   0x08048409 <+19>:    ret

我在“int a=10;”中 一个断点，这就是偏移量 6 有那个箭头的原因。所以，主要的功能开始像其他人推动ebp bla bla bla，然后我不明白这一点：

   0x080483f9 <+3>:     sub    $0x10,%esp
=> 0x080483fc <+6>:     movl   $0xa,-0x4(%ebp)

为什么在 esp 中做 sub ？堆栈上的变量 'a' 是堆栈指针的偏移量 -0x4 吗？

只是为了清除这里的想法：D

提前致谢！

4

1 回答 1

2 
   0x080483f9 <+3>:     sub    $0x10,%esp

您会在每个函数中找到这样的指令。它的目的是创建一个适当大小的堆栈帧，以便函数可以存储它的局部变量（记住堆栈是向后增长的！）。
在这种情况下，堆栈帧有点太大了。这是因为 gcc（从 2.96 开始）默认将堆栈帧填充到 16 字节边界，以考虑需要打包 128 位向量对齐到 16 字节的 SSEx 指令。（参考这里）。

=> 0x080483fc <+6>:     movl   $0xa,-0x4(%ebp)

此行将 a 初始化为正确的值 (0xa = 10d)。局部变量总是以相对于 ebp 的偏移量来引用，这标志着堆栈帧的开始（因此包含在 ebp 和 esp 之间）。

于 2013-10-06T14:44:17.803 回答