Discussion :

[Rémiz]

Bonjour,

Simplement, y a t il moyen de créer des variables locales à une fonction en nasm ? De façon à ce que différentes variables du programme puissent avoir le même nom, et que une variable interne à une fonction ne soit utilisable que dans cette fonction ? Si oui, comment déclarer et utiliser ce genre de variable ?

D'avance merci.

[Obsidian]

Simplement, y a t il moyen de créer des variables locales à une fonction en nasm ? De façon à ce que différentes variables du programme puissent avoir le même nom, et que une variable interne à une fonction ne soit utilisable que dans cette fonction ? Si oui, comment déclarer et utiliser ce genre de variable ?

Oui, les variables locales du C, par exemple, sont implémentées en utilisant la pile. À toi de la manipuler correctement pour exploiter l'espace qu'elle occupe. Note qu'à ce niveau de programmation, la variable locale est une notion comme une autre.

Il n'y a pas, à ma connaissance de directive spéciale sous nasm pour définir explicitement une variable locale. Par contre, tu peux définir des étiquettes et des macros locales à ton contexte :

http://www.posix.nl/linuxassembly/na...ml#section-3.8
http://www.posix.nl/linuxassembly/na...#section-4.6.2
http://www.posix.nl/linuxassembly/na...#section-4.6.3

Le principe de la variable locale est que, puisque l'adresse de retour ainsi que la valeur de certains registres du processeur sont « sauvegardés » dans la pile, autant étendre encore un peu plus l'espace occupé pour y placer des variables temporaires qui seront donc « dépilées » (en fait, libérées de fait car le pointeur de pile est mis à jour sans action de dépilement explicite) en même temps que le reste. Par conséquent, toutes tes variables locales se réfèrent donc au pointeur de pile courant à ta fonction.

Plus précisément, comme la pile peut être exploitée par la procédure elle-même, les processeurs Intel tiennent à ta disposition le registre ebp (Base Pointer) qui sert en principe à cela : dès qu'on entre dans ta fonction, on sauvegarde ebp dans la pile, on met la valeur du nouveau pointeur de pile dans ebp et en principe, on ne touche plus à ce registre

Cela permet d'une part de remettre la pile à l'état initial si jamais il faut sortir de la fonction en urgence (exception, return au milieu d'un bloc ...) mais également de se référer facilement à ce qui a été empilé en entrant et à l'espace réservé en utilisant des offsets fixes : ebp-4, ebp-8, ebp-40 ...

À noter qu'une telle structure s'appelle un « cadre de pile » et que c'est exactement ce qui est mis en place par les instructions ENTER et LEAVE, même si, aujourd'hui, les compilateurs n'utilisent plus que rarement ces instructions car il reste plus rapide de le faire à la main, avec les instructions habituelles.

[Rémiz]

Salut,

Merci Obsidian, je vais tester ça ce soir ! Donc utilisation de la pile ! Pratique, en plus dans le cas d'appels récursifs de la fonction, on crée à chaque fois de nouvelles 'instances' des variables !

Merci A+