https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120839
--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
We expand this as
(insn 5 2 6 2 (set (reg:XF 100)
(mem/c:XF (reg/f:DI 16 argp) [1 f.a+0 S16 A256])) "t.c":5:20 172
{*movxf_internal}
(nil))
and it seems the caller properly aligns the argument on the stack (but I do not
remember the psABI actually saying it has to).
