Глупый вопрос: А какие существуют подходы, паттерны при разработке обхода

Question

Глупый вопрос: А какие существуют подходы, паттерны при разработке обхода

AST для кодогенерации/семантического анализа? Где можно почитать(желательно на русском)
Почему такой вопрос возник:
Наткнулся на то, что применяют Visitor, но при этом как-то неприкольно хранить промежуточное состояние кодогенерации LLVM в AST узле(имеются ввиду объекты LLVM, которые генерируют затем IR). Хочется, чтобы узлы AST вообще не знали о существовании LLVM, но при этом можно было удобным образом понять контекст выражения

#compilerdev #it #programming #russian

0

12.02.2022

5 ответов

23 просмотра

Bogdan (Bogdan)

Bogdan (Bogdan)
В расте для этого mir'ы придумали

То есть ast последовательно с проверками трансформируется во все более низкоуровневый mir, а кодогенерация для каждого бекенда своя. Т.е. сейчас основная -llvm, может еще и для gcc и cranelift

0

12.02.2022

Alexander Chichigin

Не смотрел с какого именно места Cranelift прикручивают конкретно к rustc, но вообще, Cranelift умеет оптимизировать код и генерировать в бинарник начиная с CFG, который скорее HIR. 😊

0

12.02.2022

Bogdan (Bogdan)

Alexander Chichigin
Не смотрел с какого именно места Cranelift прикруч...

Вообще да, но раст проводит специфические для себя оптимизации, о которых все бэкенды могут не знать. Ну к примеру оптимизировать структуры в памяти в соответствии с repr - атрибутом, вроде бы.

0

12.02.2022

Alexander Chichigin

Bogdan (Bogdan)
Вообще да, но раст проводит специфические для себя...

Да там много чего должно быть, начиная с алиасинга. Вот я и говорю, от Cranelift они могли "оторвать" только "совсем бэкенд", который непосредственно кодгеном занимается (с распределением регистров и выбором инструкций, понятное дело).

0

12.02.2022

Bogdan (Bogdan) · Accepted Answer

Bogdan (Bogdan)

В расте для этого mir'ы придумали

0

12.02.2022

185 похожих чатов

Глупый вопрос: А какие существуют подходы, паттерны при разработке обхода

5 ответов

Похожие вопросы