Discussion :

[Mercenaire]

Bonjour,

J'essaye de comprendre ce petit programme.
Enfait il y a une erreur et pour la resoudre il faut utilise le registre bp

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
ax = a
bx = b
 
nop
push ax
push bx
call 130
nop
 
130 pop ax
pop bx
add ax , bx
push ax
ret

Si j'ai bien compris ici on charge la valeur du registre ax qui est enfaite en dessous du registre bx d'où l'erreur, c'est pour ça qu'il faut utiliser le registre bp mais je vois pas comment faire.

Merci

[Obsidian]

Sais-tu comment fonctionne CALL ? Le micro-processeur empile l'adresse de retour avant de sauter vers ta fonction. L'instruction symétrique RET dépile cette adresse dans le pointeur de programme. Elle est donc équivalente à « POP IP ».

Donc, quand tu fais POP AX pour la première fois, en 130, tu récupères l'adresse de retour et pas la valeur du premier paramètre. À noter également qu'une pile est une structure LIFO (Last In First Out) : le premier élément entré est le dernier sorti. Il faut donc dépiler tes registres dans l'ordre inverse de celui dans lequel tu les as empilés : PUSH AX ; PUSH BX ; POP BX ; POP AX. Bon, en l'occurence, ça n'a pas d'importance parce qu'il n'y a pas de lien entre les deux routines.

Quoi qu'il en soit, il faut commencer par dépiler l'adresse de retour et la mettre en sécurité avant de dépiler le reste, soit aller lire le contenu de la pile à la main (méthode préférée, en général). BP sert en général à émuler un cadre de pile, mais tu peux t'en servir à cette fin. Un JMP BP te permettra ensuite de ressortir.

[Mercenaire]

Merci Obsidian,

J'ai bien compris se que faisait le programme.
Mais un jmp bp, va sauter sans résoudre le problème..

Je suis perdu

[Obsidian]

J'ai bien compris se que faisait le programme.

Non, je crois que tu n'as pas compris le problème et c'est pour cela que tu n'arrives pas à le résoudre. Le code que tu nous présentes est bugué et je t'ai expliqué pourquoi : à l'entrée dans ta fonction, tu as trois choses dans ta pile :

Code text :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
     +-------------------+
  2  | Adresse de retour |
     +-------------------+
  1  |   Contenu de BX   |
     +-------------------+
  0  |   Contenu de AX   |
     +-------------------+

Quand ta fonction en 130 fait « POP AX ; POP BX », elle récupère l'adresse de retour et le premier paramètre, pour les additionner ensemble. Le résultat n'a aucun sens. D'autre part, ADD stocke le résultat dans AX. Ton adresse de retour est écrasée. Le PUSH AX final que je soupçonne d'être destiné à restaurer cette adresse ne sert donc à rien.

Il faut d'abord récupérer cette adresse avec un « POP BP », puis faire le reste.

Mais un jmp bp, va sauter sans résoudre le problème..

Non, justement. Ton PUSH AX final va devenir à la place un PUSH BP pour que ton RET puisse fonctionner. Seulement, il est idiot de rempiler un registre pour le re-dépiler juste après. Autant sauter directement vers l'adresse qu'il contient.

[Mercenaire]

Merci, pour que ça fonctionne ça donnerai

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
ax = a
bx = b
 
nop
push bp
push bx
call 130
nop
 
130 pop bx
pop ax
add ax , bx
push ax
jmp bp
ret

[Obsidian]

Merci, pour que ça fonctionne ça donnerai

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
 
...
 
jmp bp
ret

Oui, à condition de dépiler l'adresse de retour et de la mettre dans BP. Sinon, tu vas sauter n'importe où. Il faut mettre un POP BP au début de ta fonction.