the value out of ST(0) before copying it to %xmm0. Also remove bogus stack frame and work in the red zone.
AMD64 does away with the x87 in 64-bit long mode, so we have to play the SSE/SSE2 game now. Obtained from: NetBSD/x86-64