/* { dg-do compile { target int128 } } */
/* { dg-options "-O -fno-sched-critical-path-heuristic -fschedule-insns -mavx -m8bit-idiv" } */

typedef int v8si __attribute__ ((vector_size (32)));
typedef __int128 i128;

i128
foo(int u16_0, int u64_0, i128 u128_0, i128 u128_1, v8si v32u32_0, v8si v32u32_1, v8si v32u64_1)
{
  v32u32_0[6] <<= u128_1 & 31;
  v32u32_0 &= (v8si){v32u64_1[2], v32u32_1[6], 0xc5a661b, 0, 2};
  u128_1 += 0x16fe7853d732;
  v32u32_1 /= (v8si){v32u32_0[5], u128_1, 0x92d} | 1;
  return u128_0 + v32u32_1[1];
}