x86 intrinsic: unfold 64