Как закрепить на ANTLR 4 перед GCC Generic/GIMBLE?

Question

Я пишу переднюю часть DSL, используя ANTLR v4, которую я хотел бы закрепить в рамках GCC. Цель состоит в том, чтобы иметь C-язык AST, чтобы использовать остальную часть структуры GCC.

Я не нашел никакой информации или ранее существовавшей работы, чтобы использовать пример того, как действовать. Я ищу, как переместить ANTLR 4 AST в GCC Generic/GIMBLE.

ANTLR 4 не поддерживает цель языка C, поэтому мне придется привязать цель C++ к языковой среде GCC C.

Помощь ценится

Answer 1

Приклеивания C++ реализации из ANTLR в GCC так, что GCC будет назвать это, вероятно, будет легким шагом. [Не ожидайте, что вам будет легко; GCC хочет быть GCC, а не вашим питомцем. Вы можете получить помощь от GCC Melt, пакета для сопряжения с машинами GCC.]

AST, изготовленный для произвольного (например, вашего пользовательского DSL) языка, не просто «просто перемещается» в C AST или в рамки GCC Gimple (не GIMBLE).

Вам необходимо будет построить, по сути, ваш переводчик DSL-AST на C-AST или ваш переводчик DSL-AST на Gimple. Нет оснований полагать, что создание такого переводчика легко; например, вы не сказали, что ваш DSL был «как C, кроме ...». Итак, вам нужно будет построить переводчика. В отсутствие доказательств это легко, вам придется перевести свои концепции DSL на концепции C. Чем лучше («не C-like») ваша DSL, тем сложнее это будет.

Этот SO ссылка обсуждает вопросы, стоящие за перевод более подробно: What kinds of patterns could I enforce on the code to make it easier to translate to another programming language?