diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2023-01-06 11:06:44 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2023-02-20 13:29:07 +0100 |
commit | 431b64db94583fc5e8d08ecc9bd4e105567ed4d5 (patch) | |
tree | 74c5ac3194f06ab0e76b16603708f0e4a47218a4 /backend | |
parent | 2057282e475c72a14651c2ec4a66bfe0287a9d43 (diff) | |
download | compcert-431b64db94583fc5e8d08ecc9bd4e105567ed4d5.tar.gz compcert-431b64db94583fc5e8d08ecc9bd4e105567ed4d5.zip |
For Thumb, use `movs` for loading immediate constants
It is supported and produces shorter code than `mov`.
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions