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

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

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

5 ответов

12 просмотров

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

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

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

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

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

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

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

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

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

Обсуждают сегодня

Anyone here suffers from unexplained aural migraines, who would be up for talking for a bit? Doesn't *have* to be aural, but I am not asking about headaches, I mean actual mi...
Martin Rys
55
Я тут за тем, чтобы задать вопрос, так как не знаю ассемблер, учу с/с++. Короче, насколько дорога операция перехода в функцию при ее вызове? Дело в том, что в с++ есть макросы...
Максим Рябцев
12
А какие чаты вообще в ходу? Auto aim? И что еше
do you think you're better off alone? А
13
hello friends. Do you know how can I learn getx? I have a software project that I should deliver it up to 5 weeks later and I need to learn firebase too. I will be thankfull
AmirHossein Razavi
15
Привет, нужен совет старших товарищей. Есть глобальная переменная var DefaultDataFolder:string; инициализируем DefaultDataFolder:='a:\_OUT\'; есть примитивная процедур...
Max Otto
14
Доброе время суток! у меня тут иноды закончились. и понял почему по сути кстит, я периодически очищаю постгрес и сентри контайнер: postgres=# DELETE FROM nodestore_node WHER...
Юсиф Насиров
9
Вопрос. Теоретический. Есть список команд. Команды отправляю в обработку некой функции, по очереди. Разные команды могут давать разные результаты после обработки. В зависимос...
Serjone
7
Какой дос блять?
007
9
lazarus-3.2.0/gtk, linux патч "имя проекта по умолчанию project1 -> prj" день добрый не нравится "именя проекта по умолчанию" (project1), к.раз приходится переименовывать (н...
livontiy
5
Коллеги, а в чём сейчас хорошо писать на перле, в смысле ide? Пробовал в идее с плагином, подсветка есть, даже какие-то предупреждения есть, но рефакторинга считай нет. Перене...
Дмитрий Петров
9
Карта сайта