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 /pg | |
| 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 'pg')
0 files changed, 0 insertions, 0 deletions