/* PR target/93141 */
/* { dg-do compile } */
/* { dg-options "-O2 -masm=att" } */
/* { dg-final { scan-assembler-not "cmp\[lq]\t" } } */
/* { dg-final { scan-assembler-times "setc\t%" 5 } } */
/* { dg-final { scan-assembler-times "seto\t%" 7 } } */
/* { dg-final { scan-assembler-times "adc\[lq]\t" 9 } } */

#ifdef __x86_64__
typedef unsigned __int128 U;
typedef unsigned long long HU;
typedef signed __int128 S;
#else
typedef unsigned long long U;
typedef unsigned int HU;
typedef signed long long S;
#endif
int o;

U
foo (U x, U y)
{
  U z;
  o = __builtin_add_overflow (x, y, &z);
  return z;
}

U
bar (U x)
{
  U z;
  o = __builtin_add_overflow (x, ((U) 0xdeadbee) << (sizeof (U) * __CHAR_BIT__ / 2), &z);
  return z;
}

U
baz (U x)
{
  U z;
  o = __builtin_add_overflow (x, (((U) 0xdeadbee) << (sizeof (U) * __CHAR_BIT__ / 2))
				 | (U) 0xbeedead, &z);
  return z;
}

S
qux (S x, S y)
{
  S z;
  o = __builtin_add_overflow (x, y, &z);
  return z;
}

S
quux (S x)
{
  S z;
  o = __builtin_add_overflow (x, ((S) 0xdeadbee) << (sizeof (S) * __CHAR_BIT__ / 2), &z);
  return z;
}

S
corge (S x)
{
  S z;
  o = __builtin_add_overflow (x, (((S) 0xdeadbee) << (sizeof (S) * __CHAR_BIT__ / 2))
				 | (S) 0xbeedead, &z);
  return z;
}

S
grault (S x)
{
  S z;
  o = __builtin_add_overflow (x, -((S) 0xdeadbee) << (sizeof (S) * __CHAR_BIT__ / 2), &z);
  return z;
}

S
garply (S x)
{
  S z;
  o = __builtin_add_overflow (x, (-(((S) 0xdeadbee) << (sizeof (S) * __CHAR_BIT__ / 2)))
				 | (S) 0xbeedead, &z);
  return z;
}

S
waldo (S x)
{
  S z;
  o = __builtin_add_overflow (x, (S) ((((S) 0xdeadbee) << (sizeof (S) * __CHAR_BIT__ / 2))
				      | -(HU) 0xbeedead), &z);
  return z;
}

S
fred (S x)
{
  S z;
  o = __builtin_add_overflow (x, (S) ((-(((S) 0xdeadbee) << (sizeof (S) * __CHAR_BIT__ / 2)))
				      | -(HU) 0xbeedead), &z);
  return z;
}

U
plugh (U x)
{
  U z;
  o = __builtin_add_overflow (x, (U) ((((U) 0xdeadbee) << (sizeof (U) * __CHAR_BIT__ / 2))
				      | -(HU) 0xbeedead), &z);
  return z;
}

U
xyzzy (U x)
{
  U z;
  o = __builtin_add_overflow (x, (U) ((-(((U) 0xdeadbee) << (sizeof (U) * __CHAR_BIT__ / 2)))
				      | -(HU) 0xbeedead), &z);
  return z;
}