CompCert-Releasenotes

Aktuelles Release 24.10

  • Präzisere Valueanalyse
  • Verbesserte if-Conversion-Heuristic
  • Verbesserte CSE-Optimierung
  • Neue Optionen
  • Diverse Verbesserungen für ARM und PowerPC
  • Neue Valex-Konfiguration

24.04

  • Verbesserter Prolog- und Epilog-Code für Funktionen
  • Erzeugung von CFI-Direktiven für AArch64 und RISC-V
  • Diverse Verbesserungen für ARM

23.10

  • Verbessertes Entfernen gemeinsamer Teilausdrücke
  • Verbesserte Konstantenpropagation
  • Verbesserungen am Valex-Qualifizierungskit

23.04

  • Unterstützung für Duff’s Device
  • Unterstützung für Unicode-Konstanten und -Zeichenketten
  • Verbesserte Instruktionsauswahl und Registerallokation für ARM/Thumb

22.10

  • Unterstützung der C11 _Generic Selection
  • Verbesserte if-conversion-Compileroptimierung
  • Unterstützung für Mergeable String/Literal Sections

22.04

  • Formal verifizierte Behandlung von Bitfeldern in Structs und Unions
  • Ausgabe von Csyntax

21.10

  • Unterstützung für 32-Bit-PowerPC-VLE mit der NXP-GCC-Toolchain
  • Unterstützung für Nichtinteger-Bitfelder

21.04

  • Verbesserte ABI-Kompatibilität
  • Verbesserte Diagnostiken
  • Zusätzliche und verbesserte Built-In-Funktionen

20.10

  • Neue Built-in-Funktionen
  • Verbesserte Diagnostiken
  • Unterstützung für _Static_assert

20.04

  • Neue Architektur: AArch64
  • Verbesserte Fehlermeldungen
  • Bessere DWARF-Unterstützung

19.10

  • Optimierung durch If-Konvertierung
  • Verbesserte Built-in-Funktionen
  • Neue Diagnostiken

19.04

  • Verbesserter Umgang mit Attributen
  • Besseres Scoping
  • DWARF-Verbesserungen

18.10

  • Besserer Umgang mit _Alignof/_Alignas
  • Neuer Valex-Check
  • Neue Diagnostiken

18.04

  • Neues Builtin zur Integration mit a3
  • JSON-Export für ARM-Assembler
  • Valex für ARM

17.10

  • Neues Backend für hybriden 64/32-Bit–PowerPC-Code
  • Neue generische Optimierungen
  • QSK für Valex

17.04

  • Volle Unterstützung für C11-anonymous-compound-Typen
  • Checks für nichtbenutzte Variablen und Parameter

16.10

  • Verbesserte Unterstützung für K&R, ARM und PowerPC
  • Kompatibilität mit coq v8.5pl2

16.04

  • Neue Optionen für GCC-Kompatibilität
  • Mehr eingebaute Funktionen
  • Diverse Fixes

15.10

  • Valex-Tool
  • Unterstützung für DWARF2
  • Neue Sprachfeatures