diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-10 14:34:58 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-10 15:58:46 +0100 |
| commit | e81d015e3cc2cb0c352792d0cac12f1594281bc2 (patch) | |
| tree | 27a114153d1af7ba2771422780d452e5cb776daa /lib | |
| parent | 35e2b11db8d5b79a09e6d69dd68b54d3a51ba2d5 (diff) | |
| download | compcert-kvx-e81d015e3cc2cb0c352792d0cac12f1594281bc2.tar.gz compcert-kvx-e81d015e3cc2cb0c352792d0cac12f1594281bc2.zip | |
RISC-V: wrong fixup code generated for vararg calls with fixed FP args
This is a follow-up to 2076a3bb3.
Integer registers were wrongly reserved for fixed FP arguments,
causing variadic FP arguments to end up in the wrong integer registers.
Added regression test in test/regression/varargs2.c
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions