diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-22 15:06:19 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-12-25 18:35:22 +0100 |
commit | 2076a3bb31daf5bc3663fce25de6d837ace3f952 (patch) | |
tree | 63c8b77452037b7e54cac0c2c5c91b8448da53aa /aarch64/extractionMachdep.v | |
parent | 9ab3738ae87a554fb742420b8c81ced4cd3c66c7 (diff) | |
download | compcert-2076a3bb31daf5bc3663fce25de6d837ace3f952.tar.gz compcert-2076a3bb31daf5bc3663fce25de6d837ace3f952.zip |
RISC-V: revised calling conventions for variadic functions
Fixed (non-variadic) arguments follow the standard calling conventions.
It's only the variadic arguments that need special treatment.
Diffstat (limited to 'aarch64/extractionMachdep.v')
0 files changed, 0 insertions, 0 deletions