[Raymond Chen] 想知道为什么 x86 ENTER 指令有一个奇怪的第二个参数,它似乎总是设置为零。如果您想知道,[雷蒙德]解释了他在最近的一篇博客文章中学到的东西。
如果您曾经拆解过 C 编译器的输出或编写过汇编程序,您可能知道 ENTER 应该建立一个新的堆栈帧。据推测,您是一个子例程,并且一些参数已为您推送到堆栈上。该指令将指向 EBP 中这些参数的指针,然后调整堆栈指针以考虑局部变量。该局部变量大小是 ENTER 的第一个参数。
您很少看到它设置为非零值的原因是,最后一个参数是针对目前不常见的其他语言而提出的。简单来说,C 函数存在于全局范围内。当然,类和实例都有命名空间和方法。但通常情况下,C 编译器不会允许一个函数定义另一个函数,对吧?
事实证明,gcc 确实支持它作为扩展(但不支持 g++)。然而,查看输出代码表明它没有使用此功能,但它可以。这个想法是,嵌套函数可以“看到”属于封闭函数的任何局部变量。例如,如果您允许 gcc 使用其扩展,则此方法有效:
[代码语言=C]
#包括
无效测试()
{
整数a=10;
/* 嵌套函数 */
无效测试循环(int n)
{
while (n–) printf(“%d\n”,a);
}
测试循环(3);
printf(“再次\n”);
测试循环(2);
printf(“现在\n”);
a=33;
测试循环(5);
}
void main(int argc, char *argv[])
{
测试();
}
[/代码]
您可以看到 testloop 函数可以访问其参数、局部变量以及属于测试函数的局部变量。我们并不是说这是一个好主意,但它是可能的,并且在某些其他语言(例如 Pascal)中很常见。
在某些情况下,可以通过提供堆栈帧的链接列表来处理这种情况。然而,英特尔设计师决定采取不同的做法。当您向 ENTER 提供第二个非零参数时,它会将堆栈指针数组复制到局部变量空间中。这使得您的代码在执行时可能更加高效,但会对嵌套函数的函数调用造成惩罚。
不过,正如 [Raymond] 指出的那样,可能没有人使用此功能。当然,gcc 不会。如果您想确认一下,请在 Nest.c 中使用上述程序尝试这些命令来检查 32 位 x86:
gcc -m32 -g -o Nest Nest.c gcc -m32 -s -c Nest.c# 现在查看 Nest.s 和/或使用 gdb 反汇编 Nest
当然,如果您编写自己的程序集,则可以根据需要使用该功能。 x86 有一些疯狂的指令。如果您想知道是否应该学习汇编语言,我们的评论者希望与您交谈。
原文: https://hackaday.com/2023/12/12/x86-enter-whats-that-second-parameter/