VY
Пример из compcert это хороший пример :)
Size: a a a
2020 January 15
IJ
По моему скромному опыту проще делать несколько ir и трансляцию между ними, чем сразу ассемблер из достаточно высокоуровенового языка. Особенно в toy project
VY
Да, кажется, что так и есть...
Спасибо большое, попробую разобраться как в compcert сделано. На первый взгляд действительно выглядит намного более низкоуровневым, чем мой этот IR
Спасибо большое, попробую разобраться как в compcert сделано. На первый взгляд действительно выглядит намного более низкоуровневым, чем мой этот IR
MM
IR может быть высокоуровневым, типа high GIMPLE в GCC. На нем можно описывать исключения (как в C++), области видимости, OpenMP (если нужен) и т.п. Тогда фронтендам не надо всю эту логику lowering-а дублировать
IJ
Да, кажется, что так и есть...
Спасибо большое, попробую разобраться как в compcert сделано. На первый взгляд действительно выглядит намного более низкоуровневым, чем мой этот IR
Спасибо большое, попробую разобраться как в compcert сделано. На первый взгляд действительно выглядит намного более низкоуровневым, чем мой этот IR
наверняка есть более простые примеры, т.к. компсерт для индустрии + на Coq
MM
Пока пишу генерацию IR, но скоро дойду и до кодогенерации. Начну с x64
Кстати, а цель - поиграться или сделать что-то для использования в production?
VY
Пока цель просто попытаться научиться основам. Параллельно учу кок, меня по сути интересуют те же самые темы, что и Xavier Leroy (судя по всему %))
MM
Тогда лучше вместо x64 лучше взять что-то попроще.
MM
Типа Arm ранних версий.
VY
Я хочу получить что-то более-менее настоящее на выходе. Потом хотел бы попробовать для RISC-V сделать (если вообще хоть что-то доделаю и запал не пройдёт после x64)
VY
Ну я уже начал для x64, наверное, поздно сворачивать, но если буду долго буксовать, то попробую глянуть на ARM, спасибо
VY
Просто я делаю по книге Аппеля и там было предложено 2 ISA: MIPS и SPARC. Я решил взять что-то более хардкорное в надежде найти параллели с тем, что изложено в книге и не застрять %)
MM
Полезно параллельно посмотреть на другие архитектуры (хотя бы спеки: наборы команд, регистры, ABI), чтобы потом не вычищать x86-специфичый код из middle end
VY
Понял, постараюсь хотя бы поверхностно ознакомиться и с другими ISA
MM
Просто я делаю по книге Аппеля и там было предложено 2 ISA: MIPS и SPARC. Я решил взять что-то более хардкорное в надежде найти параллели с тем, что изложено в книге и не застрять %)
MIPS кстати хорош тем, что для него есть удобные эмуляторы типа SPIM: на входе файл на ассемлере, на выходе результат исполнения. Не нужно писать ассемблер и libc
VY
У меня пока всё организовано так, что я (по идее!) оставил за собой возможность свободно пробовать другие архитектуры...
VY
Т.е. у меня есть интерфейс фрейма и его реализация для x64
VY
Все специфичные для x64 внутренности находятся внутри отдельного модуля. Т.е. я планирую и дальше поддерживать эти абстракции, это должно позволить мне поиграться с другими архитектурами. Да, нашёл эмулятор, спасибо
DP
Я хочу получить что-то более-менее настоящее на выходе. Потом хотел бы попробовать для RISC-V сделать (если вообще хоть что-то доделаю и запал не пройдёт после x64)
отладку на MSP430 или Cortex-M0/M1