Das deutsche QBasic- und FreeBASIC-Forum

[hitori04]

Hey, ich habe mir vor kurzem ein neues Buch zum thema Compilerbau besorgt und komme soweit auch ganz gut klar, jetzt ist aber eine sache doof bzw missgünstig daran und zwar ist das buch so geschrieben dass ich damit zwar einwandfrei einen interpreter (parse und co inklusive) schreiben kann mit genug übung es wird aber nicht genau behandelt wie nun der compiler eine lauffähige exe erzeugt ich meine ich möchte ja eben genau das umsetzen, anhand einer kleinen programier sprache (die erstmal nicht viel können soll variablen deklariene typen definierung, input, output und die mathematischen sachen eben (addition, subtraktion usw usw ...)) die ich mit passendem compiler zu lauffähigen programmen umwandeln kann ..vielleicht kann mir hier jemand etwas weiter helfen, mich gar aufklären ...

vielen dank wie immer im vorraus


Editiert durch Moderator: Ursprünglichen Thementitel "Rein aus Interesse und Neugier" ersetzt. (Sebastian)

[RockTheSchock]

Der Teil des Compilers der lauffähige Programme bzw. eine Vorstufe davon erzeugt nennt sich Emitter. Freebasic erzeugt z.B. Assembler Code der vom Assember GAS http://de.wikipedia.org/wiki/GNU_Assembler in Maschinensprache gewandelt wird. Es können mehrere Module und/oder statische Libraries vom Linker zu einer Anwendung oder Library zusammengeführt werden.

Wenn du "fbc -r" eingibst, werden nur die asm Dateien erzeugt

Wenn du "fbc -R" zum kompilieren verwendest werden nach kompilieren und linken die asm Dateien belassen und nicht gelöscht. Guck dir mal die asm dateien an.



Kompiliert mit "fbc -R test.bas"

[hitori04]

sorry für die späte antwort habe erst jetzt bemerkt dass mein topic umbenannt wurde, nun das sieht doch schon einmal sehr viel versprechend aus. Danke nochmal dafür, werd mich damit mal weiter auseinander setzen

[28398]

Was vielleicht mehr Lerneffekt (bzw. einfacher erreichbar ist) wäre LLVM-IR zu erzeugen. Das hat u.a. auch den Vorteil, dass die ganze Sache portabel ausfällt und LLVM (mMn) viel besser dokumentiert is als GCC/GAS.

[hitori04]

Nachdem ich mir jetzt mal ein wenig über LLVM durchgelesen habe, sind mir einpaar fragen aufgekommen die ich mir nicht selbst beantworten kann, die erste und wohl wichtigste ist, ich habe noch nicht zu einhundert prozent verstanden wofür LLVM genau sein soll bzw was es denn tut. Damit komme ich dann auch gleich zu meiner zweiten frage selbst wenn ich jetzt eine anwtrot auf frage eins bekomme wie sieht es damit aus kann ich auch LLVM in freebasic umsetzen ?

Man merkt vielleicht dass ich noch ziemlich weit am anfang der ganze sache stehe aber ich möchte auch erst einmal alles was ich an information bekomme so gut wie möglich verstehen damit ich ein gewisses basis wissen für dieses thema auf bauen kann ..

[28398]

LLVM ist erstmal ein Projekt, was sich mit Compilern beschäftigt.

Der für dich interessante Teil des Projekts ist die LLVM(-IR), die aus folgenden Komponenten besteht:
-Eine Art High-Level Assembler (eben jene LLVM-IR) und ihre kompilierte Form, der Bitcode
-Eine virtuelle Maschine zum Ausführen dieses Bitcodes (ähnlich wie die JVM)
-Ein optimierender Compiler von Bitcode zu Maschinencode (x86, x86_64 und ARM)
-Diverse Analyse und Debuggingtools

Der interessante Part hier ist, dass du die LLVM-IR recht einfach erzeugen kannst in deinem Compiler, diese Sprache sogar noch halbwegs menschenlesbar ist und du dich um die Erzeugung von richtigem Maschinencode nicht kümmern brauchst.
Außerdem hast du dadurch direkt Zugriff auf die weiteren Teile der Infrastruktur, wie Debugger z.B.

Die Umsetzung in deinem Projekte sähe so aus, dass du erstmal nur Code erzeugst, der sich an diese Spezifikation hält: http://llvm.org/docs/LangRef.html
Die kompiliernug der erzeugten IR zu Bitcode und weiter zu einer eigenständigen Binary (.exe) kann LLVM dann selber machen.