It arrives on the stack, which is somewhere nothing reads from yet: the offset is a
distance into a frame, and a frame is not worked out until after allocation.
It travels on the x87 stack, which is a long double and nothing else. That stack is a
third register file, it is not one the allocator has, and no instruction in the
description touches it.
It is a float passed to a callee that takes arguments beyond the ones its signature names,
on a convention that puts such a float in a vector register and in the general purpose
register at the same position at once. Which arguments are the ones beyond the signature is
what decides whether the second copy is needed, and a call does not carry that yet.