Function _mm512_mask_reduce_max_pd

#[target_feature(enable = "avx512f")]
pub fn _mm512_mask_reduce_max_pd(k: __mmask8, a: __m512d) -> f64

Reduce the packed double-precision (64-bit) floating-point elements in a by maximum using mask k. Returns the maximum of all active elements in a.

Intel's documentation