Don't let x86 asm printer use the no operand movsd alias. It should use the normal movsl instead.