diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-23 15:33:06 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-09-23 15:33:06 +0200 |
| commit | c8ccecc783671fb699a33f432c34e3c1cd1dc801 (patch) | |
| tree | 040fc679cf59c9842e3b4963769ba7277f97300b /riscV | |
| parent | 9e30fa95607cf357ab7c18a4773edf6b6f84c7d7 (diff) | |
| download | compcert-kvx-c8ccecc783671fb699a33f432c34e3c1cd1dc801.tar.gz compcert-kvx-c8ccecc783671fb699a33f432c34e3c1cd1dc801.zip | |
For __builtin_memcpy_aligned, watch out for alignment of stack offsets
Stack offsets must be multiple of 8 when using ldp/stp instructions
and multiple of the transferred size when using other load/store
instructions with offsets greater than 256.
For simplicity, always require that the offset is multiple of 8.
Fixes: #410
Diffstat (limited to 'riscV')
0 files changed, 0 insertions, 0 deletions