/* { 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" } } */