/* PR middle-end/85090 */
/* { dg-do run { target int128 } } */
/* { dg-require-effective-target avx512f } */
/* { dg-options "-O2 -fno-tree-dominator-opts -mavx512f -fira-algorithm=priority" } */

#include "avx512f-check.h"

typedef unsigned short U __attribute__ ((vector_size (64)));
typedef unsigned int V __attribute__ ((vector_size (64)));
typedef unsigned __int128 W __attribute__ ((vector_size (64)));

V h;
W d, e, g;
U f;

static __attribute__((noipa)) U
foo (U i)
{
  f >>= ((U)d > f) & 1;
  i[0] <<= 1;
  e = (7 & -d) << (7 & -(g & 7));
  return i;
}

void
avx512f_test (void)
{
  U x;
  for (unsigned i = 0; i < 32; i++)
    x[i] = i;
  x = foo (x);
  for (unsigned i = 0; i < 32; i++)
    if (x[i] != i)
      abort ();
}