/* PR target/67317 */
/* { dg-do compile } */
/* { dg-options "-O2" } */

typedef unsigned int u32;

u32 testcarry_u32 (u32 a, u32 b, u32 c, u32 d)
{
  u32 result0, result1;

  __builtin_ia32_sbb_u32
    (__builtin_ia32_sbb_u32 (0, a, c, &result0), b, d, &result1);

  return result0 ^ result1;
}

/* { dg-final { scan-assembler-not "addb" } } */
/* { dg-final { scan-assembler-not "setn?c" } } */