1  /* { dg-do run } */
       2  /* { dg-options "-O2 -mavx512f" } */
       3  /* { dg-require-effective-target avx512f } */
       4  #include "math_m_pi.h"
       5  #define AVX512F
       6  #include "avx512f-helper.h"
       7  
       8  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  }