1  /* { dg-do compile } */
       2  /* { dg-options "-O -mavx -mfpmath=sse" } */
       3  
       4  typedef double v2df __attribute__ ((__vector_size__ (16)));
       5  
       6  v2df
       7  f (double d)
       8  {
       9    v2df x = {-d, d};
      10    return __builtin_ia32_vpermilpd (x, 1);
      11  }
      12  
      13  /* { dg-final { scan-assembler-not "\tvpermilpd\[ \t\]" } } */