https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116389
--- Comment #4 from Jeffrey A. Law <law at gcc dot gnu.org> --- I'm pretty confident IRA knows the basics of paradoxicals. The concept of paradoxicals has been around since the gcc-1 era and Vlad is well aware of how paradoxicals work. So while there may be a bug, I doubt it's baked in so deep that "IRA doesn't understand the impact of paradoxical subreg" is a reasonable assessment. If IRA is allocating r30 for SImode, and that's not valid on your target, you'll need to debug why.