1 /* PR middle-end/71478 */
2 /* { dg-do compile } */
3 /* { dg-options "-O3 -Wno-psabi -w" } */
5 typedef unsigned int __attribute__ ((vector_size (8))) uv2si
;
6 typedef int __attribute__ ((vector_size (8))) v2si
;
13 v2si x
= (v2si
) (0x00007fff80008000UL
);
14 v2si y
= (v2si
) (0x8f997fff00000000UL
);
17 uv2si j
= k
* __builtin_shuffle (z
, z
, (uv2si
) {1, 3});