1 /* { dg-do compile { target { ! ia32 } } } */
2 /* { dg-options "-O2 -mavx512vl -mno-avx512bw -mno-avx512dq" } */
4 typedef char v16qi
__attribute__((vector_size (16)));
5 typedef short v8hi
__attribute__((vector_size (16)));
6 typedef int v4si
__attribute__((vector_size (16)));
7 typedef long long v2di
__attribute__((vector_size (16)));
12 register v16qi c
__asm ("xmm16") = a
;
13 asm volatile ("" : "+v" (c
));
17 asm volatile ("" : "+v" (c
));
21 /* { dg-final { scan-assembler-not "vpinsrb\[^\n\r]*xmm16" } } */
26 register v8hi c
__asm ("xmm16") = a
;
27 asm volatile ("" : "+v" (c
));
29 ((short *) &d
)[3] = b
;
31 asm volatile ("" : "+v" (c
));
35 /* { dg-final { scan-assembler-not "vpinsrw\[^\n\r]*xmm16" } } */
40 register v4si c
__asm ("xmm16") = a
;
41 asm volatile ("" : "+v" (c
));
45 asm volatile ("" : "+v" (c
));
49 /* { dg-final { scan-assembler-not "vpinsrd\[^\n\r]*xmm16" } } */
54 register v2di c
__asm ("xmm16") = a
;
55 asm volatile ("" : "+v" (c
));
57 ((long long *) &d
)[1] = b
;
59 asm volatile ("" : "+v" (c
));
63 /* { dg-final { scan-assembler-not "vpinsrq\[^\n\r]*xmm16" } } */