1/* { dg-do compile } */
2/* { dg-options "-O2 -mavx512f" } */
3/* { dg-final { scan-assembler-times "vgetmantps\[ \\t\]+\[^\{\n\]*%zmm\[0-9\]+(?:\n|\[ \\t\]+#)"  1 } } */
4/* { dg-final { scan-assembler-times "vgetmantps\[ \\t\]+\[^\{\n\]*%zmm\[0-9\]+\{%k\[1-7\]\}(?:\n|\[ \\t\]+#)"  1 } } */
5/* { dg-final { scan-assembler-times "vgetmantps\[ \\t\]+\[^\{\n\]*%zmm\[0-9\]+\{%k\[1-7\]\}\{z\}(?:\n|\[ \\t\]+#)"  1 } } */
6/* { dg-final { scan-assembler-times "vgetmantps\[ \\t\]+\[^\{\n\]*\{sae\}\[^\n\]*%zmm\[0-9\]+(?:\n|\[ \\t\]+#)" 1 } } */
7/* { dg-final { scan-assembler-times "vgetmantps\[ \\t\]+\[^\{\n\]*\{sae\}\[^\n\]*%zmm\[0-9\]+\{%k\[1-7\]\}(?:\n|\[ \\t\]+#)" 1 } } */
8/* { dg-final { scan-assembler-times "vgetmantps\[ \\t\]+\[^\{\n\]*\{sae\}\[^\n\]*%zmm\[0-9\]+\{%k\[1-7\]\}\{z\}(?:\n|\[ \\t\]+#)" 1 } } */
9
10#include <immintrin.h>
11
12volatile __m512 x, y;
13volatile __mmask8 m;
14
15void extern
16avx512f_test (void)
17{
18  x = _mm512_getmant_ps (y, _MM_MANT_NORM_p75_1p5, _MM_MANT_SIGN_src);
19  x =
20    _mm512_mask_getmant_ps (x, m, y, _MM_MANT_NORM_p75_1p5,
21			    _MM_MANT_SIGN_src);
22  x =
23    _mm512_maskz_getmant_ps (m, y, _MM_MANT_NORM_p75_1p5,
24			     _MM_MANT_SIGN_src);
25  x = _mm512_getmant_round_ps (y, _MM_MANT_NORM_p75_1p5, _MM_MANT_SIGN_src,
26			 _MM_FROUND_NO_EXC);
27  x =
28    _mm512_mask_getmant_round_ps (x, m, y, _MM_MANT_NORM_p75_1p5,
29			    _MM_MANT_SIGN_src, _MM_FROUND_NO_EXC);
30  x =
31    _mm512_maskz_getmant_round_ps (m, y, _MM_MANT_NORM_p75_1p5,
32			     _MM_MANT_SIGN_src, _MM_FROUND_NO_EXC);
33}
34