diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-02-26 16:49:50 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-26 16:49:50 +0100 |
commit | 5003b8d93c2a20821b776f7f74f5096a308a03cf (patch) | |
tree | 121ef7599658b3b7c80cba2d4ecf889a14963a37 /MenhirLib | |
parent | c7adc93617712acdde0ea81649eff11ada7d96b9 (diff) | |
download | compcert-kvx-5003b8d93c2a20821b776f7f74f5096a308a03cf.tar.gz compcert-kvx-5003b8d93c2a20821b776f7f74f5096a308a03cf.zip |
Update the RISC-V calling conventions (#221)
We were implementing the ABI described in the RISC-V Instruction Set
Manual, version 2.1. However, this ABI was superseded by the RISC-V
ELF psABI specification.
This commit changes the calling conventions to better match the ELF psABI
specification. This should greatly improve interoperability with code
compiled by other RISC-V compilers.
One incompatibility remains: when all 8 FP argument registers have been used, further FP arguments should be passed in integer argument registers if available, while this PR passes them on stack.
Diffstat (limited to 'MenhirLib')
0 files changed, 0 insertions, 0 deletions