1 /* PR middle-end/71478 */
2 /* { dg-do compile } */
3 /* { dg-options "-O3 -Wno-psabi -w" } */
4 
5 typedef unsigned int __attribute__ ((vector_size (8))) uv2si;
6 typedef int __attribute__ ((vector_size (8))) v2si;
7 
8 uv2si bar (v2si);
9 
10 uv2si
foo(void)11 foo (void)
12 {
13   v2si x = (v2si) (0x00007fff80008000UL);
14   v2si y = (v2si) (0x8f997fff00000000UL);
15   uv2si z = x >= y;
16   uv2si k = bar (x);
17   uv2si j = k * __builtin_shuffle (z, z, (uv2si) {1, 3});
18   return k * j;
19 }
20