Function creusot_contracts::std::arch::x86_64::_mm_extract_epi32

pub unsafe fn _mm_extract_epi32<const IMM8: i32>(a: __m128i) -> i32

Available on x86-64 only.

Extracts an 32-bit integer from a selected with IMM8

Intel’s documentation