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
f1(v4si a,int b)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
f2(v2di a,long long b)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" } } */
34