1  /* { dg-do compile } */
       2  /* { dg-require-effective-target lp64 } */
       3  /* { dg-options "-Os -O2 -mtune=ampere1a -fno-split-wide-types" } */
       4  
       5  int i;
       6  __int128 j;
       7  short s;
       8  
       9  void
      10  foo (void)
      11  {
      12    j -= i;
      13    int l = i - __builtin_sub_overflow_p (0, 61680, s);
      14    j -= __builtin_mul_overflow_p (i, l, 0);
      15  }