AST pour tout langage de programmation arbitraire ou IR

Question

Est-il possible de créer un AST pour n'importe quel langage de programmation arbitraire ou IR en utilisant C ou C++ seul (sans l'aide d'outils comme YACC et LEX)?

Si oui, comment implémenter l'analyse lexicale et syntaxique? Si ce n'est pas le cas, quels sont les outils qui doivent être augmentés en C ou C++ pour réussir à créer un AST? J'espère que j'ai fait mon doute clair. Si Ma question semble vague ou hors contexte, veuillez indiquer le besoin.

P.S: Je suis actuellement en train de créer l'AST pour le format .ll de la représentation IR du LLVM. Je sais que .ll est dérivé de AST. Mais j'essaie des pratiques d'analyse statique. Donc, je cherche à créer l'AST.

Answer 1

La méthodologie la plus simple pour créer l'analyseur sans générateur d'analyseur est recursive descent. Il est très bien documenté - le livre standard dans le domaine est The Dragon Book.

Un scanner, qui prend le texte en entrée et produit une chaîne de jetons en sortie, peut être écrit en utilisant des techniques de manipulation de chaîne standard.

Answer 2

Je doute qu'il existe une correspondance bi-univoque entre votre langage arbitraire et les AST de LLVM. Cela signifie qu'il est probable que vous voulez vraiment faire en deux étapes:

• Parse votre « langue arbitraire » en utilisant les meilleurs outils d'analyse que vous pouvez obtenir de simplifier le problème de l'analyse de votre langue. Utilisez cela pour construire un AST pour votre langage, en suivant les méthodes standard pour les générateurs d'analyseur produisant des AST. LEX/YACC sont OK, mais il y a beaucoup de bonnes alternatives là-bas. C'est assez probable que vous aurez besoin de construire une table de symboles. Marcher l'AST de votre langue analysée pour construire votre AST LLVM. Ce ne sera pas un one-to-one, mais la possibilité de regarder autour de l'arbre près d'un nœud d'arbre dans votre AST pour collecter des informations a besoin de générer le code LLVM sera probablement extrêmement utile.

Ceci est un style classique pour un compilateur simple.

Je vous suggère de lire le livre Aho/Ullman Dragon sur la traduction dirigée par syntaxe. Une journée d'éducation vous permettra d'économiser des mois de temps d'ingénierie gaspillé.