amacc -Download - amacc -Quellcode herunterladen

amacc

C#-Quellcode

1.0.0

Herunterladen

Amacc = wohl minimalistische Arm C Compiler

Einführung

AMACC ist ein 32-Bit-Armarchitektur-Compiler, der von Grund auf neu gebaut wurde. Es dient als abgespeckte Version von C, die als pädagogisches Instrument ausgelegt ist, um über Compiler, Linker und Lader zu lernen.

Es gibt zwei Ausführungsmodi AMACC -Geräte:

Just-in-Time (JIT) Compiler für Arm Backend.
Erzeugung gültiger GNU/Linux -ausführbarer Ausführungszeichen mit dem ausführbaren und linkbaren Format (ELF).

Es ist erwähnenswert, dass AMACC so konzipiert ist, dass er eine Teilmenge von C zusammenstellt, die erforderlich ist, um sich mit den oben genannten Ausführungsmodi selbst zu veranstalten. Zum Beispiel unterstützt es globale Variablen, insbesondere globale Arrays.

Ein einfacher stapelbasierter abstrakter Syntaxbaum (AST) wird durch kooperative stmt() und expr() Parsingfunktionen erzeugt, die beide von einer Token-generierenden Funktion gespeist werden. Die expr() -Funktion führt einige buchstäbliche konstante Optimierungen durch. Der AST wird unter Verwendung der gen() -Funktion Gen () in eine stapelbasierte VM-Zwischendarstellung (IR) umgewandelt. Der IR kann über eine Befehlszeilenoption untersucht werden. Schließlich generiert die Funktion codegen() ARM32 -Anweisungen aus dem IR, die entweder über jit() oder elf32() ausführbare Generierung ausgeführt werden können

AMACC kombiniert klassische rekursive Abstammung und Vorrangvorrang vor Analyse des Bedieners. Ein Vorrangsparser als Operator ist erheblich schneller als ein rekursiger Abstammungs -Parser (RDP) für Ausdrücke, wenn der Vorrang vor Anhäufungen von Grammatikproduktionen definiert wird, die ansonsten in Methoden umgewandelt werden.

Kompatibilität

AMACC ist in der Lage, C -Quelldateien zu kompilieren, die in der folgenden Syntax geschrieben wurden:

Unterstützung für alle C89 -Aussagen mit Ausnahme von Typedef.
Unterstützung für alle C89 -Expression -Operatoren.
Datentypen: Char, Int, Enum, Struct, Union und Multi-Level-Zeiger
- Typ -Modifikatoren, Qualifikationen und Speicherklassenspezifizierer werden derzeit nicht unterstützt, obwohl viele Schlüsselwörter dieser Art nicht routinemäßig verwendet werden und einfach mit einfachen alternativen Konstrukten herumgearbeitet werden können.
- Struktur-/Gewerkschaftszuweisungen werden auf Sprachebene in AMACC, z. B. S1 = S2, nicht unterstützt. Dies gilt auch für Funktionsrückgabewerte und -parameter. Es wird empfohlen, Zeiger zu übergeben und zurückzugeben. Verwenden Sie Memcpy, wenn Sie eine vollständige Struktur, z.
Globale/lokale variable Initialisierungen für unterstützte Datentypen
- ZB, int i = [expr]
- Neue Variablen dürfen in Funktionen überall deklariert werden.
- Die Initialisierung von Array-Array-Array von Gegenstand wird unterstützt
- Die Aggregat -Array -Deklaration und Initialisierung muss jedoch noch unterstützt werden, z. B., int foo[2][2] = { { 1, 0 }, { 0, 1 } };

Die Architektur unterstützt ARMV7HF mit Linux abi und wurde auf Raspberry Pi 2/3/4 mit GNU/Linux verifiziert.

Voraussetzungen

Der Codegenerator in AMACC stützt sich auf mehrere GNU/Linux -Verhaltensweisen, und es ist erforderlich, dass Arm/Linux in Ihrer Build -Umgebung installiert ist.
Installieren Sie GNU Toolchain für die A-Profilarchitektur
- Wählen Sie arm-linux-none-gnueabihf (AARG32-Ziel mit Hard Float)
Installieren Sie QEMU für die ARM -Benutzeremulation

sudo apt-get install qemu-user

Ausführen von Amacc

Run make check und Sie sollten Folgendes sehen:

 [ C to IR translation          ] Passed
[ JIT compilation + execution  ] Passed
[ ELF generation               ] Passed
[ nested/self compilation      ] Passed
[ Compatibility with GCC/Arm   ] ........................................
----------------------------------------------------------------------
Ran 52 tests in 8.842s

OK

Überprüfen Sie die von make help erzeugten Nachrichten, um mehr zu erfahren.