1  /* PR target/85095 *
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2 -masm=att" } */
       4  
       5  unsigned int
       6  f1 (unsigned int a, unsigned int b)
       7  {
       8    unsigned int i = __builtin_add_overflow (a, b, &a);
       9    return a + i;
      10  }
      11  
      12  unsigned int
      13  f2 (unsigned int a, unsigned int b)
      14  {
      15    unsigned int i = __builtin_add_overflow (a, b, &a);
      16    return a - i;
      17  }
      18  
      19  #ifdef __x86_64__
      20  unsigned long long
      21  f3 (unsigned long long a, unsigned long long b)
      22  {
      23    unsigned long long i = __builtin_add_overflow (a, b, &a);
      24    return a + i;
      25  }
      26  
      27  unsigned long long
      28  f4 (unsigned long long a, unsigned long long b)
      29  {
      30    unsigned long long i = __builtin_add_overflow (a, b, &a);
      31    return a - i;
      32  }
      33  
      34  unsigned long long
      35  f5 (unsigned int a, unsigned int b)
      36  {
      37    unsigned int i = __builtin_add_overflow (a, b, &a);
      38    return a + i;
      39  }
      40  
      41  unsigned long long
      42  f6 (unsigned int a, unsigned int b)
      43  {
      44    unsigned int i = __builtin_add_overflow (a, b, &a);
      45    return a - i;
      46  }
      47  #endif
      48  
      49  /* { dg-final { scan-assembler-times "adcl\t\\\$0," 1 { target ia32 } } } */
      50  /* { dg-final { scan-assembler-times "sbbl\t\\\$0," 1 { target ia32 } } } */
      51  /* { dg-final { scan-assembler-times "adcl\t\\\$0," 2 { target { ! ia32 } } } } */
      52  /* { dg-final { scan-assembler-times "sbbl\t\\\$0," 2 { target { ! ia32 } } } } */
      53  /* { dg-final { scan-assembler-times "adcq\t\\\$0," 1 { target { ! ia32 } } } } */
      54  /* { dg-final { scan-assembler-times "sbbq\t\\\$0," 1 { target { ! ia32 } } } } */