PXOR+MOVSD is equivalent to MOVQ.  (The version of MOVQ where the source is an XMM register; might need to tweak x64Emitter to emit it.)

Also, if I'm not mistaken, you can save another instruction by putting `(double)(s32)0xFFF80000U` into the upper half of the memory operand of BLENDVPD.