A quoi servent les directives CFI dans l'assembleur Gnu (GAS) ?

Question

Il semble y avoir une directive .CFI après chaque ligne et il existe une grande variété de ces ex.., .cfi_startproc , .cfi_endproc etc. plus ici .

    .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

Je n'ai pas compris le but de tout ça.

Answer 1

Pour les désactiver, utilisez l'option gcc

-fno-asynchronous-unwind-tables

---

-fno-dwarf2-cfi-asm peut également être nécessaire.

Answer 2

J'ai l'impression que ça veut dire Informations sur la trame d'appel et est une extension de GNU AS pour gérer les trames d'appels. À partir de DeveloperWorks :

Sur certaines architectures, l'exception doit être gérée avec les directives Call des directives d'information sur les cadres. Ces directives directives sont utilisées dans l'assemblage pour pour diriger la gestion des exceptions. Ces directives directives sont disponibles sur Linux on POWER, si, pour une raison quelconque (portabilité de la base de code, par exemple), la traitement des exceptions généré par GCC ne sont pas suffisantes.

Il semble que ceux-ci soient générés sur certaines plateformes en fonction de la nécessité de gérer les exceptions.

Si vous cherchez à les désactiver, veuillez consulter la rubrique La réponse de David .

Answer 3

Les directives CFI sont utilisées pour le débogage. Elles permettent au débogueur de dérouler une pile. Par exemple : si la procédure A appelle la procédure B qui appelle ensuite une procédure commune C. La procédure C échoue. Vous voulez maintenant savoir qui a réellement appelé C et ensuite vous voudrez peut-être savoir qui a appelé B.

Un débogueur peut dérouler cette pile en utilisant le pointeur de pile (%rsp) et le registre %rbp, mais il doit savoir comment les trouver. C'est là qu'interviennent les directives CFI.

movq    %rsp, %rbp
.cfi_def_cfa_register 6

donc la dernière ligne ici lui dit que l'adresse de la trame d'appel est maintenant dans le registre 6 (%rbp)

Answer 4

Pour les désactiver, g++ a besoin de -fno-exceptions en plus de ceux mentionnés précédemment -fno-asynchronous-unwind-tables à condition de ne pas utiliser d'exceptions.

Answer 5

Eh bien, c'est juste pour intégrité du flux de contrôle . Ils sont essentiellement des éléments d'information transmis aux débogueurs et autres outils pour décrire le déroulement prévu du programme.