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