http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60657
--- Comment #13 from Jeffrey A. Law <law at redhat dot com> --- The new predicates make the predicate test match the constraint test. It looks like your patch exposes a relationship between the operands, and, yes, the only way to handle that would be in the insn's condition. I'm not ARM savvy enough to know if that's the right condition or not though. jeff