Наконец-то на днях я дошел до генерации вменяемых ассемблеров в разработке своего компилятора 😊

На самом деле учитывая, что я использую LLVM я мог бы дойти до генерации ассемблера за наверное час-два проганья, но я перфекционист. Ну не могу я сначала итеративно строить скейтборд, самокат, велик, скутер и потом только машину - я люблю когда сразу космолет! Поэтому я решил с самого начала строить многоуровневый, многопоточный, расширяемый компилятор с оптимизациями, жесткой типизацией и своей философией. На прикрепленном фото выведен простенький код, но сразу в 5 промежуточных представлениях:

AST - абстрактное синтаксическое дерево - по сути это то что написал программист.

HIR - высокоуровневое промежуточное представление - это то как программиста понял мой компилятор. Именно на этом этапе происходит инференс типов и дешугаринг.

MIR - среднеуровневое промежуточное представление - это то как компилятор объяснит компьютеру то что накодил программист. На этом этапе происходит большая часть оптимизаций.

LLVM IR - промежуточное представление LLVM - по сути это универсальный машинонезависимый ассемблер.

ASM - ассемблер под мою машину - конкретный набор инструкций для конкретного процессора.

В общем я поздравляю себя с новым достижением! 🥰

Я, очевидно, неверующий и вообще живу в Израиле, но без куличика жизнь не жизнь 🍞 🐱

У меня включается отцовский инстинкт к Диане 🤗