Для чого застосовуються директиви CFI у Gnu Assembler (GAS)?

Там , здається, директива .CFI після кожного рядка , а також є широкий varities цих напр., .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

Я не зрозумів цілі цього.

У мене таке відчуття, що воно означає інформацію про кадр викликів і є розширенням GNU AS для управління кадрами викликів. Від DeveloperWorks :

У деяких архітектурах керування винятками має керуватися директивами Інформація щодо кадру Call Call. Ці директиви використовуються в зборах для прямого обліку виключень. Ці директиви доступні в Linux на POWER, якщо з будь-якої причини (наприклад, переносимість бази коду) інформація про обробку винятків, створена GCC, недостатня.

Схоже, вони створюються на деяких платформах, залежно від потреби в обробці виключень.

Якщо ви хочете відключити їх, перегляньте відповідь Девіда .

Щоб їх відключити, скористайтеся опцією gcc

-fno-asynchronous-unwind-tables

-fno-dwarf2-cfi-asm можуть знадобитися і.

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

Налагоджувач може розкрутити цей стек за допомогою покажчика стека (% rsp) та зареєструвати% rbp, однак він повинен знати, як їх знайти. Саме тут надходять директиви CFI.

movq    %rsp, %rbp
.cfi_def_cfa_register 6

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

Щоб їх вимкнути, g ++ потребує -fno-exceptionsпоряд із вищезгаданими за -fno-asynchronous-unwind-tablesумови, що ви не використовуєте винятків.