1  /* { dg-do compile { target int128 } } */
       2  /* { dg-options "-O -fno-sched-critical-path-heuristic -fschedule-insns -mavx -m8bit-idiv" } */
       3  
       4  typedef int v8si __attribute__ ((vector_size (32)));
       5  typedef __int128 i128;
       6  
       7  i128
       8  foo(int u16_0, int u64_0, i128 u128_0, i128 u128_1, v8si v32u32_0, v8si v32u32_1, v8si v32u64_1)
       9  {
      10    v32u32_0[6] <<= u128_1 & 31;
      11    v32u32_0 &= (v8si){v32u64_1[2], v32u32_1[6], 0xc5a661b, 0, 2};
      12    u128_1 += 0x16fe7853d732;
      13    v32u32_1 /= (v8si){v32u32_0[5], u128_1, 0x92d} | 1;
      14    return u128_0 + v32u32_1[1];
      15  }