Các chỉ thị CFI trong Gnu Assembler (GAS) được sử dụng để làm gì?

Dường như có một lệnh .CFI sau mỗi dòng và cũng có nhiều biến thể của các ví dụ này .cfi_startproc, .cfi_endprocv.v. ở đây .

    .file   "temp.c"
    .text
.globl main
    .type   main, @function
main:
.LFB0:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    movq    %rsp, %rbp
    .cfi_offset 6, -16
    .cfi_def_cfa_register 6
    movl    $0, %eax
    leave
    ret
    .cfi_endproc
.LFE0:
    .size   main, .-main
.globl func
    .type   func, @function
func:
.LFB1:
    .cfi_startproc
    pushq   %rbp
    .cfi_def_cfa_offset 16
    movq    %rsp, %rbp
    .cfi_offset 6, -16
    .cfi_def_cfa_register 6
    movl    %edi, -4(%rbp)
    movl    %esi, %eax
    movb    %al, -8(%rbp)
    leave
    ret
    .cfi_endproc
.LFE1:
    .size   func, .-func
    .ident  "GCC: (Ubuntu 4.4.1-4ubuntu9) 4.4.1"
    .section    .note.GNU-stack,"",@progbits

Tôi đã không có được mục đích của những điều này.

Tôi có cảm giác nó là viết tắt của Thông tin khung cuộc gọi và là phần mở rộng GNU AS để quản lý các khung gọi. Từ DeveloperWorks :

Trên một số kiến ​​trúc, việc xử lý ngoại lệ phải được quản lý bằng các chỉ thị Thông tin khung gọi. Những chỉ thị này được sử dụng trong hội đồng để xử lý ngoại lệ trực tiếp. Các chỉ thị này có sẵn trên Linux trên POWER, nếu, vì bất kỳ lý do nào (ví dụ tính di động của cơ sở mã), thông tin xử lý ngoại lệ do GCC tạo ra là không đủ.

Có vẻ như những thứ này được tạo ra trên một số nền tảng tùy thuộc vào nhu cầu xử lý ngoại lệ.

Nếu bạn đang tìm cách vô hiệu hóa những điều này, xin vui lòng xem câu trả lời của David .

Để tắt những thứ này, hãy sử dụng tùy chọn gcc

-fno-asynchronous-unwind-tables

-fno-dwarf2-cfi-asm cũng có thể cần thiết

Các chỉ thị CFI được sử dụng để gỡ lỗi. Nó cho phép trình gỡ lỗi để thư giãn một ngăn xếp. Ví dụ: nếu thủ tục A gọi thủ tục B mà sau đó gọi một thủ tục chung C. Quy trình C thất bại. Bây giờ bạn muốn biết ai thực sự đã gọi C và sau đó bạn có thể muốn biết ai đã gọi B.

Trình gỡ lỗi có thể giải phóng ngăn xếp này bằng cách sử dụng con trỏ ngăn xếp (% rsp) và đăng ký% rbp, tuy nhiên nó cần biết cách tìm ra chúng. Đó là nơi các chỉ thị CFI ra đời.

movq    %rsp, %rbp
.cfi_def_cfa_register 6

vì vậy dòng cuối cùng ở đây nói với nó rằng "Địa chỉ khung cuộc gọi" hiện đang ở trong thanh ghi 6 (% rbp)

Để vô hiệu hóa những điều này, g ++ cần -fno-exceptionscùng với các đề cập trước đó -fno-asynchronous-unwind-tables, miễn là bạn không sử dụng ngoại lệ.