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