aboutsummaryrefslogtreecommitdiffstats
path: root/aarch64
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@college-de-france.fr>2020-12-22 15:06:19 +0100
committerXavier Leroy <xavier.leroy@college-de-france.fr>2020-12-25 18:35:22 +0100
commit2076a3bb31daf5bc3663fce25de6d837ace3f952 (patch)
tree63c8b77452037b7e54cac0c2c5c91b8448da53aa /aarch64
parent9ab3738ae87a554fb742420b8c81ced4cd3c66c7 (diff)
downloadcompcert-kvx-2076a3bb31daf5bc3663fce25de6d837ace3f952.tar.gz
compcert-kvx-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')
0 files changed, 0 insertions, 0 deletions