Function creusot_contracts::std::arch::x86_64::_mm256_extractf128_pd

pub unsafe fn _mm256_extractf128_pd<const IMM1: i32>(a: __m256d) -> __m128d

Available on x86-64 only.

Extracts 128 bits (composed of 2 packed double-precision (64-bit) floating-point elements) from a, selected with imm8.

Intel’s documentation