1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-O2 -mavx512vl -mavx512dq" } */
       3  
       4  typedef int v4si __attribute__((vector_size (16)));
       5  typedef long long v2di __attribute__((vector_size (16)));
       6  
       7  v4si
       8  f1 (v4si a, int b)
       9  {
      10    register v4si c __asm ("xmm16") = a;
      11    asm volatile ("" : "+v" (c));
      12    v4si d = c;
      13    ((int *) &d)[3] = b;
      14    c = d;
      15    asm volatile ("" : "+v" (c));
      16    return c;
      17  }
      18  
      19  /* { dg-final { scan-assembler "vpinsrd\[^\n\r]*xmm16" } } */
      20  
      21  v2di
      22  f2 (v2di a, long long b)
      23  {
      24    register v2di c __asm ("xmm16") = a;
      25    asm volatile ("" : "+v" (c));
      26    v2di d = c;
      27    ((long long *) &d)[1] = b;
      28    c = d;
      29    asm volatile ("" : "+v" (c));
      30    return c;
      31  }
      32  
      33  /* { dg-final { scan-assembler "vpinsrq\[^\n\r]*xmm16" } } */