1  /* { dg-do compile } */
       2  /* { dg-options "-mavx512vl -O2" } */
       3  /* { dg-final { scan-assembler-times "(?:vinserti128|vmovdqu)\[ \\t\]+\[^\{\n\]*\\)\[^\n\]*%ymm\[0-9\]+(?:\n|\[ \\t\]+#)" 2 } } */
       4  
       5  #include <immintrin.h>
       6  
       7  int *p;
       8  long long *p1;
       9  volatile __m256i x1, x2;
      10  
      11  void extern
      12  avx512vl_test (void)
      13  {
      14    x1 = _mm256_loadu_epi32 (p);
      15    x2 = _mm256_loadu_epi64 (p1);
      16  }