r122100 - in /branches/gcc-4_1-branch/gcc: Chan...

[sayle@gcc.gnu.org]

Author: sayle
Date: Sun Feb 18 17:10:19 2007
New Revision: 122100

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=122100
Log:

	Backport from mainline.
	PR middle-end/24427
	PR rtl-optimization/28173
	* fold-const.c (fold_binary) <BIT_IOR_EXPR>: Transform (X&C1)|C2
	into (X,C2) if C1 is a subset of the bits of C2.  Transform
	(X&C1)|C2 into X|C2 if C1|C2 == ~0.  Canonicalize (X&C1)|C2 as
	(X&(C1&~C2))|C2.
	<BIT_AND_EXPR>: Canonicalize (X|C1)&C2 as (X&C2)|(C1&C2).

	* gcc.dg/tree-ssa/andor-1.c: New test case.


Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/tree-ssa/andor-1.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/fold-const.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog