https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117718
--- Comment #2 from Peter Bergner <bergner at gcc dot gnu.org> --- With the scalar version, we have in the fwprop dump: propagating insn 5 into insn 6, replacing: (set (reg:DI 120 [ var ]) (mem/c:DI (reg/f:DI 119) [1 var+0 S8 A64])) successfully matched this instruction to *movdi_internal64: (set (reg:DI 120 [ var ]) (mem/c:DI (unspec:DI [ (symbol_ref:DI ("*.LANCHOR0") [flags 0x182]) (reg:DI 2 2) ] UNSPEC_TOCREL) [1 var+0 S8 A64])) In the vector long version, we have: cannot propagate from insn 5 into insn 6: would create an invalid MEM Mike, are we just missing an alternative in vsx_movv2di_64bit that allows D-form addresses?