1 /* { dg-do compile } */
2 /* { dg-options "-Wno-psabi -O2 -fno-dce -fschedule-insns -fno-sched-critical-path-heuristic -mavx512dq --param=max-cse-insns=1" } */
3
4 typedef short v16hi __attribute__ ((vector_size (32)));
5 typedef int v8si __attribute__ ((vector_size (32)));
6 typedef long long v4di __attribute__ ((vector_size (32)));
7
8 int
foo(int u32_0,int u64_0,int u64_1,v16hi v32u16_0,v8si v32u32_0,v4di v32u64_0,v16hi v32u16_1,v8si v32u32_1,v4di v32u64_1)9 foo(int u32_0, int u64_0, int u64_1, v16hi v32u16_0, v8si v32u32_0, v4di v32u64_0, v16hi v32u16_1, v8si v32u32_1, v4di v32u64_1)
10 {
11 v32u32_1 %= (v8si) v32u16_1 | 1;
12 v32u64_1[1] |= ((1));
13 v32u16_0 /= (v16hi){~u64_1, 1, 0xb56c, 0xd279, 0x26b6, 0x74d9, 0xf764, 0, 0, -v32u16_1[6]} | 1;
14 v32u16_1 ^= (v16hi){0xc98d, 1, 0x8c71, u32_0, 0x5366, 0, ~v32u64_1[1]} & 31;
15 v32u32_0 -= (v8si)~v32u64_1;
16 v32u32_1[2] |= 0x1f;
17 v32u16_0 %= (v16hi){2, 0xffff, u32_0, 1, v32u64_0[1], u32_0 };
18 v32u32_1 /= (v8si){0x1e7390, v32u16_0[12], ~v32u16_1[2], -u64_0};
19 return v32u16_0[4] + v32u16_0[5] + v32u32_0[5] + v32u32_1[6] + v32u64_1[3];
20 }
21