This slightly adapts the relevant code from the IA32 backend.  As soon
as a cleaner solution is implemented there, the AMD64 code should be
updated as well.