diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2017-05-25 10:39:37 +0200 |
|---|---|---|
| committer | Marc Glisse <glisse@gcc.gnu.org> | 2017-05-25 08:39:37 +0000 |
| commit | 10bc8017a3028c291e7b85486bc66bfc12b5f377 (patch) | |
| tree | 0ae39800f5225d93ec8ee7ce60769570b69186da /gcc/tree-ssanames.c | |
| parent | d112b94ac4c8038056cf035dd8d550c9dc74b8e2 (diff) | |
| download | gcc-10bc8017a3028c291e7b85486bc66bfc12b5f377.zip gcc-10bc8017a3028c291e7b85486bc66bfc12b5f377.tar.gz gcc-10bc8017a3028c291e7b85486bc66bfc12b5f377.tar.bz2 | |
Move "(A & C) == D is false when D & ~C != 0" to match.pd
2017-05-25 Marc Glisse <marc.glisse@inria.fr>
* fold-const.c (fold_binary_loc) [(A & C) == D]: Remove transformation.
* match.pd (X == C): Rewrite it here.
(with_possible_nonzero_bits, with_possible_nonzero_bits2,
with_certain_nonzero_bits2): New predicates.
* tree-ssanames.c (get_nonzero_bits): Handle INTEGER_CST.
From-SVN: r248447
Diffstat (limited to 'gcc/tree-ssanames.c')
| -rw-r--r-- | gcc/tree-ssanames.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/tree-ssanames.c b/gcc/tree-ssanames.c index 353c7b1..e83dd46 100644 --- a/gcc/tree-ssanames.c +++ b/gcc/tree-ssanames.c @@ -427,11 +427,14 @@ set_nonzero_bits (tree name, const wide_int_ref &mask) } /* Return a widest_int with potentially non-zero bits in SSA_NAME - NAME, or -1 if unknown. */ + NAME, the constant for INTEGER_CST, or -1 if unknown. */ wide_int get_nonzero_bits (const_tree name) { + if (TREE_CODE (name) == INTEGER_CST) + return name; + unsigned int precision = TYPE_PRECISION (TREE_TYPE (name)); if (POINTER_TYPE_P (TREE_TYPE (name))) { |