1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -msse -mno-sse4" } */
       3  /* { dg-final { scan-assembler-not "movlhps" } } */
       4  /* { dg-final { scan-assembler-not "unpckhps" } } */
       5  /* { dg-final { scan-assembler-not "unpcklps" } } */
       6  /* { dg-final { scan-assembler-not "shufps" } } */
       7  
       8  typedef float __v4sf __attribute__ ((__vector_size__ (16)));
       9  typedef float __m128 __attribute__ ((__vector_size__ (16), __may_alias__));
      10  
      11  __m128
      12  foo1 (__m128 x)
      13  {
      14    __v4sf z = { 11.4, ((__v4sf) x)[1], ((__v4sf) x)[2], ((__v4sf) x) [3] };
      15    return (__m128) z;
      16  }