CompCert-Release 24.04

Verbesserungen

  • Verbesserte Prolog- und Epilog-Sequenzen für Funktionen bei ARM, PowerPC und AArch64.
  • Zur Erzeugung von ARM-Symboladressen werden wenn möglich movt/movw benutzt.
  • Vermeidung von unnötigen Moves beim ARM-EABI-Gleitkomma-Fixup-Code.
  • Erzeugung von CFI-Direktiven für AArch64 und RISC-V.
  • Genauere Warnungen für non-linear-cond-expr.
  • Die nicht mehr benötigte Option -fstruct-return wurde entfernt.