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

Question

Dường như có một chỉ thị .CFI sau mỗi dòng và cũng có các biến thể rộng của các dòng này., .cfi_startproc, .cfi_endproc vv .. more here.

.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 chúng.

Answer 1

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

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

Dường như chúng được tạo 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, vui lòng xem David's answer.

Answer 2

Để vô hiệu hóa này, sử dụng tùy chọn gcc

-fno-asynchronous-unwind-tables 

Lưu ý, tôi biết đây là một chủ đề thực sự cũ, nhưng đây là kết quả hàng đầu trên google cho cfi_startproc, rất nhiều người có thể đến đây để vô hiệu hóa mà đầu ra.

---

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

Answer 3

Chỉ thị CFI được sử dụng để gỡ lỗi. Nó cho phép trình gỡ lỗi giải phóng một chồng. Ví dụ: nếu thủ tục A gọi thủ tục B mà sau đó gọi một thủ tục phổ biến C. Thủ tục C thất bại. Bây giờ bạn muốn biết ai thực sự gọi là C và sau đó bạn có thể muốn biết ai được gọi là 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 cần biết để tìm chúng. Đó là nơi mà các chỉ thị CFI đi vào.

movq %rsp, %rbp 
.cfi_def_cfa_register 6 

do đó, dòng cuối cùng ở đây nói với nó rằng "Call khung địa chỉ" bây giờ là trong sổ đăng ký 6 (% RBP)