search

AbsInt / CompCert

The CompCert formally-verified C compiler
https://compcert.org
Other
1.85k stars 225 forks source link

To use movt/movw, what matters is not whether the processor is in Thu… #503

Closed monniaux closed 6 months ago

monniaux commented 1 year ago

…mb2 mode, but whether the processor supports Thumb2 mode. These instructions are also available in ARM mode on such processors.

xavierleroy commented 6 months ago

Well spotted, thanks.