1 /* { dg-do compile { target int128 } }  */
2 /* { dg-options "-Os -fno-tree-dominator-opts -fno-tree-vrp" } */
3 
4 int bar0_u8_0, bar0_u16_0, bar0_u32_0, bar0_u16_1, bar0_u32_1;
5 unsigned __int128 bar0_u128_0;
6 
7 int
bar0()8 bar0() {
9   bar0_u16_1 *=
10       __builtin_add_overflow_p(bar0_u16_0, bar0_u32_1, (long)bar0_u8_0);
11   bar0_u128_0 = bar0_u128_0 >> bar0_u16_1 | bar0_u128_0 << (-bar0_u16_1 & 127);
12   bar0_u128_0 += __builtin_mul_overflow_p(bar0_u32_0, 20, 0);
13 }
14