diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-05-25 15:32:17 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-05-30 17:38:07 +0200 |
| commit | d357b5c52fb9ac70679fa8abd47094e89a6c3fa1 (patch) | |
| tree | afc9759833de393a36b6156a1ff0a7cc1db65bec /configure | |
| parent | 318fc06823eb577e9b386aeea57133e8c3938ecf (diff) | |
| download | compcert-d357b5c52fb9ac70679fa8abd47094e89a6c3fa1.tar.gz compcert-d357b5c52fb9ac70679fa8abd47094e89a6c3fa1.zip | |
AArch64: make register X29 callee-save
CompCert doesn't maintain a frame pointer in X29. However, it must treat
X29 as callee-save, so that CompCert-generated code can be called from code
that uses X29 as frame pointer.
This commit makes X29 callee-save. In places where X29 was used as a
temporary, X15 or X14 is used instead.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions