/* { dg-do run } */
/* { dg-options "-O2 -fdump-tree-vect-details -ftree-vectorize -ffast-math -mavx512bw -save-temps" } */
/* { dg-require-effective-target avx512bw } */

#include "avx512bw-check.h"

#define N 120
signed int yy[10000];

void
__attribute__ ((noinline)) foo (signed char s)
{
   signed char i;
   for (i = 0; i < s; i++)
     yy[i] = (signed int) i;
}

void
avx512bw_test ()
{
  signed char i;
  foo (N);
  for (i = 0; i < N; i++)
    if ( (signed int)i != yy [i] )
      abort ();
}

/* { dg-final { scan-tree-dump "LOOP VECTORIZED" "vect" } } */
/* { dg-final { scan-assembler-not "vpmovsxbw\[ \\t\]+\[^\n\]*%zmm" } } */