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
      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  }