CompCert-Release 23.10

Verbesserungen

  • Verbessertes Entfernen gemeinsamer Teilausdrücke bei Konditionaloperatoren.
  • Verbesserte Value-Analyse für die Konstantenpropagation.
  • Beim x86-64 werden vorzeichenlose 32-Bit-Integerkonstanten jetzt mit der movl-Instruktion geladen.
  • Die Anzahl der Spilling-Rounds ist nicht mehr auf 40 begrenzt.
  • Verbesserte Fehlermeldungen bei Integer-Literalen, die für Typen mit Vorzeichen zu groß sind.
  • Die Reihenfolge der ausgegebenen Konstanten wurde geändert, um übermäßig große Offsets für Fließkommakonstanten zu vermeiden.
  • Für den RISC-V mit -fno-fpu vermeidet das eingebaute memcpy nun die Benutzung von fld/fsd.

Valex

Das API des Valex-Qualifizierungskits gibt jetzt für jeden einzelnen Eval-Durchlauf ein eigenes Ergebnis-Flag zurück, statt nur das Gesamtergebnis der Hauptevaluierungsfunktion.