https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112654
--- Comment #3 from Jose E. Marchesi <jemarch at gcc dot gnu.org> --- The instruction failing validation seems to be: e0: bf a4 00 00 00 00 00 00 mov %r4,%r10 Which is a regular MOV instruction with zeroes in imm32 and offset16. It has SRC=X. So I don't understand why the verifier is rejecting that instruction...