1 /* { dg-do run } */
2 /* { dg-options "-O2 -mavx512f" } */
3 /* { dg-require-effective-target avx512f } */
4 #include <math.h>
5 #define AVX512F
6 #include "avx512f-helper.h"
7 
8 void
TEST(void)9 TEST (void)
10 {
11   __m512 a = _mm512_set1_ps ((float) M_PI);
12   __m512 b = _mm512_set1_ps ((float) 1.f);
13 
14   __m512 result1 = _mm512_add_round_ps (a, b, (_MM_FROUND_TO_NEG_INF | _MM_FROUND_NO_EXC));
15   __m512 result2 = _mm512_add_round_ps (a, b, (_MM_FROUND_TO_POS_INF | _MM_FROUND_NO_EXC));
16 
17   if (result1[0] == result2[0])
18     abort ();
19 }
20