CompCert Release 24.04 ---------------------- Improvements ------------- ● Improved function prologue and epilogue code sequences for ARM, PowerPC, and AArch64. ● Use movt/movw to construct symbol addresses if they are available for ARM. ● Avoid unnecessary moves for ARM EABI floating point fixup code. ● Generate CFI directives for AArch64 and RISC-V. ● Improved precision of the warning for non-linear-cond-expr. ● Removed deprecated option -fstruct-return. ------------------------------------------------------------------------------ Last updated on 26 April 2024 by alex@absint.com. Copyright 2024 AbsInt. ------------------------------------------------------------------------------ An HTML version of these release notes is available at absint.com/releasenotes/compcert/24.04