1  /* { dg-do compile } */
       2  /* { dg-options "-O2" } */
       3  /* { dg-final { scan-assembler-times "\{vex\} vpmadd52huq\[ \\t\]+\[^\n\]*%xmm\[0-9\]+\[^\n\]*%xmm\[0-9\]+\[^\n\]*%xmm\[0-9\]+" 1 } } */
       4  /* { dg-final { scan-assembler-times "\{vex\} vpmadd52luq\[ \\t\]+\[^\n\]*%xmm\[0-9\]+\[^\n\]*%xmm\[0-9\]+\[^\n\]*%xmm\[0-9\]+" 1 } } */
       5  /* { dg-final { scan-assembler-times "\{vex\} vpmadd52huq\[ \\t\]+\[^\n\]*%ymm\[0-9\]+\[^\n\]*%ymm\[0-9\]+\[^\n\]*%ymm\[0-9\]+" 1 } } */
       6  /* { dg-final { scan-assembler-times "\{vex\} vpmadd52luq\[ \\t\]+\[^\n\]*%ymm\[0-9\]+\[^\n\]*%ymm\[0-9\]+\[^\n\]*%ymm\[0-9\]+" 1 } } */
       7  
       8  #include <immintrin.h>
       9  
      10  volatile __m256i x,y,z;
      11  volatile __m128i x_,y_,z_;
      12  
      13  __attribute__((target("avxifma")))
      14  void  
      15  avxifma_test (void)
      16  {
      17    x = _mm256_madd52hi_epu64 (x, y, z);
      18    x = _mm256_madd52lo_epu64 (x, y, z);
      19    x_ = _mm_madd52hi_epu64 (x_, y_, z_);
      20    x_ = _mm_madd52lo_epu64 (x_, y_, z_);
      21  }