OSDN Git Service

PR middle-end/24427
authorsayle <sayle@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 13 Feb 2006 18:33:32 +0000 (18:33 +0000)
committersayle <sayle@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 13 Feb 2006 18:33:32 +0000 (18:33 +0000)
commit191611dd4435c700ddaf3f2256ad6727bd240224
treed38a31a2f50f89e4589d53b8f378f0319c82ce34
parent6d7204c30d64abffbf54530960ebec6d2b222355
PR middle-end/24427
* 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@110918 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/fold-const.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/andor-1.c [new file with mode: 0644]