Das Compiler-Set LLVM 19 wurde veröffentlicht.

Nach sechs Monaten Entwicklung ist die Version LLVM 19.1.0 des Projekts nun verfügbar. Diese Version erweitert die Werkzeugpalette (Compiler, Optimierer und Code-Generatoren) und kompiliert Programme in einen intermediären RISC-ähnlichen Bytecode für virtuelle Instruktionen (eine niedrigstufige virtuelle Maschine mit einem mehrschichtigen Optimierungssystem). Der generierte Pseudocode kann in Maschinencode für die jeweilige Zielplattform umgewandelt oder von einem JIT-Compiler verwendet werden, um Maschinensprache direkt während der Programmausführung zu erzeugen. Basierend auf der LLVM-Technologie wird der Compiler Clang entwickelt, der die Programmiersprachen C, C++ und Objective-C unterstützt. Mit dieser Version hat das Projekt auf ein neues Versionsnummerierungsschema umgestellt, bei dem die nullte Publikation („N.0“) im Entwicklungsprozess verwendet wird und die erste stabile Version die Nummer „N.1“ erhält.

Zu den Verbesserungen in Clang 19 gehören:

• Hinzugefügte Funktionen, die im C-Standard C23 definiert sind:
  • Unterstützung für die Nutzung des constexpr-Spezifizierers zur Definition von Objekten;
  • Makros INFINITY, NAN, FLT_NORM_MAX, DBL_NORM_MAX und LDBL_NORM_MAX in float.h;
  • Mechanismus «#embed» zur Integration binärer Ressourcen;
  • Typ char8_t für Zeichenketten und Zeichen in UTF-8.
• Es wird die vollständige Implementierung aller Möglichkeiten, die im C++17-Standard definiert sind, gewährleistet. Der letzte Schritt bestand darin, die Unterstützung für Elemente zu aktivieren, die Parameterübereinstimmungen mit kompatiblen Argumenten ermöglichen, die standardmäßig deaktiviert waren aufgrund von Kompatibilitätsproblemen.
• Im C++14-Modus ist die Unterstützung der Delete-Funktion mit Größenangabe (sized deallocation) standardmäßig aktiviert.
• Funktionen, die mit dem C++20-Standard verbunden sind, wurden hinzugefügt: eingebaute Funktionen __is_layout_compatible und __is_pointer_interconvertible_base_of; vollständige Unterstützung für Ausdrücke zum Importieren von Modulen; erste Unterstützung für die automatische Typbestimmung von Template-Argumenten für durch Vorlagen erzeugte Typalias (CTAD für Alias Template).
• Funktionen, die mit dem C++20-Standard verbunden sind, wurden hinzugefügt: Verlängerung der Lebensdauer temporärer Objekte in Schleifen, die Bereiche durchlaufen; tragbare Annahmen; Lockerung der Einschränkungen für constexpr und Deaktivierung der Diagnose „-Winvalid-constexpr“; Unterstützung von statischen und expliziten Mitgliedsfunktionen von Objekten mit identischen Parameterlisten.
• Neue Funktionen im Zusammenhang mit dem zukünftigen Standard C++2c (C++26) hinzugefügt: Indizierung von Paketparametern in Templates; Syntax ‘= delete(„Grund“)‘; Attribute für strukturierte Bindungen; Verbot der Bindung eines zurückgegebenen glvalue an temporäre Werte; triviale endlose Schleifen ohne undefiniertes Verhalten; Ausgabe eines Fehlers bei der Löschung eines Zeigers auf einen unvollständigen Typ; Anwendung von Einschränkungen in den Faltungsausdrücken („…“).
• Neue Compiler-Flags hinzugefügt:
  • „-fsanitize=implicit-bitfield-conversion“ zur Überprüfung auf implizite Truncation und Vorzeichenänderungen beim Arbeiten mit Bitfeldern.
  • „-fsanitize=implicit-integer-conversion“ zur Überprüfung auf implizite Ganzzahlumwandlungen.
  • „-Wmissing-designated-field-initializers“ zur Identifizierung fehlender Feldinitialisierer.
  • „-fexperimental-modules-reduced-bmi“ zur Aktivierung eines reduzierten BMI (Binary Module Interface) für benannte Module in C++20, das die Verwendung von Standardmodulen in C++ ermöglicht.
  • „-fexperimental-late-parse-attribute“ zur Aktivierung des späten Parsens von Attributen in spezifischen Kontexten, z. B. des Attributs counted_by.
  • „-fseparate-named-sections“ zur Erstellung separater, einzigartiger Abschnitte für globale Symbole in benannten speziellen Abschnitten.
  • «-fms-define-stdc» zur Gewährleistung der STDC-Kompatibilität mit MSVC.
  • «-Wc++23-compat» und «-Wc++2c-compat» sind Gruppen von Warnungen, die die Migration auf C++23 und C++26 erleichtern.
  • «-fdisable-block-signature-string» zur Deaktivierung der Generierung von Signaturstrings für Blöcke.
  • «-fpointer-tbaa» zur Markierung inkompabilitärer Zeiger unter Verwendung der Typ-basierenden Aliasanalyse (TBAA).
• Neue Attribute wurden hinzugefügt: sized_by, counted_by_or_null, nonblocking, nonallocating, blocking, allocating, sized_by_or_null, amdgpu_max_num_work_groups(x, y, z).
• Neue integrierte Funktionen wurden hinzugefügt: __builtin_readsteadycounter, __builtin_popcountg, __builtin_clzg, __builtin_ctzg, __is_bitwise_cloneable.
• Die Diagnose- und statischen Analysewerkzeuge wurden erweitert, und es wurden neue Prüfungen hinzugefügt.

Die Hauptneuerungen von LLVM 19:

• Im Backend für die RISC-V-Architektur wurde experimentelle Unterstützung für die Erweiterungen Zabha (atomare Speicheroperationen), Ssqosid, Ssnpm, Smnpm, Smmpm, Sspm und Supm (Einsatz von Masken für Zeiger), Zba, Zbb und Zbs hinzugefügt. Die Unterstützung der Erweiterungen Ztso, Zabha, Zaamo und Zalrsc wurde stabilisiert.
• Im Backend für die AArch64-Architektur wurde Unterstützung für die Cortex-Prozessoren R82AE, A78AE, A520AE, A720AE, A725, X925, Neoverse-N3, Neoverse-V3 und Neoverse-V3AE hinzugefügt.
• Im Backend für die ARM-Architektur wurde Unterstützung für den Prozessor Cortex-R52+ hinzugefügt.
• Die Backends für die Architekturen X86, LoongArch, WebAssembly, MIPS, PowerPC und AMDGPU wurden verbessert.
• Die Funktionen des Linkers LLD wurden erweitert. Neue Relokationsarten wurden hinzugefügt: CREL, GNU_PROPERTY_AARCH64_FEATURE_PAUTH, R_AARCH64_AUTH_ABS64 und R_AARCH64_AUTH_RELATIVE. Ein Parameter „—compress-sections ={none,zlib,zstd}[:level]“ wurde hinzugefügt, um den Komprimierungsalgorithmus der Abschnitte auszuwählen.
• In der Bibliothek Libc++ wird die Implementierung der Standards C++20, C++23 und C++26 fortgesetzt.
• Die Anforderungen an die Python-Version für den LLVM-Bau wurden von 3.6 auf 3.8 erhöht.

Quelle: opennet.ru