LLVM

The LLVM Compiler Infrastructure
Basisdaten

MaintainerChris Lattner[1]
EntwicklerThe LLVM Team[2]
Erscheinungsjahr24. Oktober 2003[3]
Aktuelle Version15.0.4[4]
(2. November 2022)
BetriebssystemPlattformunabhängig
ProgrammierspracheC++[5], C[6], Assemblersprache[7]
KategorieCompiler
LizenzUniversity of Illinois/NCSA Open Source License[8], Apache License v2.0 with LLVM Exceptions[9]
deutschsprachignein
www.llvm.org

LLVM (früher Low Level Virtual Machine) ist eine modulare Compiler-Unterbau-Architektur mit einem virtuellen Befehlssatz, einer virtuellen Maschine, die einen Hauptprozessor virtualisiert, und einem übergreifend optimierenden Übersetzungskonzept.[10] Kennzeichnend ist unter anderem, dass sämtliche Zeitphasen eines Programms (Laufzeit, Übersetzungszeit, Linkzeit) inklusive der Leerlauf-Phase[11] zur Optimierung herangezogen werden können. Der Zweck ist, einfach eigene Frontends für verschiedene Sprachen zu entwickeln, die die LLVM-Zwischensprache benutzen. Um die Erzeugung des Maschinen- bzw. VM-Codes kümmert sich die LLVM-Bibliothek, die vom Frontend aus aufgerufen wird.

Die Entwicklung von LLVM begann im Jahr 2000 unter der Leitung von Chris Lattner und Vikram Adve an der Universität von Illinois. Das Projekt wurde ursprünglich als Forschungsarbeit zur Untersuchung dynamischer Kompilierung und Optimierungen entwickelt. Heute beheimatet es eine Vielzahl an Unterprojekten und Erweiterungen aus der aktuellen Compilerforschung und -entwicklung.[1][12][13]

LLVM ist als freie Software unter der University of Illinois/NCSA Open Source License verfügbar, die der 3-Klausel-BSD-Lizenz und der MIT-Lizenz ähnelt.

„LLVM“ ist der volle Name des Projekts und kein Akronym[1], wird aber oft als „Low Level Virtual Machine“ angegeben. Dies sorgt zuweilen für Verwirrung, da LLVM auch für Virtualisierung genutzt werden kann. Mit der Zeit wurde LLVM ein Rahmenprojekt, in dem verschiedene Compiler- und Low-Level-Techniken enthalten sind. Inzwischen ist LLVM die Marke für das eigentliche Projekt, die LLVM-Zwischensprache (LLVM-IR), den LLVM-Debugger (LLDB), die LLVM-Standard-C++-Bibliothek (libc++) etc.

Arbeitsweise

Herkömmliche Compilersysteme führen Optimierungsvorgänge meist beim Kompilieren durch und verbinden die kompilierten Module dann miteinander. Dieser zweite Vorgang wird Binden oder auch Linken genannt und bietet ebenfalls Optimierungsmöglichkeiten, die bisher wenig genutzt wurden, da der Linker nur die einzelnen Module sieht und nicht das gesamte Programm. Hier setzt LLVM an, indem es einen nach Vorbild der RISC-Befehlssätze gestalteten virtuellen Bytecode erstellt, der während des Linkens noch einmal optimiert werden kann.[10][14]

Ein Teil der Architektur von LLVM basiert auf einer virtuellen Maschine, die einen Prozessor virtualisiert. Ein Prozessor kann dabei nicht nur ein Hauptprozessor (CPU) sein, sondern auch ein Grafikprozessor (GPU). Die virtuelle Maschine ist in der Lage, die intern generierte Sprache (sog. intermediate language) des Compilers (LLVM Assembly Language)[15] während der Ausführung für den Prozessor des aktuellen Systems zu übersetzen. Kennzeichnend ist hierbei, dass sie hocheffizient ist, was die Übersetzung auch Just-in-Time (also auf Anforderung, bei Bedarf) ermöglicht, und diese mit einer Größe von nur 20 kB extrem kompakt ist, wodurch die Ausführung auch auf einfachen Prozessoren, älteren Grafikprozessoren (GPUs) oder Embedded-CPUs, und insbesondere sogar direkt im Cache möglich ist. Über ein flexibles Backend-System ist es möglich, eine fast beliebige Vielzahl unterschiedlichster Prozessor-Architekturen zu unterstützen.[16]

Die LLVM-Bibliotheken können von Compilerprojekten, denen das Schreiben eines eigenen Codegenerators zu aufwendig wäre, eingesetzt werden, um auf einfache Weise Maschinencode (Bitcode, Microcode) zu erzeugen. Zum Beispiel muss Clang, welches Bestandteil von LLVM ist, nur den C- bzw. C++-Code parsen und in die LLVM-Zwischensprache (LLVM Intermediate Representation, LLVM IR) übersetzen. Das Erzeugen von effizientem Maschinencode kann dem LLVM-Backend überlassen werden. Bei diesem Beispiel kommt die virtuelle Maschine nicht zum Einsatz, da LLVM hier nur als Compiler-Backend für die jeweilige Architektur (x86, PowerPC, IA64, …) agiert.[17]

Aufbau

Der LLVM-Compiler verwendet ab Version 2.9 primär Clang als Frontend. Dabei eignet sich LLVM dazu, Programme, die in frei wählbaren Programmiersprachen geschrieben wurden, zu kompilieren. Derzeit kann Programmcode unter anderem in den Programmiersprachen C, C++, Objective-C, Swift, Java, Delphi, Julia, D, Ada, Fortran, Haskell, Dylan, Gambas, Python, Ruby, Rust, ActionScript, Vala, Zig, Genie und GLSL kompiliert werden.

Mit LLVM lassen sich virtuelle Maschinen für Sprachen wie Java, plattformspezifische Codegeneratoren und von Sprache und Plattform unabhängige Optimierer erstellen. Die LLVM-Zwischenschicht (IR) liegt zwischen sprachspezifischen Modulen und den jeweiligen Codegeneratoren und kann als eine Art plattformunabhängige Assemblersprache betrachtet werden. LLVM unterstützt weiterhin dynamische, interprozedurale Optimierung sowie statische Ahead-of-time- und Just-in-time-Kompilierung.[16] Ein Beispiel für LLVM-IR:

; String-Konstante als globale Konstante deklarieren
@.str = private unnamed_addr constant [13 x i8] c"hello world\0A\00"

; Externe Deklaration der `puts()`-Funktion (enthalten in libc)
declare i32 @puts(i8* nocapture) nounwind

; Definition der `main()`-Funktion
define i32 @main() {  ; i32()*
  ; Konvertiere [13 x i8]* zu i8 *... (Pointer auf i8-Elemente)
  %cast210 = getelementptr [13 x i8]* @.str, i64 0, i64 0

  ; Rufe `puts()`-Funktion auf, um Text auszugeben
  call i32 @puts(i8* %cast210)
  ret i32 0
}

; Metadaten
!1 = metadata !{i32 42}
!foo = !{!1, null}

Clang

Clang ist ein für LLVM entwickeltes Frontend, das für C-ähnliche Sprachen optimiert ist. Es ermöglicht gegenüber dem GCC-Oberbau vor allem schnellere Übersetzungsläufe mit geringerem Speicherverbrauch und als Ergebnis oft kleinere ausführbare Dateien. Zudem verfügt es über umfangreichere und genauere statische Analysemethoden, die dem Entwickler z. B. die Fehlersuche erleichtern. Die Unterstützung der Programmiersprache C++ gilt ab Version 2.7 als stabil.[18]

Seit September 2009 gilt Clang offiziell als stabil und produktiv verwendbar. Ab LLVM Version 2.6 befindet es sich als fester Bestandteil im LLVM-Compiler-Paket.[19] Clang lässt sich aber auch ohne LLVM als rein statisches Codeanalyse- und Debug-Werkzeug, zum Beispiel beim Einsatz mit anderen Compilern, verwenden.[20] Clang ist seit 2013 zur statischen Code-Analyse in die Entwicklungsumgebung Xcode von Apple für die Programmiersprachen C, Objective-C und C++ integriert.

LLDB

LLDB ist ein auf Techniken des LLVM-Projektes aufbauender und für C-basierte Sprachen optimierter, modularer und hochdynamischer Debugger. Er soll besonders speichereffizient und zugleich extrem leistungsfähig und schnell sein. Er verfügt über eine Plug-In-Schnittstelle zum Beispiel für die Unterstützung anderer Programmiersprachen. Zudem lassen sich Aufgaben mit Hilfe von Python automatisieren. Zu den Zielsetzungen zählt eine umfassende Unterstützung für das Debuggen von Multithreading-Code.[21][22]

DragonEgg

Bei DragonEgg handelt es sich um ein LLVM-Plugin für die GNU Compiler Collection (ab Version 4.5).[23] Dieses ermöglicht es, LLVM optional als Compiler-Backend einer ungepatchten GCC-Installation zu nutzen. DragonEgg wurde zu Beginn der Entwicklung nur als „the gcc plugin“ bezeichnet. DragonEgg löst die bisher häufig verwendete LLVM-GCC-Mischkonfiguration ab.

vmkit

Hierbei handelt es sich um einen modifizierten Zweig (Fork) der LLVM-VM, welche die direkte Ausführung von Java- und CIL-Bytecode (.Net-Framework/Mono) ermöglicht. Der Compiler beziehungsweise Linker kann das hochkompakte vmkit (ca. 20 kB) vor den Java- oder CIL-Bytecode packen und ausführen, wodurch die Ausführung auf beliebigen Prozessorarchitekturen und auf Systemen ohne vorherige Installation von Java oder .NET möglich ist. Das Projekt wird allerdings derzeit nicht mehr offiziell unterstützt.[24]

KLEE

Mit KLEE kann man Programme unüberwacht und automatisch auf Programmfehler untersuchen lassen. Dabei wird das Programm Schritt für Schritt ausgeführt. Statt konkreter Werte werden Eingabe und Zwischenresultate symbolisch verwendet und jeweils gespeichert, welche Werte diese haben könnten. Dabei wird bei „gefährlichen Operationen“ (englisch: "dangerous operations", zum Beispiel Divisionen oder Speicherzugriffe per Zeiger) geprüft, ob sie einen Fehler erzeugen könnten, zum Beispiel eine Division durch null oder einen Zugriff auf nicht reservierten Speicher. KLEE gibt dann aus, bei welcher Eingabe das Programm den Fehler erzeugt und welcher Pfad durch den Quellcode dabei genommen wird.[25]

Unterstützte Architekturen

LLVM unterstützt eine große Anzahl von Prozessorarchitekturen:

Jedoch gibt es noch einige Einschränkungen. Das Frontend (llvm-gcc) ist noch nicht für jede Plattform lauffähig. Dies kann umgangen werden, indem die LLVM als Cross-Compiler dient. Hier sollten eventuelle Abhängigkeiten, zum Beispiel die Programmbibliothek, berücksichtigt werden.[16]

Geschichte

Das Projekt startete 2000 an der University of Illinois at Urbana–Champaign als Studienprojekt von Vikram Adve und Chris Lattner. Als die Firma Apple darauf aufmerksam wurde, stellte sie 2005 ein festes Entwicklerteam für die Weiterentwicklung von LLVM zusammen und stellte Chris Lattner als dessen Projektleiter an.[26] LLVM ist seit Juli 2008 Standardcompiler in Apples Entwicklungsumgebung Xcode.[27] Ab Version 2.6 vom Oktober 2009 ist das Compiler-Frontend Clang integraler Bestandteil von LLVM.[28][29]

2011 erhielt LLVM den Programming Languages Software Award von ACM SIGPLAN.

Aktuelle Entwicklung

Viele weitere Komponenten befinden sich derzeit in intensiver Entwicklung, unter anderem Frontends für Java-Bytecode, OpenCL, Microsofts CIL, Python, Lua, PHP, Ruby, Mono[30] und Adobe ActionScript.[13][31] Der LLVM-JIT-Compiler kann ungenutzte statische Zweige des Programms zur Laufzeit erkennen und anschließend entfernen. Dies optimiert Programme mit einem hohen Grad an Verzweigung. Aus diesem Grund nutzt Apple seit macOS 10.5[32] LLVM im OpenGL-Stack, um einerseits sich selten ändernde Verzweigungspfade zu verkürzen und andererseits Vertex-Shader optimieren zu lassen.

Weblinks

Einzelnachweise

  1. a b c The LLVM Compiler Infrastructure Project (englisch) – offizielle Webseite
  2. llvm.org
  3. Chris Lattner: The LLVM 1.0 Release is finally available!.
  4. LLVM 15.0.4 Released. 2. November 2022 (abgerufen am 3. November 2022).
  5. The llvm Open Source Project on Open Hub: Languages Page. In: Open Hub. (abgerufen am 18. Juli 2018).
  6. The llvm Open Source Project on Open Hub: Languages Page. (englisch, abgerufen am 27. Juli 2018).
  7. The llvm Open Source Project on Open Hub: Languages Page. (englisch, abgerufen am 27. Juli 2017).
  8. License. (englisch, abgerufen am 27. Juli 2018).
  9. github.com. 19. Januar 2019.
  10. a b llvm.org
  11. llvm.org
  12. llvm.org
  13. a b The LLVM Users. llvm.org
  14. Hans-Joachim Baader: LLVM 1.5 freigegeben. In: Pro-Linux. 20. Mai 2005, abgerufen am 5. Dezember 2010 (englisch).
  15. llvm.org
  16. a b c LLVM Features. llvm.org
  17. LLVM. aosabook.org
  18. clang: a C language family frontend for LLVM. LLVM; Stand: 18. Oktober 2010
  19. LLVM 2.6 Release!. (Memento vom 11. Januar 2012 im Internet Archive) lists.cs.uiuc.edu, 23. Oktober 2009 (englisch)
  20. Expressive Diagnostics. LLVM; Stand: 27. November 2009 (englisch)
  21. The LLDB Debugger Goals. lldb.llvm.org
  22. Chris Lattner: New “lldb” Debugger. blog.llvm.org
  23. dragonegg.llvm.org
  24. vmkit.llvm.org
  25. Cristian Cadar, Daniel Dunbar, Dawson Engler: KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. Universität Stanford, 2008.
  26. Adam Treat: mkspecs and patches for LLVM compile of Qt4. In: Qt4-preview-feedback-Mailingliste. 19. Februar 2005, archiviert vom Original am 4. Oktober 2011; abgerufen am 5. Dezember 2010 (englisch).
  27. developer.apple.com
  28. Chris Lattner: LLVM 2.6 Release! In: llvm-announce mailing list. 23. Oktober 2009, archiviert vom Original am 11. Januar 2012; abgerufen am 5. Dezember 2010 (englisch).
  29. Hans-Joachim Baader: LLVM 2.6 freigegeben. In: Pro-Linux. 26. Oktober 2009, abgerufen am 5. Dezember 2010.
  30. mono-project.com
  31. Developing for the Apple iPhone using Flash. (Memento vom 19. Dezember 2009 im Internet Archive) adobe.com
  32. [LLVMdev] A cool use of LLVM at Apple: the OpenGL stack. (Memento vom 4. November 2006 im Internet Archive)