我做了一个函数来计算C字符串的长度（我试图使用-O3击败clang的优化器）。我正在运行macOS。

_string_length1:
    push rbp
    mov rbp, rsp
    xor rax, rax
.body:
    cmp byte [rdi], 0
    je .exit
    inc rdi
    inc rax
    jmp .body
.exit:
    pop rbp
    ret

这是我试图击败的C函数：

size_t string_length2(const char *str) {
  size_t ret = 0;
  while (str[ret]) {
    ret++;
  }
  return ret;
}

它分解成这样：

string_length2:
    push rbp
    mov rbp, rsp
    mov rax, -1
LBB0_1:
    cmp byte ptr [rdi + rax + 1], 0
    lea rax, [rax + 1]
    jne LBB0_1
    pop rbp
    ret

每个C函数都使用push rbp和mov rbp， rsp设置堆栈帧，并使用pop rbp对其进行破坏。但我在这里没有以任何方式使用堆栈，我只使用处理器寄存器。它在不使用堆栈帧的情况下工作（当我在x86-64上测试时），但这是必要的吗？