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 /arm/Asmexpand.ml | |
| 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 'arm/Asmexpand.ml')
0 files changed, 0 insertions, 0 deletions