1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mavx" } */
       3  
       4  #include <emmintrin.h>
       5  
       6  __m128d
       7  foo (__m128d x, __m128d y)
       8  {
       9    return _mm_cmpeq_sd (x, y);
      10  }
      11  
      12  
      13  /* { dg-final { scan-assembler "vcmpeqsd" } } */