1  /* { dg-do compile } */
       2  /* { dg-additional-options "-mavx2" { target x86_64-*-* i?86-*-* } } */
       3  
       4  typedef double v4si __attribute__((vector_size(32)));
       5  typedef double v2si __attribute__((vector_size(16)));
       6  
       7  void foo (v4si *dstp, v2si *srcp)
       8  {
       9    v2si src = *srcp;
      10    *dstp = (v4si) { src[0], src[1], src[0], src[1] };
      11  }
      12  
      13  void bar (v4si *dstp, v2si *srcp)
      14  {
      15    v2si src = *srcp;
      16    *dstp = (v4si) { src[0], src[0], src[0], src[0] };
      17  }