------- 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 expression.
likewise for (a^~b) (if ~a simplifies, simplify the expression).
I am going to implement this.
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |pinskia at gcc dot gnu dot
|dot org |org
Status|NEW |ASSIGNED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15458
