Function creusot_contracts::std::arch::x86_64::_mm_floor_pd

pub unsafe fn _mm_floor_pd(a: __m128d) -> __m128d

Available on x86-64 only.

Round the packed double-precision (64-bit) floating-point elements in a down to an integer value, and stores the results as packed double-precision floating-point elements.

Intel’s documentation