Recherche d'infos pour créer un compilateur x86

Bonjour à tous,

Je me suis mis en tête de créer un compilateur assembleur pour mon Forth.
Actuellement, mon Forth utilise un vieux compilo 8086 que j'ai bidouillé pour accepter du code 32 bits,
mais il est très incomplet, et utilise la syntaxe typique du Forth
par exemple :

Code:

---

mov eax,123456

---

s'écrit en assembleur Forth :

Code:

---

123456. D# eax mov

---

Mon but est donc de pouvoir écrire un mot Forth codé en assembleur de la même manière
que je l'écrirais avec un compilo classique. :mrgreen:

Je vais devoir réinventer la roue, et la doc que j'ai à ma disposition est soit bien maigre,
soit bourrée d'erreurs, soit les deux :aie: ( Livre : processeur et coprocesseur de Robert Hummel,
plus quelques docs pêchées sur le net)

Donc si vous aviez des liens sympa sur le codage des instructions x86, ça serait sympa :zoubi:

merci !

Regardes ça :
http://neitsa.developpez.com/tutorie...ion/decodage1/
http://neitsa.developpez.com/tutorie...ion/decodage2/

Tu peux aussi regarder ça :
http://www.intel.com/content/dam/www...ual-325383.pdf

Dont je te recommande le chapitre 2 (page 35) et l'annexe D (page 2053) qui disent tout, tout, tout sur l'encodage des instructions du x86 au x64. Volumineux et en anglais mais complet et fiable, c'est une doc de référence Intel.

@chrstophe : merci ! je n'avais pas pensé à regarder dans le site :aie: et pas l'hombre d'une trace de ces liens dans un moteur de recherche :calim2:

@DomDA91 : merci, j'avais chargé le fichier, mais avec plus de 2000 pages, j'avais zappé aussi sec 8O:P

edit:
Bon et bien rien de nouveau dans les docs de Neitsa, bien dommage qu'il se soit arrêté aux préfixes sa
doc est la plus claire que j'ai pu lire (j'ai du me coltiner 4 docs différentes pour arriver au même résultat :aie: )

Il ne me reste plus qu'à taper dans la doc Intel :aie:

excuse moi mais j'ai pas bien comprit ce que tu cherche a faire, compiler un code source Forth en code source assembleur? ou l'inverse? compiler un code source forth vers un binaire? etc...

et pour ce qui est de la doc sur les encodage de l'assembleur je pense aussi que le mieux est la doc intel

Bonjour Bifur,

non, dans mon Forth (comme dans beaucoup d'autres) j'ai la possibilité de créer des mots
en assembleur (pour les mots ayant besoin de rapidité d'exécution)
Et comme cet assembleur a été pensé "Forth" il est contraignant de par sa syntaxe, et par l’inexistence de labels.

Il y a bien des structures BEGIN-UNTIL, IF-ELSE-THEN, mais ça ne permet pas d'avoir plusieurs jumps à un même label
comme en assembleur classique, ce qui oblige pour avoir de même résultat à bidouiller dans le code, et c'est moche :aie:

par exemple, un mot qui renvoie la racine carrée d'un nombre entier 32 bits présent sur la pile écrit en "Assembleur Forth":

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

CODE SQR ( n --- sqr(n) ) eax pop 2. D# eax cmp 0>= IF eax ebx mov eax edi mov 20 DO 1 #*ebx shr cdq ebx idiv eax ebx add edi eax mov LOOP ebx inc 1 #*ebx shr ebx eax mov THEN eax push next END-CODE

---

la ligne "20 DO" ne le précise pas, mais c'est le registre CX qui est utilisé.
Je compte donc me faire un assembleur plus "standard" et définir mon nouveau mot comme ça :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22

CODE SQR ( n --- sqr(n) ) pop eax cmp eax,2 js fin_sqr mov ebx,eax mov edi,eax mov cx,20 label boucle_sqr shr ebx,1 cdq idiv ebx add ebx,eax mov eax,edi dec cx jnz boucle_sqr inc ebx shr ebx,1 mov eax,ebx label fin_sqr push eax next END-CODE

---

Voilà voilà :mrgreen: