1/* { dg-do compile } */
2/* { dg-options "-O3 -mzarch -march=z13" } */
3
4typedef unsigned char     uv16qi __attribute__((vector_size(16)));
5typedef unsigned short     uv8hi __attribute__((vector_size(16)));
6typedef unsigned int       uv4si __attribute__((vector_size(16)));
7typedef unsigned long long uv2di __attribute__((vector_size(16)));
8
9/* The elements differ.  */
10uv2di __attribute__((noinline))
11foo1 ()
12{
13  return (uv2di){ 0x001fffffffffff00, 0x0000ffffffffff00 };
14}
15
16/* Non-contiguous bitmasks */
17
18uv4si __attribute__((noinline))
19foo2 ()
20{
21  return (uv4si){ 0xff00100f, 0xff00100f, 0xff00100f, 0xff00100f };
22}
23
24uv8hi __attribute__((noinline))
25foo3a ()
26{
27  return (uv8hi){ 0xf700, 0xf700, 0xf700, 0xf700,
28      0xf700, 0xf700, 0xf700, 0xf700 };
29}
30
31uv8hi __attribute__((noinline))
32foo3b ()
33{
34  return (uv8hi){ 0x10ff, 0x10ff, 0x10ff, 0x10ff,
35      0x10ff, 0x10ff, 0x10ff, 0x10ff };
36}
37
38uv16qi __attribute__((noinline))
39foo4 ()
40{
41  return (uv16qi){ 0x82, 0x82, 0x82, 0x82,
42      0x82, 0x82, 0x82, 0x82,
43      0x82, 0x82, 0x82, 0x82,
44      0x82, 0x82, 0x82, 0x82 };
45}
46/* { dg-final { scan-assembler-not "vgbm" } } */
47