1 /* PR middle-end/85090 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -mavx512f -mno-avx512bw -mtune=intel -masm=att" } */
5 typedef signed char V
__attribute__((vector_size (64)));
35 /* { dg-final { scan-assembler-times "vpinsrb\t" 4 } } */
36 /* { dg-final { scan-assembler-times "vextracti32x4\t" 2 } } */
37 /* { dg-final { scan-assembler-times "vinserti32x4\t" 4 } } */