CompCert icon indicating copy to clipboard operation
CompCert copied to clipboard
verified publisher icon AbsInt

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

Open monniaux opened this issue 2 years ago • 0 comments

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

monniaux avatar Sep 12 '23 10:09 monniaux