Error: selected processor does not support ARM mode `ldrd r0, r1, [r7, #64]'

Erik de Castro Lopo mle+hs at
Tue Nov 3 22:20:31 UTC 2015

Ben Gamari wrote:

> There are several places where Thumb instructions could come from,
>  1. GHCi produced them in mkJumpToAddr
>  2. native code compiled with GCC, which defaults to Thumb on many
>     systems
>  3. system libraries, which are Thumb on many distributions
> The solution which Erik implemented was to switch entirely to ARM. (1)
> was addressed by changing the GHC, (2) was fixed by explicitly passing
> -marm to GCC. I'm actually not sure the state of (3).

Unfortunately, (3) is likely to still be broken.

Erik de Castro Lopo

More information about the ghc-devs mailing list