diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2015-08-31 16:02:00 +0200 |
|---|---|---|
| committer | Marc Glisse <glisse@gcc.gnu.org> | 2015-08-31 14:02:00 +0000 |
| commit | b0eb889bf88eff3316690c6397a7f3dc75fbeda7 (patch) | |
| tree | a33c135ce9d2d8750a86956b05a1741e6d13de2e /gcc/tree.h | |
| parent | f196d062919feaf10ec10c67ac0d20f15fcfd2f5 (diff) | |
| download | gcc-b0eb889bf88eff3316690c6397a7f3dc75fbeda7.zip gcc-b0eb889bf88eff3316690c6397a7f3dc75fbeda7.tar.gz gcc-b0eb889bf88eff3316690c6397a7f3dc75fbeda7.tar.bz2 | |
Move some comparison simplifications to match.pd
2015-08-31 Marc Glisse <marc.glisse@inria.fr>
gcc/
* tree.h (zerop): New function.
* tree.c (zerop): Likewise.
(element_precision): Handle expressions.
* match.pd (define_predicates): Add zerop.
(x <= +Inf): Fix comment.
(abs (x) == 0, A & C == C, A & C != 0): Converted from ...
* fold-const.c (fold_binary_loc): ... here. Remove.
gcc/testsuite/
* gcc.dg/tree-ssa/cmp-1.c: New file.
From-SVN: r227346
Diffstat (limited to 'gcc/tree.h')
| -rw-r--r-- | gcc/tree.h | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -4109,6 +4109,10 @@ extern tree uniform_vector_p (const_tree); extern vec<tree, va_gc> *ctor_to_vec (tree); +/* zerop (tree x) is nonzero if X is a constant of value 0. */ + +extern int zerop (const_tree); + /* integer_zerop (tree x) is nonzero if X is an integer constant of value 0. */ extern int integer_zerop (const_tree); |