diff options
| author | Richard Sandiford <richard.sandiford@arm.com> | 2019-07-29 08:40:21 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2019-07-29 08:40:21 +0000 |
| commit | 4ce6ab6889446984fd7017e2150962eb4550a7ee (patch) | |
| tree | 703d424c2a70fdb6d25fec4f41ba93f2545d277b /gcc/int-vector-builder.h | |
| parent | 66fafc3bf683405e6fedb4fe18dc09035b0073c2 (diff) | |
| download | gcc-4ce6ab6889446984fd7017e2150962eb4550a7ee.zip gcc-4ce6ab6889446984fd7017e2150962eb4550a7ee.tar.gz gcc-4ce6ab6889446984fd7017e2150962eb4550a7ee.tar.bz2 | |
Implement more rtx vector folds on variable-length vectors
This patch extends the tree-level folding of variable-length vectors
so that it can also be used on rtxes. The first step is to move
the tree_vector_builder new_unary/binary_operator routines to the
parent vector_builder class (which in turn means adding a new
template parameter). The second step is to make simplify-rtx.c
use a direct rtx analogue of the VECTOR_CST handling in fold-const.c.
2019-07-29 Richard Sandiford <richard.sandiford@arm.com>
gcc/
* vector-builder.h (vector_builder): Add a shape template parameter.
(vector_builder::new_unary_operation): New function, generalizing
the old tree_vector_builder function.
(vector_builder::new_binary_operation): Likewise.
(vector_builder::binary_encoded_nelts): Likewise.
* int-vector-builder.h (int_vector_builder): Update template
parameters to vector_builder.
(int_vector_builder::shape_nelts): New function.
* rtx-vector-builder.h (rtx_vector_builder): Update template
parameters to vector_builder.
(rtx_vector_builder::shape_nelts): New function.
(rtx_vector_builder::nelts_of): Likewise.
(rtx_vector_builder::npatterns_of): Likewise.
(rtx_vector_builder::nelts_per_pattern_of): Likewise.
* tree-vector-builder.h (tree_vector_builder): Update template
parameters to vector_builder.
(tree_vector_builder::shape_nelts): New function.
(tree_vector_builder::nelts_of): Likewise.
(tree_vector_builder::npatterns_of): Likewise.
(tree_vector_builder::nelts_per_pattern_of): Likewise.
* tree-vector-builder.c (tree_vector_builder::new_unary_operation)
(tree_vector_builder::new_binary_operation): Delete.
(tree_vector_builder::binary_encoded_nelts): Likewise.
* simplify-rtx.c: Include rtx-vector-builder.h.
(distributes_over_addition_p): New function.
(simplify_const_unary_operation)
(simplify_const_binary_operation): Generalize handling of vector
constants to include variable-length vectors.
(test_vector_ops_series): Add more tests.
From-SVN: r273867
Diffstat (limited to 'gcc/int-vector-builder.h')
| -rw-r--r-- | gcc/int-vector-builder.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/gcc/int-vector-builder.h b/gcc/int-vector-builder.h index adf0904..dc96510 100644 --- a/gcc/int-vector-builder.h +++ b/gcc/int-vector-builder.h @@ -26,10 +26,11 @@ along with GCC; see the file COPYING3. If not see encoding as tree and rtx constants. See vector_builder for more details. */ template<typename T> -class int_vector_builder : public vector_builder<T, int_vector_builder<T> > +class int_vector_builder : public vector_builder<T, poly_uint64, + int_vector_builder<T> > { - typedef vector_builder<T, int_vector_builder> parent; - friend class vector_builder<T, int_vector_builder>; + typedef vector_builder<T, poly_uint64, int_vector_builder> parent; + friend class vector_builder<T, poly_uint64, int_vector_builder>; public: int_vector_builder () {} @@ -45,6 +46,8 @@ private: T apply_step (T, unsigned int, T) const; bool can_elide_p (T) const { return true; } void note_representative (T *, T) {} + + static poly_uint64 shape_nelts (poly_uint64 x) { return x; } }; /* Create a new builder for a vector with FULL_NELTS elements. |