/* { dg-do compile } */
/* { dg-options "-O3 -mzarch -march=z13" } */

typedef unsigned char     uv16qi __attribute__((vector_size(16)));
typedef unsigned short     uv8hi __attribute__((vector_size(16)));
typedef unsigned int       uv4si __attribute__((vector_size(16)));
typedef unsigned long long uv2di __attribute__((vector_size(16)));

/* The elements differ.  */
uv2di __attribute__((noinline))
foo1 ()
{
  return (uv2di){ 0x001fffffffffff00, 0x0000ffffffffff00 };
}

/* Non-contiguous bitmasks */

uv4si __attribute__((noinline))
foo2 ()
{
  return (uv4si){ 0xff00100f, 0xff00100f, 0xff00100f, 0xff00100f };
}

uv8hi __attribute__((noinline))
foo3a ()
{
  return (uv8hi){ 0xf700, 0xf700, 0xf700, 0xf700,
      0xf700, 0xf700, 0xf700, 0xf700 };
}

uv8hi __attribute__((noinline))
foo3b ()
{
  return (uv8hi){ 0x10ff, 0x10ff, 0x10ff, 0x10ff,
      0x10ff, 0x10ff, 0x10ff, 0x10ff };
}

uv16qi __attribute__((noinline))
foo4 ()
{
  return (uv16qi){ 0x82, 0x82, 0x82, 0x82,
      0x82, 0x82, 0x82, 0x82,
      0x82, 0x82, 0x82, 0x82,
      0x82, 0x82, 0x82, 0x82 };
}
/* { dg-final { scan-assembler-not "vgbm" } } */