diff options
| author | Richard Sandiford <richard.sandiford@arm.com> | 2016-05-02 09:39:38 +0000 |
|---|---|---|
| committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2016-05-02 09:39:38 +0000 |
| commit | 8de73453a42758af02bb23ed58f4b1e78ad11bc7 (patch) | |
| tree | ea2f8d60c73117cebcd97dfbc56bb80d7c4ee632 /gcc/cp | |
| parent | 032c80e999eac4288ff1b0f752e15c8e7c5cdf51 (diff) | |
| download | gcc-8de73453a42758af02bb23ed58f4b1e78ad11bc7.zip gcc-8de73453a42758af02bb23ed58f4b1e78ad11bc7.tar.gz gcc-8de73453a42758af02bb23ed58f4b1e78ad11bc7.tar.bz2 | |
Support << and >> for offset_int and widest_int
Following on from the comparison patch, I think it makes sense to
support << and >> for offset_int (int128_t) and widest_int (intNNN_t),
with >> being arithmetic shift. It doesn't make sense to use
logical right shift on a potentially negative offset_int, since
the precision of 128 bits has no meaning on the target.
Tested on x86_64-linux-gnu and aarch64-linux-gnu.
gcc/
* wide-int.h: Update offset_int and widest_int documentation.
(WI_SIGNED_SHIFT_RESULT): New macro.
(wi::binary_shift): Define signed_shift_result_type for
shifts on offset_int- and widest_int-like types.
(generic_wide_int): Support <<= and >>= if << and >> are supported.
* tree.h (int_bit_position): Use shift operators instead of wi::
shifts.
* alias.c (adjust_offset_for_component_ref): Likewise.
* expr.c (get_inner_reference): Likewise.
* fold-const.c (fold_comparison): Likewise.
* gimple-fold.c (fold_nonarray_ctor_reference): Likewise.
* gimple-ssa-strength-reduction.c (restructure_reference): Likewise.
* tree-dfa.c (get_ref_base_and_extent): Likewise.
* tree-ssa-alias.c (indirect_ref_may_alias_decl_p): Likewise.
(stmt_kills_ref_p): Likewise.
* tree-ssa-ccp.c (bit_value_binop_1): Likewise.
* tree-ssa-math-opts.c (find_bswap_or_nop_load): Likewise.
* tree-ssa-sccvn.c (copy_reference_ops_from_ref): Likewise.
(ao_ref_init_from_vn_reference): Likewise.
gcc/cp/
* init.c (build_new_1): Use shift operators instead of wi:: shifts.
From-SVN: r235720
Diffstat (limited to 'gcc/cp')
| -rw-r--r-- | gcc/cp/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cp/init.c | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 792c9c8..c40efcf 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,7 @@ +2016-05-02 Richard Sandiford <richard.sandiford@arm.com> + + * init.c (build_new_1): Use shift operators instead of wi:: shifts. + 2016-05-02 Richard Biener <rguenther@suse.de> * decl.c (grokdeclarator): Properly insert a DECL_EXPR for diff --git a/gcc/cp/init.c b/gcc/cp/init.c index 4d19e46..681ca12 100644 --- a/gcc/cp/init.c +++ b/gcc/cp/init.c @@ -2812,8 +2812,7 @@ build_new_1 (vec<tree, va_gc> **placement, tree type, tree nelts, unsigned shift = (max_outer_nelts.get_precision ()) - 7 - wi::clz (max_outer_nelts); - max_outer_nelts = wi::lshift (wi::lrshift (max_outer_nelts, shift), - shift); + max_outer_nelts = (max_outer_nelts >> shift) << shift; outer_nelts_check = fold_build2 (LE_EXPR, boolean_type_node, outer_nelts, |