🚀 go-pugleaf

On Friday, January 31, 2020 at 8:33:40 PM UTC+1, heby wrote:
> On 31/01/2020 08:35, Tomasz Kaczanowski wrote:
> >> Przypomnij mi który obecnie używany i popularny kompilator C/C++ 
> >> generuje kod w asemblerze wprost z C/C++ bez warstwy pośredniej?
> > a co to ma do rzeczy, jeśli musisz przystosować bibliotekę standardową 
> > do specyfiki nowego systemu?
> 
> A co to ma do rzeczy kiedy ta bibliteka wymaga przystosowania do 
> pozostałym dziesiątek języków programowania gdzie C++ jest tylko jednym 
> z wielu frontendów? I w dodatku w 95% ta bibliteka składa się z wywołań 
> C wiec musisz ją i tam napisać jeśli chcesz C.
> 
> Bibliteki std w C++ są w postaci kodu źródłowego i poza poprawą bugów i 
> zdefiniowaniem ile ma size_t wiele pracy nie wymagają.
> 
> >> Szczególnie jak odkrywasz że współczesne kompilatory to jakieś 
> >> frontendy, backedy, kody pośrednie, maszyny wirtualne itd itp ...
> > tak... rozmawiamy o c i c++, czy językach korzystających z maszyn 
> > wirtualnych?
> 
> Rozmawiamy o maszynach wirtualnych w środku kompilatora.
> 
> Od prostych drzew, przez drzewa optymalizujące po wirtualną architekturę 
> rejkestrową albo stosową. Na samym końcu, naprawdę na samiuteńkim, lezy 
> sobie generator kodu do języka maszynowego danej architektury. To 
> śladowy element całości procesu kompilacji jeśli chcemy porównać 
> trudność pisania kompilatora.
> 
> Polecam nie bredzić tylko zainteresować się:
> 
> https://gcc.gnu.org/onlinedocs/gccint/index.html
> 
> (etapy pośrednie generacji kodu GENERIC, GIMPLE, RTL).
> 
> https://en.wikipedia.org/wiki/GNU_Compiler_Collection#GENERIC_and_GIMPLE
> 
> Oraz:
> 
> https://llvm.org/
> 
> Oczywiscie generowanie kodu pośredniego ma też przeciwników, np część 
> naukowców uważa że to jest niewydajna metoda:
> 
> https://www.youtube.com/watch?v=pP_zIJSp3WA

Uważam w ogóle że oddzielenie kodu C++ od kodu maszynowego tak bardzo
utrudnia optymalizację, że w praktyce uniemożliwia przeprowadzenie 
pewnych optymalizacji. Maszyna pośrednia by musiała wiedzieć coś o 
kodzie C++, a to uniemożliwiłoby generowanie z innych języków do 
maszyny pośredniej.


> 
> Ale jest też bardzo stara:
> 
> https://en.wikipedia.org/wiki/UNCOL
> 
> Innymi słowy, mój przyjacielu: dopisanie do gcc/llvm *nowej* platformy 
> sprowadza się do napisania backendu, który jest ułamkiem samego 
> kompilatora. A jak już go napiszesz do dostajesz w zasadzie za darmo 
> wsparcie dla *WSZYSTKICH* języków z fronendu. Do C i C++ tak samo 
> dostaniesz jak do Pascala którego nawet nie planowałeś.
> 
> Odpowiedź więc na pytanie: czy ciezko napisać C++ na nową platformę? 
> brzmi: prawie dokładnie tak samo ciezko jak do C.

Pozdrawiam