diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-20 15:54:42 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-20 15:54:42 +0100 |
| commit | f88828d8024fe2adf9dd76d3c8c59c36fbe1a599 (patch) | |
| tree | 9243f1cdbf0f671a66beff11b7d2f5569922d3bd /configure | |
| parent | bdcd260ab0e6f2453069f348a5ba3d8e3ca38ce2 (diff) | |
| download | compcert-f88828d8024fe2adf9dd76d3c8c59c36fbe1a599.tar.gz compcert-f88828d8024fe2adf9dd76d3c8c59c36fbe1a599.zip | |
Fix Thumb handling of `add reg, sp, #imm` and `sub reg, sp, #imm`
Don't add `s` suffix if source register is R13 (SP), so as to enable
16-bit instruction encodings.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions