Kyrill pointed out off-list that this new pattern was missing a type attribute -- sorry about that.
Tested on aarch64-linux-gnu & pushed. Richard 2020-02-06 Richard Sandiford <richard.sandif...@arm.com> gcc/ * config/aarch64/aarch64.md (aarch64_movk<mode>): Add a type attribute. --- gcc/config/aarch64/aarch64.md | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/config/aarch64/aarch64.md b/gcc/config/aarch64/aarch64.md index 9c1f17d0f85..fbf90d907ba 100644 --- a/gcc/config/aarch64/aarch64.md +++ b/gcc/config/aarch64/aarch64.md @@ -1297,6 +1297,7 @@ (define_insn "aarch64_movk<mode>" operands[3] = gen_int_mode (shift, SImode); return "movk\\t%<w>0, #%X2, lsl %3"; } + [(set_attr "type" "mov_imm")] ) (define_expand "movti"