Jak działa C-- w porównaniu do LLVM?

Question

Po zapoznaniu się z działaniem LLVM jestem naprawdę podekscytowany tym, jak można generować przenośny kod niskiego poziomu i jak budować modułową "rzecz".

Ale odkryłem dzisiaj istnienie C--, które wydaje się dzielić pewne pojęcia z LLVM.

Poszukuję informacji pomagających mi zrozumieć główne różnice między tymi dwoma projektami ... i dlaczego oba istnieją.

Dla mnie LLVM wygląda trochę jak najlepszy szwajcarski scyzoryk dla infrastruktury kompilatora, a C-wygląda o wiele mniej zaawansowany.

Answer 1

Różnią się tym, jak ekspresyjny jest system typu niskiego poziomu.

Maszyna LLVM jest dość ekspresyjna. Z drugiej strony, maszyna C-- nakłada dużą odpowiedzialność na front językowy. Cytując z C-- FAQ: „prosto, C-- ma typy wysokiego szczebla --- nawet nie odróżnić zmienne zmiennoprzecinkowe ze zmiennych całkowitych Model ten daje Czo całkowitą kontrolę reprezentacji i typu systemu”

Również wizualnie wyglądają zupełnie inaczej. C-- wygląda trochę jak C, LLVM wygląda jak asembler.

Pragmatycznie, LLVM ma teraz o wiele więcej rozpędu. Ma kompilator JIT, Apple używa go do 3D pipeline things i ludzie używają go do connect to GCC i wszelkiego rodzaju rzeczy weird i wonderful. Ktoś nazwał to "almost absurdly easy to work with".

Z drugiej strony C-- jest znacznie mniejsza i prawdopodobnie łatwiejsza do całkowitego zrozumienia. (Wyobrażam sobie, że normalna osoba z pewną dedykacją może w pełni zrozumieć jej aspekty).