/* PR target/94509 */
/* { dg-do run { target avx512bw } } */
/* { dg-options "-O2 -mavx512bw" } */

#define AVX512BW
#include "avx512f-helper.h"

typedef unsigned char __attribute__ ((__vector_size__ (64))) V;

__attribute__((noipa)) V
foo (V x)
{
  return __builtin_shuffle (x, (V) { 0, 1, 0, 1, 0, 1, 0, 1,
				     0, 1, 0, 1, 0, 1, 0, 1,
				     30, 31, 30, 31, 30, 31, 30, 31,
				     30, 31, 30, 31, 30, 31, 30, 31,
				     0, 1, 0, 1, 0, 1, 0, 1,
				     0, 1, 0, 1, 0, 1, 0, 1,
				     30, 31, 30, 31, 30, 31, 30, 31,
				     30, 31, 30, 31, 30, 31, 30, 31 });
}

static void
TEST (void)
{
  V v = foo ((V) { 1, 2, 3, 4, 5, 6, 7, 8,
		   9, 10, 11, 12, 13, 14, 15, 16,
		   17, 18, 19, 20, 21, 22, 23, 24,
		   25, 26, 27, 28, 29, 30, 31, 32,
		   33, 34, 35, 36, 37, 38, 39, 40,
		   41, 42, 43, 44, 45, 46, 47, 48,
		   49, 50, 51, 52, 53, 54, 55, 56,
		   57, 58, 59, 60, 61, 62, 63, 64 });
  unsigned int i;
  for (i = 0; i < sizeof (v) / sizeof (v[0]); i++)
    if (v[i] != ((i & 16) ? 31 : 1) + (i & 1))
      abort ();
}