aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/fold-notshift-1.c
blob: 2de236fc4d8ae870375ec657d1e947af45e79043 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
/* 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" } } */