/* { dg-do run } */

typedef __UINT8_TYPE__ uint8_t;

uint8_t __attribute__ ((noinline, noclone))
abs8 (uint8_t x)
{
  if (x & 0x80)
    x = -x;

  if (x & 0x80)
    x = 0x7f;

  return x;
}

int
main (void)
{
  if (abs8 (0) != 0
      || abs8 (1) != 1
      || abs8 (127) != 127
      || abs8 (128) != 127
      || abs8 (129) != 127
      || abs8 (255) != 1)
    __builtin_abort ();
  return 0;
}