1  /* PR tree-optimization/88464 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O3 -mavx512vl -mprefer-vector-width=128 -mtune=skylake-avx512 -fdump-tree-vect-details" } */
       4  /* { dg-final { scan-tree-dump-times "loop vectorized using 16 byte vectors" 4 "vect" } } */
       5  /* { dg-final { scan-tree-dump-times "vectorized 1 loops in function" 4 "vect" } } */
       6  
       7  #include "avx512f-pr88464-1.c"