Function creusot_contracts::std::intrinsics::simd::simd_reduce_max

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

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

Return the maximum element of a vector.

T must be a vector of integer or floating-point primitive types.

U must be the element type of T.

For floating-point values, uses IEEE-754 maxNum.