Function creusot_contracts::std::arch::x86_64::_mm_castsi128_pd

1.27.0 · source · 
pub unsafe fn _mm_castsi128_pd(a: __m128i) -> __m128d
Available on x86-64 only.
Expand description

Casts a 128-bit integer vector into a 128-bit floating-point vector of [2 x double].

Intel’s documentation