1/* { dg-do run } */
2/* { dg-options "-O2 -mavx512vl" } */
3/* { dg-require-effective-target avx512vl } */
4
5#define AVX512VL
6#define AVX512F_LEN 256
7#define AVX512F_LEN_HALF 128
8#include "avx512f-vinserti32x4-2.c"
9
10void
11test_128 () {}
12