summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/fold-eqandshift-1.c
blob: 055f398af0bb697eea3c93c915c57c2a08540a87 (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
/* PR middle-end/21137  */
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-original" } */
extern void foo();

void test1(int a)
{
  if ((a >> 3) & 1)
    foo ();
}

void test2(int b)
{
  if ((b >> 3) & 4)
    foo ();
}

int test3(int c)
{
  return (c >> 3) & 1;
}

int test4(int d)
{
  return (d >> 3) & 4;
}

#if __INT_MAX__ == 32767
#define INT_BITS 16
#elif __INT_MAX__ == 2147483647
#define INT_BITS 32
#elif __INT_MAX__ == 9223372036854775807
#define INT_BITS 64
#else
#error Please add support for your target here.
#endif

void test5(int e)
{
  if ((e >> (INT_BITS - 1)) & 64)
    foo();
}

void test6(unsigned int f)
{
  if ((f >> (INT_BITS - 1)) & 64)
    foo();
}

/* { dg-final { scan-tree-dump-times "\\(a \& 8\\) != 0" 1 "original" } } */
/* { dg-final { scan-tree-dump-times "\\(b \& 32\\) != 0" 1 "original" } } */
/* { dg-final { scan-tree-dump-times "c >> 3 \& 1" 1 "original" } } */
/* { dg-final { scan-tree-dump-times "d >> 3 \& 4" 1 "original" } } */
/* { dg-final { scan-tree-dump-times "e < 0" 1 "original" } } */
/* { dg-final { scan-tree-dump-times "if \\(0\\)" 1 "original" } } */
/* { dg-final { cleanup-tree-dump "original" } } */