diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-06-24 18:55:21 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-06-24 19:22:27 +0200 |
| commit | a34adc8e005447e7fa44ca3b71db35ceb7facb4c (patch) | |
| tree | d1c7308d30254d39694877fceaccb8a168a2660a /Changelog | |
| parent | 44a668fbd81a587a17b680bebecf016519915a69 (diff) | |
| download | compcert-a34adc8e005447e7fa44ca3b71db35ceb7facb4c.tar.gz compcert-a34adc8e005447e7fa44ca3b71db35ceb7facb4c.zip | |
Expand "j_s symb" to "jump symb, x31" assembly pseudo-instruction
As suggested by Léo Gourdin in #437.
The previous expansion as a plain "j" instruction fails when the jump
offset is too large to be represented (issue #436).
Fixes: #436
Closes: #437
Diffstat (limited to 'Changelog')
| -rw-r--r-- | Changelog | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -18,7 +18,7 @@ Usability: trigger only if parameters were declared.) - Check (and warn if requested) for arguments of struct/union types passed to a variable-argument function. - + Bug fixes: - RISC-V: fixed an error in the modeling of float32 <-> float64 conversions when the argument is a NaN (#428). @@ -29,6 +29,8 @@ Bug fixes: in correct but different allocations.) - Hardened the configure script against Cygwin installations that produce \r\n for end-of-lines (#434). +- RISC-V: tail calls to far-away functions were causing link-time errors + (#436, #437). Coq development: - Updated the Flocq library to version 4.1. |