Function creusot_contracts::std::arch::x86_64::_mm256_round_pd

pub unsafe fn _mm256_round_pd<const ROUNDING: i32>(a: __m256d) -> __m256d

Available on x86-64 only.

Rounds packed double-precision (64-bit) floating point elements in a according to the flag ROUNDING. The value of ROUNDING may be as follows:

• 0x00: Round to the nearest whole number.
• 0x01: Round down, toward negative infinity.
• 0x02: Round up, toward positive infinity.
• 0x03: Truncate the values.

For a complete list of options, check the LLVM docs.

Intel’s documentation