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