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