fold-const.c (fold_binary_loc): Remove X ^ C1 == C2 -> X == (C1 ^ C2) which is alread...
authorRichard Biener <rguenther@suse.de>
Fri, 31 Jul 2015 10:36:56 +0000 (10:36 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Fri, 31 Jul 2015 10:36:56 +0000 (10:36 +0000)
commitb5d3d7871c2e395fb7162712aebb81c90da3689b
tree2184e3ed55116144918b7eb478e4f13628a380af
parentf063c6121671fec8eef28a47f68e66028d86ebed
fold-const.c (fold_binary_loc): Remove X ^ C1 == C2 -> X == (C1 ^ C2) which is already implemented in match.pd.

2015-07-31  Richard Biener  <rguenther@suse.de>

* fold-const.c (fold_binary_loc): Remove X ^ C1 == C2
-> X == (C1 ^ C2) which is already implemented in match.pd.
Remove redundant dispatching to fold_relational_const.
Move unordered self and NaN compares ...
* match.pd: ... as patterns here.  Remove some stray captures
and add a comment.

From-SVN: r226434
gcc/ChangeLog
gcc/fold-const.c
gcc/match.pd