C conventions d'appel et arguments passés

Question

Lors d'un appel de fonction sous Linux (ou OS X d'ailleurs), l'appelé peut-il modifier les valeurs des arguments de la pile? J'étais sous l'hypothèse que puisque l'appelant est celui qui les nettoie, qu'ils devraient contenir les mêmes valeurs après l'appel de la fonction. Cependant, j'ai trouvé que GCC avec -O2 modifiait les paramètres qui lui étaient passés sur la pile. J'ai également cherché de la documentation, y compris les conventions d'appel System V i386, mais n'a pas pu trouver une réponse définitive à cela.

Voici un exemple de code que j'ai débogué.

pushl %eax  # %eax = 0x28 
call _print_any 
popl %eax 
       # %eax is now 0x0a 

Je suppose que GCC modifier ce paramètre sur la pile est très bien, mais je veux savoir où il est précisé qu'il peut faire.

Answer 1

Bien que l'appelant (dans certaines conventions d'appel) est celui qui nettoie les arguments, tout cela fait vraiment est désaffecter l'espace précédemment alloué sur la pile pour maintenir les valeurs de l'argument. L'appelé est libre de modifier les valeurs lors de l'exécution de la fonction, car l'appelant ne va pas regarder leurs valeurs plus tard.

Dans l'exemple que vous avez publié, GCC a émis l'instruction popl %eax pour libérer l'espace pris par le paramètre sur la pile. Tout ce qu'il faut vraiment faire est d'ajouter 4 à% esp (la pile sur x86 pousse vers le bas en mémoire), et l'exécution de l'instruction popl %eax est le moyen le plus court et le plus rapide pour ce faire. Si le compilateur devait libérer 20 valeurs, il modifierait probablement% esp directement au lieu d'émettre 20 instructions popl.

Vous trouverez probablement que la nouvelle valeur de% eax n'est pas utilisée dans le code suivant.

Answer 2

Oui, l'appelé peut modifier les arguments de la pile. En ce qui concerne l'appelé, ils sont les mêmes que les variables locales. L'appelant les nettoie mais ignore la valeur.

Si vous parlez POD C ou C++, le nettoyage consiste simplement à modifier le pointeur de la pile. Si vous parlez de C++ avec un destructeur, l'appelant est responsable de l'appel du destructeur, mais les destructeurs de classes génériques doivent être écrits pour nettoyer toute valeur.

Answer 3

En C standard, l'appelé peut modifier les valeurs de ses arguments tout ce qu'il veut, mais l'appelant ne verra jamais les changements. Ce qui peut prêter à confusion est que si l'on passe un POINTER à une valeur, l'appelé peut changer cette valeur en déréférençant le pointeur, mais si l'appelé change réellement le pointeur lui-même, l'appelant ne verra pas ce changement.

Un petit zéro: le standard C ne nécessite pas que l'implémentation ait même une pile.

Answer 4

Si vous passez par la valeur:

call do_it(to_it); 

L'argument est copié (probablement au début de la pile, mais peut-être pas en fonction de votre compilateur) le programme unicellulaire peut jouer avec cette copie autant qu'il veut mais la variable dans le programme de clling ne sera pas modifiée.

Si vous passez par référence:

call do_it(&to_it); 

ensuite l'adresse de la variable est passée. Toute modification apportée par la variable appelée sera à la variable d'origine dans le programme appelant.