Język kompilacji - LLVM IR kontra C

Question

Do pisania kompilatora, jakie są zalety i wady stosowania LLVM IR vs C dla języka docelowego? Wiem, że oba są używane, i wyobrażam sobie, że ostateczny kod maszynowy byłby podobny, gdybym użył klanga do kompilacji C. Więc jakie są inne rzeczy do rozważenia?

Answer 1

Użyłem LLVM IR dla kilku kompilatora powrotem końcach i pracował z kompilatory, które używają C jako back-end. Jedną z rzeczy, które znalazłem, która daje LLVM IR przewagę, jest to, że jest wpisane. Trudno jest całkowicie źle sformułować dane wyjściowe bez pobierania błędów z bibliotek LLVM.

Łatwiej jest również, aby utrzymać ścisłą korelację pomiędzy kodem źródłowym i IR do debugowania, moim zdaniem.

Plus, można uzyskać wszystkie fajne narzędzia wiersza poleceń LLVM analizować i przetwarzać IR emituje swoją front-end.

Answer 2

i architektury systemów operacyjnych, dla których nie ma szczęk oczywiście, lub które znajduje się w stanie doświadczalnej.

C jest bardziej powszechnie akceptowane, ale LLVM IR pozwala łyżka silnik LLVM paszy. Nie wszystkie ścieżki do IR są równe.

Answer 3

wątpię można wdrożyć właściwą obsługę debugowania dla języka podczas kierowania C.

Answer 4

zalety LLVM:

1. JIT - można skompilować i uruchomić kod dynamicznie. Oczywiście to samo jest możliwe w przypadku C (np. Przy użyciu wbudowanego tcc), ale jest to znacznie mniej niezawodna i przenośna opcja.
2. Możesz uruchomić własne przejścia optymalizacyjne nad wygenerowanym IR.
3. Odbicie za darmo - kontrola wygenerowanego kodu jest znacznie łatwiejsza w LLVM.
4. Biblioteka LLVM nie jest tak duża jak większość kompilatorów języka C (oczywiście nie licząc tcc).

LLVM wady:

1. kod nie jest przenośny, trzeba zmienić go nieznacznie w zależności od celu. Istnieje pewien przenośny podzbiór LLVM, ale wciąż jest to dość ryzykowna praktyka.
2. Zależność czasu wykonywania na bibliotekach C++ może być problemem.