Что такое CFI-директивы в Gnu Assembler (GAS)?

Кажется, что после каждой строки есть директива .CFI, а также широкие ее значения, .cfi_startproc, .cfi_endproc и т.д. подробнее здесь.

    .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

Я не понял их цели.

Ответ 1

У меня есть ощущение, что это означает Информация о кадре вызовов и является расширением GNU AS для управления кадрами вызовов. Из DeveloperWorks:

На некоторых архитектурах исключение управление должно выполняться с помощью Call Рамки. Эти директивы используются в сборке для прямая обработка исключений. Эти директивы доступны в Linux на POWER, если по какой-либо причине (мобильность базы кода, например), Обработка исключений GCC информации недостаточно.

Похоже, что они сгенерированы на некоторых платформах в зависимости от необходимости обработки исключений.

Если вы хотите отключить их, см. ответ Дэвида.

Ответ 2

Чтобы отключить их, используйте опцию gcc

-fno-asynchronous-unwind-tables

Заметьте, я знаю, что это действительно старый поток, но это лучший результат в google для cfi_startproc, поэтому многие люди, вероятно, приходят сюда, чтобы отключить этот вывод.

-fno-dwarf2-cfi-asm также может понадобиться.

Ответ 3

Директивы CFI используются для отладки. Это позволяет отладчику разматывать стек. Например: если процедура A вызывает процедуру B, которая затем вызывает общую процедуру C. Процедура C завершается с ошибкой. Теперь вы хотите знать, кто на самом деле называется C, а затем вы можете узнать, кто назвал B.

Отладчик может отключить этот стек с помощью указателя стека (% rsp) и зарегистрировать% rbp, однако он должен знать, как их найти. Именно там появляются директивы CFI.

movq    %rsp, %rbp
.cfi_def_cfa_register 6

поэтому в последней строке указывается, что "адрес кадра вызова" теперь находится в регистре 6 (% rbp)