[dad1111]

Czy ktoś kiedyś słyszał o komilatorze dla C/C++ do jakiegoś uniwerstalnego bytecodu, który następnie mógłbybyć konwertowany do arm/x86 itd? Wydaje mi się, że to dość proste (technicznie) do zrobienia, ale nie mogę nic gotowego znaleźć.

#programowanie #c #cpp #c++

[ponton]

@dad1111: LLVM i Clang? ( ͡° ͜ʖ ͡°) W zasadzie każdy kompilator tak działa: https://en.wikipedia.org/wiki/Intermediate_representation

[dad1111]

@ponton: ale potrafią do bytecodu? Jeśli tak to jakiego? Jest jakaś specyfikacja?

[Razi91]

LLVM od początku to potrafił, na tym polega fenomen LLVM, dzięki któremu tak łatwo w nim zaimplementować kolejne języki programowania. Używanie tego w praktyce jednak nie jest takie łatwe. Może zacznij od zdefiniowania tego, co chcesz osiągnąć.

[lionbest]

@dad1111: Tutaj w dokumentacji masz wszystko ładnie opisane:
https://llvm.org/docs/LangRef.html

[dad1111]

@Razi91: chcę połączyć możliwości projektów opensource (przekompilowanie z różnymi parametrami) bez udostępniania kodu. Czyli np. taki deb z apką, która kompiluje się w trakcie instalacji na odpowiednie środowisko/architekturę.

[dad1111]

@lionbest: @Razi91: Wydaje mi się, że to coś o co mi właśnie chodziło. Wiecie może czy przechowuje sobie części warunkowe kompilacji, które są wykonywane w pre? Jak np. #ifdef XXX tak aby dało się zmienić działanie programu zmieniając parametr przy konwersji LLVM IF -> kod maszynowy

[lionbest]

@dad1111: Oczywiście że nie przechowuje, tego nawet drzewo AST po parsowaniu nie przechowuje.
Generalnie LLVM wogóle nie posiada w sobie nawet wyrażeń stałych tylko same wartości, które oczywiście dalej mogą być optymalizowane poprzez filtry w LLVMce.
Jedyne rozwiązanie które widzę to podmiana globalnej zmiennej na wartość stałą i uruchomienie optymalizacji na zmodyfikowanym kodzie jeszcze raz.
Bilioteka LLVMki ma wszystko co potrzebujesz, parser i writer kodu IR, framework do filtrów i translatorów.