1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mavx512fp16" } */
       3  
       4  typedef short __v8hi __attribute__ ((__vector_size__ (16)));
       5  typedef long long __m128i __attribute__ ((__vector_size__ (16), __may_alias__));
       6  
       7  __m128i
       8  __attribute__ ((noinline, noclone))
       9  foo1 (short x)
      10  {
      11    return __extension__ (__m128i)(__v8hi) { x, 0, 0, 0, 0, 0, 0, 0 };
      12  }
      13  
      14  __m128i
      15  __attribute__ ((noinline, noclone))
      16  foo2 (short *x)
      17  {
      18    return __extension__ (__m128i)(__v8hi) { *x, 0, 0, 0, 0, 0, 0, 0 };
      19  }
      20  
      21  /* { dg-final { scan-assembler-times "vmovw\[^-\n\r]*xmm0" 2  } } */