tại sao gcc 4.x mặc định dự trữ 8 byte cho ngăn xếp trên linux khi gọi một phương thức?

Question

là người mới bắt đầu của asm, tôi đang kiểm tra mã asm gcc -S được tạo để tìm hiểu.

lý do gcc 4.x đặt trước mặc định 8 byte cho ngăn xếp khi gọi phương thức?

func18 là hàm trống không trả về tham số không có biến cục bộ được xác định. Tôi không thể tìm ra lý do tại sao 8 byte được dành riêng ở đây (không phải bất kỳ diễn đàn/trang web đề cập đến lý do, ppl dường như mang nó cho các cấp) là nó cho% ebp chỉ cần đẩy? hoặc trở về loại ?! nhiều thx!

 .globl _func18 
    _func18: 
    pushl %ebp 
    movl %esp, %ebp 
    subl $8, %esp 
    .text 

Answer 1

Là người giàu được đề cập ở trên, đó là tất cả vì tối ưu hóa, hiển thị bên dưới. nhưng tôi vẫn không biết tại sao 8 byte được đặt trước là thứ gì đó được tối ưu hóa ?!

gốc c

void func18() {} 
int main() {return 0;} 

biên dịch mà không cờ tối ưu hóa quy định

.text                     
.globl _func18 
_func18: 
    pushl %ebp 
    movl %esp, %ebp 
    subl $8, %esp 
    leave 
    ret 
.globl _main 
_main:                      
    pushl %ebp 
    movl %esp, %ebp 
    subl $8, %esp 
    movl $0, %eax 
    leave 
    ret 
    .subsections_via_symbols 

với -os tối ưu hóa cờ, dự trữ không có chồng hơn

.text 
.globl _func18 
_func18: 
    pushl %ebp 
    movl %esp, %ebp 
    leave 
    ret 
.globl _main 
_main: 
    pushl %ebp 
    xorl %eax, %eax 
    movl %esp, %ebp 
    leave 
    ret 
    .subsections_via_symbols 

Answer 2

Cách dễ dàng để tìm hiểu: Bạn có chức năng trống gọi một hàm khác với một tham số không. Nếu tham số được lưu trữ trực tiếp vào ngăn xếp (không đẩy), thì đó là những gì không gian thêm cho.

Answer 3

Một số hướng dẫn yêu cầu các loại dữ liệu nhất định phải được căn chỉnh đến nhiều nhất là ranh giới 16 byte (cụ thể là kiểu dữ liệu SSE __m128). Để đáp ứng yêu cầu này, gcc đảm bảo rằng ngăn xếp ban đầu được sắp xếp 16 byte và phân bổ không gian ngăn xếp theo bội số của 16 byte. Nếu chỉ có địa chỉ trả về 4 byte và con trỏ khung 4 byte cần được đẩy, cần thêm 8 byte để giữ cho ngăn xếp được căn chỉnh với ranh giới 16 byte. Tuy nhiên, nếu gcc xác định rằng căn chỉnh bổ sung là không cần thiết (nghĩa là các kiểu dữ liệu ưa thích không được sử dụng và không có hàm bên ngoài nào được gọi), thì nó có thể bỏ qua bất kỳ hướng dẫn bổ sung nào được sử dụng để căn chỉnh ngăn xếp. Các phân tích cần thiết để xác định điều này có thể yêu cầu một số tối ưu hóa được thực hiện.

Xem thêm tài liệu gcc cho tùy chọn -mpreferred-stack-boundary=num.