1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-dce -fschedule-insns -fno-tree-vrp -fcompare-debug" } */
3 /* { dg-additional-options "-Wno-psabi -mno-sse" { target i?86-*-* x86_64-*-* } } */
4
5 typedef unsigned short u16;
6 typedef short v16u16 __attribute__ ((vector_size (16)));
7 typedef unsigned v16u32 __attribute__ ((vector_size (16)));
8 typedef unsigned long long v16u64 __attribute__ ((vector_size (16)));
9
10 u16
foo(u16 u16_1,v16u16 v16u16_0,v16u32 v16u64_0,v16u16 v16u16_1,v16u32 v16u32_1,v16u64 v16u64_1)11 foo(u16 u16_1, v16u16 v16u16_0, v16u32 v16u64_0, v16u16 v16u16_1, v16u32 v16u32_1, v16u64 v16u64_1)
12 {
13 v16u64_1 /= (v16u64){~v16u32_1[1]};
14 u16_1 = 0;
15 u16_1 /= v16u32_1[2];
16 v16u64_1 -= (v16u64) v16u16_1;
17 u16_1 >>= 1;
18 u16_1 -= ~0;
19 v16u16_1 /= (v16u16){~u16_1, 1 - v16u64_0[0], 0xffb6};
20 return u16_1 + v16u16_0[1] + v16u16_1[3] + v16u64_1[0] + v16u64_1[1];
21 }
22