Tại sao LLVM thêm hai hướng dẫn bổ sung cho cùng một chương trình?

Question

Tôi đang biên soạn chương trình C này và so sánh các mã lắp ráp tạo:

int main(){ return 0; } 

GCC cho chức năng này chính (cc hello.c -S):

_main: 
LFB2: 
    pushq %rbp 
LCFI0: 
    movq %rsp, %rbp 
LCFI1: 
    movl $0, %eax 
    leave 
    ret 

LLVM cho chức năng chính này (clang hello.c -S):

_main: 
Leh_func_begin0: 
    pushq %rbp 
Ltmp0: 
    movq %rsp, %rbp 
Ltmp1: 
    movl $0, %eax 
    movl $0, -4(%rbp) 
    popq %rbp 
    ret 
Leh_func_end0: 

---

movl $0, -4(%rbp) và popq %rbp cần thiết cho mục đích gì? Di chuyển một cái gì đó trên ngăn xếp và popping nó trực tiếp sau đó có vẻ vô dụng với tôi.

Answer 1

Trên thực tế, chúng có thể so sánh. Nghỉ là một hướng dẫn cao cấp:

Từ hướng dẫn Intel:

16-bit: C9 LEAVE A Valid Valid Set SP to BP, then pop BP. 
32-bit: C9 LEAVE A N.E. Valid Set ESP to EBP, then pop EBP. 
64-bit: C9 LEAVE A Valid N.E. Set RSP to RBP, then pop RBP. 

về cơ bản, nghỉ là tương đương với

movq %rbp, %rsp 
popq %rbp 

Answer 2

Dường như LLVM đang sử dụng một chức năng truyền thống prolog/Epilog, trong khi GCC là lợi dụng thực tế là điểm mấu chốt không cần phải dọn dẹp

Answer 3

Các hướng dẫn movl $0, -4(%rbp) là chết, bởi vì đây là mã được tối ưu hóa. Hãy thử chuyển qua số -O cho cả hai trình biên dịch để xem những thay đổi nào.