Доклад "Преобразование приложений в нативно исполняемый образ в проекте GraalVM" вот-вот начнется
https://meet.google.com/myu-dhmz-gvu

Привет! Есть вопрос: в процессе сборки в чем преимущество LLVMовского подхода через промежуточный IL над AST?

Я пока у себя делаю так: исходники преобразую в AST-«объектники», затем уже собираю итоговое AST представление программы и компилю в LLVM IR, дабы свой бэк не писать. Но в принципе возможно и сразу брать AST и по нему уже генерить конечный бинарь.

P.S. Свой ЯП скорее лично-исследовательский проект, но с прицелом на использование в bare-metal проектах.

Ничего не мешает генерить прямо из ast-а или какого-то иного верхнеуровнего представления. Но общий IR удобен для портабельности на разные яп и таргеты; условно, 10 поддерживаемых языков = 10 различных AST = 10 генераторов машинного кода

Ну кмк можно сделать AST портабельным, ибо это и так общее представление. Но может быть я не знаю еще каких-то нюансов.

Т.е. у меня сейчас идея в голове как общее AST представление вместо промежуточного языка

Если зафиксировать формат AST, то почему бы и нет) Когда это разрабатывается одним человеком под один ЯП, то да, будет множество нюансов и ЯП-зависимых штук

ast сильно разнится от языка к языку, условно взять те же lisp и c++, совсем непохожие по структуре деревья выйдут

да и само название ast намекает про синтаксис

А есть литература по этой теме? Сейчас у меня в процессе книга дракона, мб там этот момент и освещен, но еще не добрался)

Какой AST, Вы о чём? https://cakeml.org/compiler.svg ! 😊

AST специфичен для каждого конкретного языка — его нельзя сделать "портабельным" между языками, как LLVM IR (в большой степени).

Суть в том, что компилятор в любом случае использует 100500 IR.

А в чём конкретно вопрос? 😊

Вот за картинку спасибо, очень наглядно. Я по незнанию в “AST” включил добрую половину уровней из схемы)

Тогда и вопрос пока отпадает - закончить дракона нормально, а там уже из шапки можно уточнять будет или более конкретно составлять запрос на литературу))

👍

Да чуть не первым шагом AST преобразуется в CFG -- и всё, это уже не дерево. 😄

Коллеги, добрый день.

Я тут решил взглянуть на слайды курса COMP 412 от Keith Cooper и внезапно на сайте (https://www.clear.rice.edu/comp412/) написано что он более не актуален, а информацию следует искать в их репозиториях (я не очень понял где именно).

Скажите, ни у кого слайдов не сохранилось?

Увы, я не сохранил. Жаль, конечно. Материал в целом соответствует их учебнику, но слайды интересно было смотреть с точки зрения преподавателя курса по разработке компиляторов.

Да, для этой цели и интересуюсь. Надо бы курс 512 сохранить на всякий случай )

Это уж точно!