转换后的代码不执行给定的操作[重复]

Question

我的任务是根据 AT&T 语法将某个代码从 C++ 转换为 ASM，所以我从简单的示例开始，遇到了第一个问题。

我开始练习的代码

void func() {
  int num = 1;
  std::cout << "before: " << num << std::endl;
  num = num << 3;
  std::cout << "after: " << num << std::endl;
}

给出一个结果：

before: 1
after: 8

我的翻译 变量 num 是第一个局部变量，所以它应该在地址 -4(%ebp)

void func() {
  int num = 1;
  std::cout << "before: " << num << std::endl;
  asm (
    "mov -4(%ebp), %eax         \n"
    "sall $3, %eax              \n"
    "mov %eax, -4(%ebp)         \n"
  );
  std::cout << "after: " << num << std::endl;
}

给出一个结果：

before: 1
after: 1

为什么这段代码对 num var 没有影响？

Answer 1

您正在编写的代码是非常特定于实现的。在您的情况下，代码可能不起作用，因为您使用的是 32 位寻址寄存器 ebp，而您在使用 rbp 的 64 位机器上运行。

但是您的处理方法不正确。要么编写纯汇编，要么使用正确的（扩展的）C 内联汇编，它与局部变量正确接口。否则，正如您自己所经历的那样，一旦您更改某些内容，代码就会中断。

according to this answer 内联汇编应该如下所示：

asm ( "assembly code"
    : output operands                  /* optional */
    : input operands                   /* optional */
    : list of clobbered registers      /* optional */
);

所以你的代码看起来像

asm (
    "mov %0, %%eax;"
    "sal $3, %%eax;"
    "mov %%eax, %1;"
    :"=r" (num)
    :"r" (num)
    :"%eax"
);

但是，您不需要指定和使用eax，因此代码可以简化（和澄清）为

asm (
    "sal $3, %[num];"
    :[num] "+r" (num)
);