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

Joachim Breitner mail at
Tue Nov 3 15:15:30 UTC 2015


Am Dienstag, den 03.11.2015, 08:47 -0600 schrieb Austin Seipp:
> Isn't armel the (old, but not EABI-very-old) pre-hardware-floating
> point ABI?

I believe so, but I’m sure Erik knows better.

> In any case, this is fallout from
> 933adc0f31164cb651d11ecfcfe612ac429f714f, but fixing it means we'd
> need to add in several more code paths to handle this case... So I
> suppose we should probably file a ticket and get that fixed for 8.0

Well, it is a regression over 7.10.2; such a thing should not happen in
a stable point release, shouldn’t it?

Filed a ticket at


Joachim “nomeata” Breitner
  mail at joachim-breitner.de
  Jabber: nomeata at  • GPG-Key: 0xF0FBF51F
  Debian Developer: nomeata at

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <>

More information about the ghc-devs mailing list