o_mm_set_epi64 e instruções semelhantes _epi64 parecem usar e dependem de__m64 tipos. Eu quero inicializar uma variável do tipo__m128 de modo que os 64 bits superiores sejam 0 e os 64 bits inferiores sejam definidos comox, Ondex é do tipouint64_t (ou tipo de 64 bits não assinado semelhante). Qual é a maneira "certa" de fazer isso?

De preferência, isso deve ser feito de maneira independente do compilador.