4ce6ab6889
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
93 lines
2.6 KiB
C++
93 lines
2.6 KiB
C++
/* A class for building vector integer constants.
|
|
Copyright (C) 2017-2019 Free Software Foundation, Inc.
|
|
|
|
This file is part of GCC.
|
|
|
|
GCC is free software; you can redistribute it and/or modify it under
|
|
the terms of the GNU General Public License as published by the Free
|
|
Software Foundation; either version 3, or (at your option) any later
|
|
version.
|
|
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
|
for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with GCC; see the file COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef GCC_INT_VECTOR_BUILDER_H
|
|
#define GCC_INT_VECTOR_BUILDER_H 1
|
|
|
|
#include "vector-builder.h"
|
|
|
|
/* This class is used to build vectors of integer type T using the same
|
|
encoding as tree and rtx constants. See vector_builder for more
|
|
details. */
|
|
template<typename T>
|
|
class int_vector_builder : public vector_builder<T, poly_uint64,
|
|
int_vector_builder<T> >
|
|
{
|
|
typedef vector_builder<T, poly_uint64, int_vector_builder> parent;
|
|
friend class vector_builder<T, poly_uint64, int_vector_builder>;
|
|
|
|
public:
|
|
int_vector_builder () {}
|
|
int_vector_builder (poly_uint64, unsigned int, unsigned int);
|
|
|
|
using parent::new_vector;
|
|
|
|
private:
|
|
bool equal_p (T, T) const;
|
|
bool allow_steps_p () const { return true; }
|
|
bool integral_p (T) const { return true; }
|
|
T step (T, T) const;
|
|
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.
|
|
Initially encode the value as NPATTERNS interleaved patterns with
|
|
NELTS_PER_PATTERN elements each. */
|
|
|
|
template<typename T>
|
|
inline
|
|
int_vector_builder<T>::int_vector_builder (poly_uint64 full_nelts,
|
|
unsigned int npatterns,
|
|
unsigned int nelts_per_pattern)
|
|
{
|
|
new_vector (full_nelts, npatterns, nelts_per_pattern);
|
|
}
|
|
|
|
/* Return true if elements ELT1 and ELT2 are equal. */
|
|
|
|
template<typename T>
|
|
inline bool
|
|
int_vector_builder<T>::equal_p (T elt1, T elt2) const
|
|
{
|
|
return known_eq (elt1, elt2);
|
|
}
|
|
|
|
/* Return the value of element ELT2 minus the value of element ELT1. */
|
|
|
|
template<typename T>
|
|
inline T
|
|
int_vector_builder<T>::step (T elt1, T elt2) const
|
|
{
|
|
return elt2 - elt1;
|
|
}
|
|
|
|
/* Return a vector element with the value BASE + FACTOR * STEP. */
|
|
|
|
template<typename T>
|
|
inline T
|
|
int_vector_builder<T>::apply_step (T base, unsigned int factor, T step) const
|
|
{
|
|
return base + factor * step;
|
|
}
|
|
|
|
#endif
|