diff options
-rw-r--r-- | Changelog | 10 | ||||
-rwxr-xr-x | configure | 5 |
2 files changed, 11 insertions, 4 deletions
@@ -1,3 +1,6 @@ +Release 3.1, 2017-08-18 +======================= + Major improvements: - New port targeting the RISC-V architecture, in 32- and 64-bit modes. @@ -12,6 +15,7 @@ Code generation and optimization: (Avoid reloading the return address from the stack.) - Avoid generating useless conditional branches for empty if/else statements. - Earlier elimination of redundant `&*expr` and `*&expr` addressings. +- Improve utilization of addressing modes for volatile loads and stores. Usability: @@ -31,12 +35,14 @@ Bug fixing: switch cases. - Issue #P16: illegal PowerPC asm generated for unsigned division after constant propagation. -- Issue #P18: ARM PC-relative addressing of constant pool overflows - owing to underestimation of code size. +- Issue #P18: ARM addressing overflows caused by 1- underestimation of + code size, causing mismanagement of constant pool, and 2- large stack + frames where return address and back link are at offsets >= 4Kb. - Pass -no-pie flag to the x86 linker when -pie is the default. Coq and Caml development: +- Support Coq 8.6.1. - Improve compatibility with Coq working version. - Always generate .merlin and _CoqProject files. @@ -497,8 +497,9 @@ case "$ocaml_ver" in missingtools=true;; 4.02.*|4.03.*|4.04.*) echo "version $ocaml_ver -- good!" - echo "Some Intel processors of the Skylake and Kaby Lake generations have a hardware bug that this" - echo "version of OCaml runs into. To avoid this risk, it is recommended to use OCaml 4.05.";; + echo "WARNING: some Intel processors of the Skylake and Kaby Lake generations" + echo "have a hardware bug that can be triggered by this version of OCaml." + echo "To avoid this risk, it is recommended to use OCaml 4.05.";; 4.0*) echo "version $ocaml_ver -- good!";; ?.*) |