diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-02-18 17:46:50 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-02-18 17:46:50 +0100 |
commit | 4bd80095720ca873b6ded9b169bbc6a8be9e11d7 (patch) | |
tree | ca50d8574f65083a8d4b4964c66a4d8bc98573f4 /backend/IRC.mli | |
parent | 86cc275b2b0b6e89d2b9e5b476e6a10163a8ed42 (diff) | |
download | compcert-4bd80095720ca873b6ded9b169bbc6a8be9e11d7.tar.gz compcert-4bd80095720ca873b6ded9b169bbc6a8be9e11d7.zip |
Do not use "movs rd, rs" nor "movs rd, #imm" in Thumb2 mode.
Two reasons:
- The movs is not supported if rd or rs is r13 (the stack ptr register).
Newer versions of GNU as reject it, older versions were probably
emulating it.
- The purpose of setting the "s" flag on some operations is to
enable 16-bit encoding in Thumb2 mode. However, for "mov"
it is the non-s form that has a 16-bit encoding; the s form
is never more compact.
Diffstat (limited to 'backend/IRC.mli')
0 files changed, 0 insertions, 0 deletions