https://gcc.gnu.org/bugzilla/show_bug.cgi?id=15458
Bug 15458 depends on bug 15459, which changed state.
Bug 15459 Summary: [meta-bug] there should be a tree combiner like the rtl one
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=15459
What|Removed |Added
--- Comment #7 from sayle at gcc dot gnu dot org 2006-10-29 17:51 ---
Subject: Bug 15458
Author: sayle
Date: Sun Oct 29 17:51:07 2006
New Revision: 118152
URL: http://gcc.gnu.org/viewcvs?root=gccview=revrev=118152
Log:
PR tree-optimization/15458
* fold-const.c
--- Comment #8 from pinskia at gcc dot gnu dot org 2006-10-29 20:27 ---
Fixed.
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
Status|NEW
--- Comment #6 from pinskia at gcc dot gnu dot org 2005-12-04 04:27 ---
I am no longer going to fix the fold issue, it is too much hasle to get this
fixed.
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #4 from pinskia at gcc dot gnu dot org 2005-11-30 17:32 ---
Actually it is better for ~(a ^ CST) to come out as a ^ ~CST.
Right now we actually already implement ~(a^CST) as a ^ ~CST. So we need just
to implement (~a) ^ CST as a ^ ~CST. In fact this is what simplify_rtx
--- Comment #5 from pinskia at gcc dot gnu dot org 2005-11-30 17:41 ---
~(a^CST) is done in fold_unary with the comment of:
/* Convert ~(X ^ Y) to ~X ^ Y or X ^ ~Y if ~X or ~Y simplify. */
Only (~a^~b) is simplified. That can be expanded to:
(~a^b) if ~b simplifies, simplify the
