diff options
| author | Richard Biener <rguenther@suse.de> | 2015-06-26 10:59:27 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2015-06-26 10:59:27 +0000 |
| commit | 66e1cacf608045c09f7c1e4be9940caefeccd473 (patch) | |
| tree | 15f8263212e8e9f94762483e2a083110185da545 /gcc/tree-ssa-loop-niter.c | |
| parent | 8afaddaace206b20d883497a8fa34712997f819f (diff) | |
| download | gcc-66e1cacf608045c09f7c1e4be9940caefeccd473.zip gcc-66e1cacf608045c09f7c1e4be9940caefeccd473.tar.gz gcc-66e1cacf608045c09f7c1e4be9940caefeccd473.tar.bz2 | |
fold-const.c (fold_binary_loc): Remove -A CMP -B -> A CMP B and -A CMP CST -> A CMP -CST which is redundant...
2015-06-26 Richard Biener <rguenther@suse.de>
* fold-const.c (fold_binary_loc): Remove -A CMP -B -> A CMP B
and -A CMP CST -> A CMP -CST which is redundant with a pattern
in match.pd.
Move (A | C) == D where C & ~D != 0 -> 0, (X ^ Y) ==/!= 0 -> X ==/!= Y,
(X ^ Y) ==/!= {Y,X} -> {X,Y} ==/!= 0 and
(X ^ C1) op C2 -> X op (C1 ^ C2) to ...
* match.pd: ... patterns here.
* gcc.dg/tree-ssa/forwprop-25.c: Adjust.
From-SVN: r225007
Diffstat (limited to 'gcc/tree-ssa-loop-niter.c')
0 files changed, 0 insertions, 0 deletions