diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-17 11:46:29 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-08-17 11:46:29 +0200 |
commit | fc1b2bfea598354a3e939de35d270376c880e1b0 (patch) | |
tree | e3ef011ceacee4f685ea2b005baa376118ff28fe /configure | |
parent | 6c34468898e3726b53c875023730fae7caaf88ee (diff) | |
download | compcert-fc1b2bfea598354a3e939de35d270376c880e1b0.tar.gz compcert-fc1b2bfea598354a3e939de35d270376c880e1b0.zip |
ARM: tweak stack layout so that back link and return address are lower
This reduces the chances that back link and return address cannot be saved by a single str instruction. We generate correct code for the overflow case, but the code isn't very efficient, so let's make it uncommon.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions