Przenoszenie kompilatora z zestawu x86 do LLVM

Question

Niedawno, próbując doskonalić swoje umiejętności związane z montażem, napisałem bardzo prosty kompilator dla języka zabawkowego w C++. Działa on w trybie pojedynczego przejścia i bezpośrednio emituje kod podczas fazy analizy do kilku strumieni strunowych, z których każdy reprezentuje część kodu (to znaczy reprezentuje section .bss, podczas gdy inne reprezentują .data i .text). Następnie te strumienie ciągów są zapisywane do pliku i używam NASM i gcc do ich łączenia i łączenia. Wiem, że to podejście jednoprzebiegowe jest okropnie nieefektywne, ale znowu było to raczej ćwiczenie w rozumieniu etapu generowania kodu niż cokolwiek innego. W każdym razie, chciałbym zmodyfikować mój kod, by bezpośrednio emitować LLVM IL zamiast surowego montażu, ponownie jako ćwiczenie uczenia się. Czy istnieje przewodnik wprowadzający do LLVM IL? Lub, jeszcze lepiej, narzędzie do ustalenia równoważnego kodu IL dla linii złożenia? Spojrzałem i znalazłem tylko pełną specyfikację, która jest DROGĄ więcej informacji, niż potrzebuję.

Answer 1

Numer referencyjny LLVM IR to available here. Zwróć uwagę, że jest to szczegółowa strona referencyjna, a nie samouczek. Nie ma bezpośredniej zależności 1-do-1 między montażem x86 a LLVM IR, chociaż ponieważ LLVM IR jest wyższym poziomem i bardziej ogólnym niż montaż x86, nie powinno być zbyt trudno dostosować kompilator do emitowania x86 do emitowania LLVM IR.

Oficjalna dokumentacja LLVM jest dostarczana z detailed tutorial, która jest absolutnie najlepszym miejscem dla ciebie - przechodzi przez tworzenie kompilatora zabawek od uproszczonego języka programowania wysokiego poziomu do LLVM IR. Pracując nad nim, nauczysz się wielu kluczowych pojęć LLVM, a następnie będziesz mógł efektywnie korzystać z wyżej wspomnianego języka odniesienia.

Jeśli napotkasz jakieś problemy z tutorialem, zgłoś je do śledzenia błędów LLVM lub listy mailingowej. Samouczek powinien działać poprawnie, a każdy zgłoszony problem zostanie naprawiony.

Innym dobrym źródłem początkowym do zrozumienia LLVM IR jest online demo page. To pozwala na kompilację fragmentów kodu C do LLVM IR online (bez instalowania czegokolwiek) i powinno być bardzo pomocne w zrozumieniu, jak podstawowe konstrukcje programistyczne mogą być reprezentowane w LLVM IR.