Каков наилучший / самый быстрый способ загрузки 64-битного целочисленного значения вxmm SSE2 зарегистрироваться в 32-битном режиме?

В 64-битном режимеcvtsi2sd можно использовать, но в 32-битном режиме он поддерживает только 32-битные целые числа.

До сих пор у меня нетнашел гораздо больше:

использовать,fildfstp сложить тогдаmovsd вxmm регистрзагрузить старшую 32-битную часть, умножить на 2 ^ 32, добавить младшую 32-битную

Первое решение медленное, второе решение может привести к потере точности (редактировать: и все равно он медленный, так как младшие 32 бита должны быть преобразованы в беззнаковые ...)

Есть ли лучший подход?