Function creusot_contracts::std::intrinsics::simd::simd_saturating_add

pub unsafe extern "rust-intrinsic" fn simd_saturating_add<T>(
    x: T,
    y: T,
) -> T

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

Add two simd vectors elementwise, with saturation.

T must be a vector of integer primitive types.