blob: 2de236fc4d8ae870375ec657d1e947af45e79043 [file] [log] [blame]
/* 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" } } */