Développement d'un compilateur C vers ByteCode pour machine virtuelle

Bonjour !

Je souhaiterais développer un simple compilateur C pour une machine virtuelle.

Existe-t-il des "briques logicielles" de base pour construire un tel compilateur, que je pourrais utiliser afin d'accélérer ce développement (encodage en C/C++ de la grammaire C, de l'analyseur syntaxique, etc) ?

Cordialement,
Xterminhate.

Merci pour ta réponse, CptPingu !

En effet, je connais Boost (partiellement) et je souhaiterais l'utiliser quasi exclusivement pour réaliser ce compilateur. Je vois au moins l'intérêt d'avoir un programme homogène en pur C/C++. Flex/* est certainement une suite d'outils très puissante, mais j'ai peur de perdre trop de temps à apprendre à l'utiliser.

Je vais regarder ton code source. L'architecture de ton compilateur peut elle être réutilisée pour compiler du langage C ? Mon objectif est d'offrir un support minimum du langage C (toutes les construction grammaticales ne seront certainement pas compilables par mon projet et cela reste acceptable).

Une grammaire LL(1) pour le langage C est elle disponible sur le net à ta connaissance (prête à être programmée en C/C++ ou Flex/*) ?

Cordialement,
Xterminhate.

Le principe de mon compilateur peut être réutilisé. En revanche, certaines parties peuvent te servir, mais il n'est pas réutilisable en l'état. En effet, je me suis imposé de ne rien utiliser en dehors de la STL. J'ai donc codé le lexeur/parseur "à la main", et il n'y donc pas de Boost.

Boost::Spirit réalise le "lexer" et le "parser", et te génère normalement un AST.

La grammaire du C se trouve facilement (recherche "grammaire BNF du C" sous google, ex: [ Lien ])

Il me semble avoir vu un lexer/parser de C déjà prêt en Boost::Spirit sur le site officiel, mais je ne l'ai pas testé [ Lien ]

Au sujet du "lexer", on trouve dans Boost une bibliothèque particulièrement adaptée : "wave". Elle doit se baser sur "spirit".

Elle transforme le code source C/C++ en une liste de "tokens" accessibles au travers d'un iterateur. Cela semble être une base solide !

Si je comprends bien, l'étape suivante consiste à transformer cette liste de "tokens" à plat en un AST (c'est ce que tu appelles le "parser") ?

Cordialement,
Xterminhate.

Je ne suis pas sur que tu es besoin de Boost::Wave. Boost::Spirit devrait être suffisant et il réalise normalement l'AST. As-tu testé l'exemple que je t'ai donné ? Il ne convient pas ? (Je ne l'ai pas testé).

L'exemple parait très bien, mais impossible d'y ajouter une "action sémantique" en respectant la syntaxe donnée dans l'aide en ligne.

Bizarre, les exemples donnés avec la bibliothèque spirit marchent mieux.

Cordialement,
Xterminhate.

Bonjour,

Je me demande quel est l'intérêt de fabriquer un compilateur C alors que GCC le fait très bien.

J'ai peut-être mal saisi ton concept de machine virtuel mais pour moi c'est un programme qui reproduit le fonctionnement d'une machine sur lequel on installe un OS.

Merci et bonne prog,
@++

Victor

Victor,

La machine virtuelle, dont il est question, est spécifique. Elle reprend certains concepts de la machine virtuelle Java.

Elle expose un jeu d'instructions pour lequel il n'existe aucun OS ou logiciel compatible à ce jour.

La seule facon de l'exploiter est de programmer directement en langage machine (byte code). Cela n'est pas pratique.

D'ou l'idée de développer un compilateur pour cette machine virtuelle.

Cordialement,
Xterminhate.