diff options
| author | Richard Sandiford <richard.sandiford@linaro.org> | 2017-12-07 18:42:41 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2017-12-07 18:42:41 +0000 |
| commit | 63570af0b58a3c354723bc78b75d76dbb0750f47 (patch) | |
| tree | 7b1f2b8c0da2c3908d22d25dcea31ceacd492de2 /gcc/tree-vector-builder.c | |
| parent | 44e1aae4dbd8198a26ab0ec5958e073e2c9cc772 (diff) | |
| download | gcc-63570af0b58a3c354723bc78b75d76dbb0750f47.zip gcc-63570af0b58a3c354723bc78b75d76dbb0750f47.tar.gz gcc-63570af0b58a3c354723bc78b75d76dbb0750f47.tar.bz2 | |
Make more use of VECTOR_CST_ENCODED_ELT
This patch makes various bits of code operate directly on the new
VECTOR_CST encoding, instead of using VECTOR_CST_ELT on all elements
of the vector.
Previous patches handled operations that produce a new VECTOR_CST,
while this patch handles things like predicates. It also makes
print_node dump the encoding instead of the full vector that
the encoding represents.
2017-12-07 Richard Sandiford <richard.sandiford@linaro.org>
gcc/
* tree-vector-builder.h
(tree_vector_builder::binary_encoded_nelts): Declare.
* tree-vector-builder.c
(tree_vector_builder::binary_encoded_nelts): New function.
* fold-const.c (negate_expr_p): Likewise.
(operand_equal_p, fold_checksum_tree): Likewise.
* tree-loop-distribution.c (const_with_all_bytes_same): Likewise.
* tree.c (integer_zerop, integer_onep, integer_all_onesp, real_zerop)
(real_onep, real_minus_onep, add_expr, initializer_zerop): Likewise.
(uniform_vector_p): Likewise.
* varasm.c (const_hash_1, compare_constant): Likewise.
* tree-ssa-ccp.c: Include tree-vector-builder.h.
(valid_lattice_transition): Operate directly on the VECTOR_CST
encoding.
* ipa-icf.c: Include tree-vector-builder.h.
(sem_variable::equals): Operate directly on the VECTOR_CST encoding.
* print-tree.c (print_node): Print encoding of VECTOR_CSTs.
From-SVN: r255480
Diffstat (limited to 'gcc/tree-vector-builder.c')
| -rw-r--r-- | gcc/tree-vector-builder.c | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/gcc/tree-vector-builder.c b/gcc/tree-vector-builder.c index 954dbcd..88b9d1a 100644 --- a/gcc/tree-vector-builder.c +++ b/gcc/tree-vector-builder.c @@ -96,6 +96,24 @@ tree_vector_builder::new_binary_operation (tree type, tree t1, tree t2, return true; } +/* Return the number of elements that the caller needs to operate on in + order to handle a binary operation on VECTOR_CSTs T1 and T2. This static + function is used instead of new_binary_operation if the result of the + operation is not a VECTOR_CST. */ + +unsigned int +tree_vector_builder::binary_encoded_nelts (tree t1, tree t2) +{ + unsigned int nelts = TYPE_VECTOR_SUBPARTS (TREE_TYPE (t1)); + gcc_assert (nelts == TYPE_VECTOR_SUBPARTS (TREE_TYPE (t2))); + /* See new_binary_operation for details. */ + unsigned int npatterns = least_common_multiple (VECTOR_CST_NPATTERNS (t1), + VECTOR_CST_NPATTERNS (t2)); + unsigned int nelts_per_pattern = MAX (VECTOR_CST_NELTS_PER_PATTERN (t1), + VECTOR_CST_NELTS_PER_PATTERN (t2)); + return MIN (npatterns * nelts_per_pattern, nelts); +} + /* Return a vector element with the value BASE + FACTOR * STEP. */ tree |