Function creusot_contracts::std::arch::x86_64::_mm_extract_epi64

pub unsafe fn _mm_extract_epi64<const IMM1: i32>(a: __m128i) -> i64

Available on x86-64 only.

Extracts an 64-bit integer from a selected with IMM1

Intel’s documentation