https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94865
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |rguenth at gcc dot gnu.org Last reconfirmed| |2020-04-30 Status|UNCONFIRMED |NEW Ever confirmed|0 |1 --- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> --- Similar as PR94864. I'll note that x86 might fare better if on GIMPLE instead of _1 = BIT_FIELD_REF <b_3(D), 64, 64>; result_4 = BIT_INSERT_EXPR <a_2(D), _1, 64>; return result_4; we had a VEC_PERM but IIRC for two-element vectors this regressed some cases. Note for this case the IL looks like above from the start so pattern-matching a insert of an element from another vector to a permute might be a possibility as well.