Для чего используются директивы 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

Я не понял цель этого.

5 ответов

Решение

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

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

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

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

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

-fno-asynchronous-unwind-tables

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


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

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

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

movq    %rsp, %rbp
.cfi_def_cfa_register 6

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

Чтобы отключить их, g++ требует -fno-exceptions наряду с ранее упомянутым -fno-asynchronous-unwind-tables, при условии, что вы не используете исключения.

Ну, это просто означает целостность потока управления. По сути, это элементы информации, которые передаются отладчикам и другим инструментам для описания намеченного хода выполнения программы.

Другие вопросы по тегам