Discussion :

[Julie++]

Bonjour,

Dans l'optique d'écrire un compilateur, je recherche des fichiers de description formelle des langages d'assemblage/machine (voir d'autres couches de bas niveau comme le bytecode Java, etc ...). Pour un langage de bas niveau donné un tel fichier décrirait les opérations disponibles, ce qu'elles font, leur coût. Cela me permettrait de définir des optimisations en fonction du fichier du langage visé (à la compilation vers le langage visé ou à la compilation du compilateur ...). Cela me permettrait aussi d'écrire un seul compilateur grossier pour viser toutes ces couches simultanément en l'écrivant paramétré par un fichier de description, ce fichier étant écrit dans un même langage ...

Cela fait un temps que je cherche ... mais je n'ai rien trouvé à ce sujet !! Quelqu'un saurait-il si ça existe et si oui comment ça s'appelle en anglais ?! Si vous avez le moindre truc qui pourrait m'aider je suis preneuse ...

Cordialement

[bifur]

y'as les doc intel:
http://www.intel.com/products/processor/manuals/

et les doc amd:
http://www.amd.com/us-en/Processors/...9_7044,00.html

bonne chance.... (ou plutot bon courage!)

[SpiceGuid]

Cela fait un temps que je cherche ... mais je n'ai rien trouvé à ce sujet !! Quelqu'un saurait-il si ça existe et si oui comment ça s'appelle en anglais ?!

http://citeseerx.ist.psu.edu/viewdoc...10.1.1.12.8498

Un compilateur pensé pour viser plusieurs architectures est un retargetable compiler.
Ce que tu envisage c'est un automatic retargetable compiler ou automatic retargetability.

J'ai du code personnel très lisible en Objective-Caml pour émettre du code machine simple (pas d'optimisation style Single-Static-Assignment) pour les architectures CISC les plus populaires (genre i80486+ et m68020+). éventuellement je ferai un tutoriel sur le sujet.

[Julie++]

J'ai finalement trouvé l'expression que je cherchais en tapant "retargetable compiler" dans un célèbre moteur de recherche ! Ca s'appelerait "architecture description language" ou "machine description language".

Du coup j'ai plein de résultats maintenant ... et bon je suis paumée ... Rien ne correspond vraiment à ce que je cherche. Du côté de GCC les descriptions utilisées utilisent aussi des entêtes en langage C. J'ai également trouvé ArchC, mais c'est plutôt pour créer des machines virtuelles ... Et pas de fichiers en vue ...
Au final ce qui m'intéresse c'est d'obtenir des fichiers formels, qui décrivent chaque architecture (voire en croisant les combinaisons de processeurs et OS ...). Dans un monde idéal ces fichiers seraient écrits dans un langage XML ... Décrivant opérations disponibles, les états de la machine, le coût des opérations et leur effet sur l'état de la machine ...

Malgré tout SpiceGuid je suis intéressée par votre aide, et ainsi mettre le pied à l'étrier, d'ailleurs je comptais programmer mon compilo en OCaml ou Haskell
Au fait le compilateur d'OCaml lui même écrit en OCaml ne fait pas d'optimisations n'est-ce pas ? Votre travail est-il donc basé sur le code source du compilo d'OCaml ?!