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