可变大小堆栈框架的程序集（关于局部变量的堆栈）

Question

long vframe(long n, long idx, long *q){
    long i;
    long *p[n];
    p[0] = &i;
    for(i=1; i<n; i++)
        p[i]=q;
    return *p[idx];
}

我有vframe函数并生成了如下的汇编代码

1: vframe:
2:    pushq    %rbp
3:    movq     %rsp, %rbp
4:    subq     $16, %rsp
5:    leaq     22(, %rdi, 8), %rax      # I think the number 22 is vary from machine and OS
6:    andq     $-16, %rax       
7:    subq     %rax, %rsp
8:    leaq     7(%rsp), %rax
9:    shrq     $3, %rax
10:   leaq     0(, %rax, 8), %r8
11:   movq     %r8, %rcx
................................
12: L3:
13:   movq     %rdx, (%rcx, %rax, 8)
14:   addq     $1, %rax
15:   movq     %rax, -8(%rbp)
16: L2:
17:   movq     -8(%rbp), %rax
18:   cmpq     %rdi, %rax
19:   jl       L3
20:   leave
21:   ret

如果我们看到从8到11行，我们没有在堆栈上推送p的地址，但汇编已经假设

如果我们希望某些参数不被破坏，我们会推送一些寄存器并将被调用者保存的寄存器移动到推送的寄存器。但是，在这种情况下，似乎不是。关于局部变量还有其他约定吗，比如i和

Answer 1

编译器在内部跟踪每个局部变量的偏移量，包括p。它不需要将局部变量的地址存储在堆栈上。在这种情况下，它知道p在（%rsp）。

此代码不使用除rbp之外的任何调用保留寄存器，因此这是它保存的唯一寄存器。