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()8bar0() { 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