1  /* PR target/67317 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-O2" } */
       4  
       5  typedef unsigned int u32;
       6  
       7  u32 testcarry_u32 (u32 a, u32 b, u32 c, u32 d)
       8  {
       9    u32 result0, result1;
      10  
      11    __builtin_ia32_sbb_u32
      12      (__builtin_ia32_sbb_u32 (0, a, c, &result0), b, d, &result1);
      13  
      14    return result0 ^ result1;
      15  }
      16  
      17  /* { dg-final { scan-assembler-not "addb" } } */
      18  /* { dg-final { scan-assembler-not "setn?c" } } */