假设我定义了一个新的struct：

struct s {
   int *x;
   struct {
      short sh[2];
      int i;
   } w;
   struct s *next;
};

另外，我写了一个函数来初始化它：

void init_s(struct s *ss) {
   ss->w.sh[1] = /* Line 1 */;
   ss->x = /* Line 2 */;
   ss->next = /* Line 3 */;
}

编译器为 生成以下汇编代码init_s：

init_s:             # line 1
   movw 8(%rdi), %ax    # line 2
   movw %ax, 10(%rdi)   # line 3
   leaq 12(%rdi), %rax  # line 4
   movq %rax, (%rdi)    # line 5
   movq %rdi, 16(%rdi)  # line 6
   retq                 # line 7

我想做的是init_s根据程序集填写缺少的代码行。我已经想通了（或者至少我这么认为）第 1 行和第 2 行。第 1 行应该是ss->w.sh[0]，第 2 行应该是&(ss->w.sh[2])。但是，我在第 3 行遇到了问题。我认为它将&(ss->x)基于程序集，但我觉得这是不正确的，我不知道为什么。任何反馈或建议都将非常感谢帮助我了解有关程序集和结构的更多信息。

回答