Function creusot_contracts::std::intrinsics::simd::simd_extract

pub unsafe extern "rust-intrinsic" fn simd_extract<T, U>(
    x: T,
    idx: u32,
) -> U

🔬This is a nightly-only experimental API. (core_intrinsics)

Extract an element from a vector.

T must be a vector with element type U.

Safety

idx must be in-bounds of the vector.