diff options
| author | Richard Henderson <rth@redhat.com> | 2012-07-10 01:23:39 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2012-07-10 01:23:39 -0700 |
| commit | 3f30a9a6aabcc7408bec1e42736889e3edd9f289 (patch) | |
| tree | 3004b5ca9b3236230ebbc1657f1529e32ff03d51 /gcc/fold-const.c | |
| parent | e53a3e778e70af499292522144fb8d4bea5279cb (diff) | |
| download | gcc-3f30a9a6aabcc7408bec1e42736889e3edd9f289.zip gcc-3f30a9a6aabcc7408bec1e42736889e3edd9f289.tar.gz gcc-3f30a9a6aabcc7408bec1e42736889e3edd9f289.tar.bz2 | |
Add VEC_WIDEN_MULT_EVEN/ODD_EXPR
* tree.def (VEC_WIDEN_MULT_EVEN_EXPR, VEC_WIDEN_MULT_ODD_EXPR): New.
* cfgexpand.c (expand_debug_expr): Handle them.
* expr.c (expand_expr_real_2): Likewise.
* fold-const.c (fold_binary_loc): Likewise.
* gimple-pretty-print.c (dump_binary_rhs): Likewise.
* optabs.c (optab_for_tree_code): Likewise.
* tree-cfg.c (verify_gimple_assign_binary): Likewise.
* tree-inline.c (estimate_operator_cost): Likewise.
* tree-pretty-print.c (dump_generic_node): Likewise.
* tree.c (commutative_tree_code): Likewise.
* tree-vect-generic.c (expand_vector_operations_1): Likewise.
Handle type change before looking up optab.
* optabs.h (OTI_vec_widen_umult_even, OTI_vec_widen_umult_odd): New.
(OTI_vec_widen_smult_even, OTI_vec_widen_smult_odd): New.
(vec_widen_umult_even_optab, vec_widen_umult_odd_optab): New.
(vec_widen_smult_even_optab, vec_widen_smult_odd_optab): New.
* genopinit.c (optabs): Initialize them.
* doc/md.texi: Document them.
From-SVN: r189403
Diffstat (limited to 'gcc/fold-const.c')
| -rw-r--r-- | gcc/fold-const.c | 36 |
1 files changed, 24 insertions, 12 deletions
diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 702f4e0..a491499 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -13657,8 +13657,11 @@ fold_binary_loc (location_t loc, case VEC_WIDEN_MULT_LO_EXPR: case VEC_WIDEN_MULT_HI_EXPR: + case VEC_WIDEN_MULT_EVEN_EXPR: + case VEC_WIDEN_MULT_ODD_EXPR: { - unsigned int nelts = TYPE_VECTOR_SUBPARTS (type), i; + unsigned int nelts = TYPE_VECTOR_SUBPARTS (type); + unsigned int out, ofs, scale; tree *elts; gcc_assert (TYPE_VECTOR_SUBPARTS (TREE_TYPE (arg0)) == nelts * 2 @@ -13671,19 +13674,28 @@ fold_binary_loc (location_t loc, || !vec_cst_ctor_to_array (arg1, elts + nelts * 2)) return NULL_TREE; - if ((!BYTES_BIG_ENDIAN) ^ (code == VEC_WIDEN_MULT_LO_EXPR)) - elts += nelts; - - for (i = 0; i < nelts; i++) + if (code == VEC_WIDEN_MULT_LO_EXPR) + scale = 0, ofs = BYTES_BIG_ENDIAN ? nelts : 0; + else if (code == VEC_WIDEN_MULT_HI_EXPR) + scale = 0, ofs = BYTES_BIG_ENDIAN ? 0 : nelts; + else if (code == VEC_WIDEN_MULT_EVEN_EXPR) + scale = 1, ofs = 0; + else /* if (code == VEC_WIDEN_MULT_ODD_EXPR) */ + scale = 1, ofs = 1; + + for (out = 0; out < nelts; out++) { - elts[i] = fold_convert_const (NOP_EXPR, TREE_TYPE (type), elts[i]); - elts[i + nelts * 2] - = fold_convert_const (NOP_EXPR, TREE_TYPE (type), - elts[i + nelts * 2]); - if (elts[i] == NULL_TREE || elts[i + nelts * 2] == NULL_TREE) + unsigned int in1 = (out << scale) + ofs; + unsigned int in2 = in1 + nelts * 2; + tree t1, t2; + + t1 = fold_convert_const (NOP_EXPR, TREE_TYPE (type), elts[in1]); + t2 = fold_convert_const (NOP_EXPR, TREE_TYPE (type), elts[in2]); + + if (t1 == NULL_TREE || t2 == NULL_TREE) return NULL_TREE; - elts[i] = const_binop (MULT_EXPR, elts[i], elts[i + nelts * 2]); - if (elts[i] == NULL_TREE || !CONSTANT_CLASS_P (elts[i])) + elts[out] = const_binop (MULT_EXPR, t1, t2); + if (elts[out] == NULL_TREE || !CONSTANT_CLASS_P (elts[out])) return NULL_TREE; } |