summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/20150120-3.c
blob: 322556f4add1ca9c081d35ac9dae55b6ba0f3262 (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
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-original" } */

/* x | ~(x | y) -> x | ~y */
int fn1 (int x, int y)
{
	return x | ~(x | y);
}
int fn2 (int x, int y)
{
	return ~(x | y) | x;
}
int fn3 (int x, int y)
{
	return x | ~(y | x);
}
int fn4 (int x, int y)
{
	return ~(y | x) | x;
}
int fn5 (int z)
{
	return z | ~(z | 3);
}
int fn6 (int z)
{
	return ~(z | 3) | z;
}


/* { dg-final { scan-tree-dump-times "~y \\| x" 4 "original" } } */
/* { dg-final { scan-tree-dump-times "z \\| -4" 2 "original" } } */