http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55211
--- Comment #22 from davem at gcc dot gnu.org 2012-11-06 04:15:21 UTC --- Ok IRA is where the allocation of %o1 for DImode is performed. I'll try to figure out why it isn't consulting HARD_REGNO_MODE_OK to validate this choice.