在发布与调试模式下生成本地堆栈变量的代码

Question

作为我在Rust中的操作系统的一部分，我有以下系统调用入口点：

#[no_mangle]
#[naked]
#[inline(never)]
unsafe extern "C" fn syscall_handler() {

    // switch to the kernel stack dedicated for syscall handling, and save the user task's details
    asm!("swapgs; 
          mov gs:[0x8],  rsp; 
          mov gs:[0x10], rcx; 
          mov gs:[0x18], r11; 
          mov rsp, gs:[0x0];"
          : : : "memory" : "intel", "volatile");


    let (rax, rdi, rsi, rdx, r10, r8, r9): (u64, u64, u64, u64, u64, u64, u64); 
    asm!("" : "={rax}"(rax), "={rdi}"(rdi), "={rsi}"(rsi), "={rdx}"(rdx), "={r10}"(r10), "={r8}"(r8), "={r9}"(r9)  : : "memory" : "intel", "volatile");
    // do stuff with rax, rdi, rsi...

这在调试模式下工作正常，并且在发布模式下（启用了调试信息），因为它生成汇编代码，用于存储本地堆栈变量，如rdi，rsi等，与基指针rbp的负偏移量相同。例如，这是生成的代码：

<syscall_handler>:
swapgs 
mov    %rsp,%gs:0x8
mov    %rcx,%gs:0x10
mov    %r11,%gs:0x18
mov    %gs:0x0,%rsp
mov    %rax,-0x1f0(%rbp)
mov    %rdi,-0x1e8(%rbp)
mov    %rsi,-0x1e0(%rbp)
mov    %rdx,-0x1d8(%rbp)
mov    %r10,-0x1d0(%rbp)
mov    %r8,-0x1c8(%rbp)
mov    %r9,-0x1c0(%rbp)
movb   $0x4,-0x1b1(%rbp)

该代码工作正常，因为我的系统调用处理程序使用指向当前内核堆栈顶部的堆栈指针运行（像往常一样），这意味着可以使用堆栈指针/基址指针的负偏移（基本指针rbp已设置）在此之前基于堆栈指针值）。

当我在没有调试信息的情况下构建发布模式时，它生成的代码使用堆栈指针本身的正偏移量（rsp，而不是基本指针）作为本地堆栈变量的位置。这非常奇怪并且导致问题，因为当前堆栈指针rsp上方的内存超出了界限。

这是在没有调试信息的纯发布模式下生成的代码：

<syscall_handler>:
swapgs 
mov    %rsp,%gs:0x8
mov    %rcx,%gs:0x10
mov    %r11,%gs:0x18
mov    %gs:0x0,%rsp
mov    %rax,0x1c0(%rsp)
mov    %rdi,0x1c8(%rsp)
 mov    %rsi,0x1d0(%rsp)
mov    %rdx,0x1d8(%rsp)
mov    %r10,0x1e0(%rsp)
mov    %r8,0x1e8(%rsp)
mov    %r9,0x1f0(%rsp)

为什么要生成此代码，使用堆栈指针的正偏移量的代码？这让我非常奇怪。

有什么方法可以避免这种情况或以某种方式更改代码生成？