/* PR tree-optimization/54579
   PR middle-end/55299 */

/* { dg-do compile } */
/* { dg-options "-O -fdump-tree-cddce1" } */

int
asr1 (int a, int b)
{
  return ~((~a) >> b);
}

long
asr1l (long a, long b)
{
  return ~((~a) >> b);
}

int
asr_conv (unsigned a, unsigned b)
{
  return ~((int)~a >> b);
}

unsigned
asr_conv2 (unsigned a, unsigned b)
{
  return ~(unsigned)((int)~a >> b);
}

unsigned
asr_conv3 (int a, int b)
{
  return ~(unsigned)(~a >> b);
}

typedef __INT32_TYPE__ int32_t;
typedef __INT64_TYPE__ int64_t;

int32_t
asr_conv4 (int64_t a, int b)
{
  return ~((int32_t)~a >> b);
}

int32_t
asr_conv5 (int64_t a, int b)
{
  return ~(int32_t)(~a >> b);
}

int
asr2 (int a, int b)
{
  return -((-a - 1) >> b) - 1;
}

int
asr3 (int a, int b)
{
  return a < 0 ? ~((~a) >> b) : a >> b;
}

int64_t
asr3l (int64_t a, int b)
{
  return a < 0 ? ~((~a) >> b) : a >> b;
}

int
asr4 (int a, int b)
{
  return a < 0 ? -((-a - 1) >> b) - 1 : a >> b;
}

/* { dg-final { scan-tree-dump-times ">>" 11 "cddce1" } } */
/* { dg-final { scan-tree-dump-not "~" "cddce1" } } */