diff options
author | Richard Sandiford <richard.sandiford@linaro.org> | 2017-12-21 06:57:41 +0000 |
---|---|---|
committer | Richard Sandiford <rsandifo@gcc.gnu.org> | 2017-12-21 06:57:41 +0000 |
commit | f37fac2b74df114c5b3e9c8a3be2cad9acd3f4ca (patch) | |
tree | ebd8f2d136ae51379031e2596095f05826868563 /gcc/gimple-laddress.c | |
parent | 5b9bbb630de43db527acf5e5a80c0a3dd446e0d9 (diff) | |
download | gcc-f37fac2b74df114c5b3e9c8a3be2cad9acd3f4ca.zip gcc-f37fac2b74df114c5b3e9c8a3be2cad9acd3f4ca.tar.gz gcc-f37fac2b74df114c5b3e9c8a3be2cad9acd3f4ca.tar.bz2 |
poly_int: get_inner_reference & co.
This patch makes get_inner_reference and ptr_difference_const return the
bit size and bit position as poly_int64s rather than HOST_WIDE_INTS.
The non-mechanical changes were handled by previous patches.
2017-12-21 Richard Sandiford <richard.sandiford@linaro.org>
Alan Hayward <alan.hayward@arm.com>
David Sherwood <david.sherwood@arm.com>
gcc/
* tree.h (get_inner_reference): Return the bitsize and bitpos
as poly_int64_pods rather than HOST_WIDE_INT.
* fold-const.h (ptr_difference_const): Return the pointer difference
as a poly_int64_pod rather than a HOST_WIDE_INT.
* expr.c (get_inner_reference): Return the bitsize and bitpos
as poly_int64_pods rather than HOST_WIDE_INT.
(expand_expr_addr_expr_1, expand_expr_real_1): Track polynomial
offsets and sizes.
* fold-const.c (make_bit_field_ref): Take the bitpos as a poly_int64
rather than a HOST_WIDE_INT. Update call to get_inner_reference.
(optimize_bit_field_compare): Update call to get_inner_reference.
(decode_field_reference): Likewise.
(fold_unary_loc): Track polynomial offsets and sizes.
(split_address_to_core_and_offset): Return the bitpos as a
poly_int64_pod rather than a HOST_WIDE_INT.
(ptr_difference_const): Likewise for the pointer difference.
* asan.c (instrument_derefs): Track polynomial offsets and sizes.
* config/mips/mips.c (r10k_safe_mem_expr_p): Likewise.
* dbxout.c (dbxout_expand_expr): Likewise.
* dwarf2out.c (loc_list_for_address_of_addr_expr_of_indirect_ref)
(loc_list_from_tree_1, fortran_common): Likewise.
* gimple-laddress.c (pass_laddress::execute): Likewise.
* gimple-ssa-store-merging.c (find_bswap_or_nop_load): Likewise.
* gimplify.c (gimplify_scan_omp_clauses): Likewise.
* simplify-rtx.c (delegitimize_mem_from_attrs): Likewise.
* tree-affine.c (tree_to_aff_combination): Likewise.
(get_inner_reference_aff): Likewise.
* tree-data-ref.c (split_constant_offset_1): Likewise.
(dr_analyze_innermost): Likewise.
* tree-scalar-evolution.c (interpret_rhs_expr): Likewise.
* tree-sra.c (ipa_sra_check_caller): Likewise.
* tree-vect-data-refs.c (vect_check_gather_scatter): Likewise.
* ubsan.c (maybe_instrument_pointer_overflow): Likewise.
(instrument_bool_enum_load, instrument_object_size): Likewise.
* gimple-ssa-strength-reduction.c (slsr_process_ref): Update call
to get_inner_reference.
* hsa-gen.c (gen_hsa_addr): Likewise.
* sanopt.c (maybe_optimize_ubsan_ptr_ifn): Likewise.
* tsan.c (instrument_expr): Likewise.
* match.pd: Update call to ptr_difference_const.
gcc/ada/
* gcc-interface/trans.c (Attribute_to_gnu): Track polynomial
offsets and sizes.
* gcc-interface/utils2.c (build_unary_op): Likewise.
gcc/cp/
* constexpr.c (check_automatic_or_tls): Track polynomial
offsets and sizes.
Co-Authored-By: Alan Hayward <alan.hayward@arm.com>
Co-Authored-By: David Sherwood <david.sherwood@arm.com>
From-SVN: r255914
Diffstat (limited to 'gcc/gimple-laddress.c')
-rw-r--r-- | gcc/gimple-laddress.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gcc/gimple-laddress.c b/gcc/gimple-laddress.c index 8e07e30..690e1f5 100644 --- a/gcc/gimple-laddress.c +++ b/gcc/gimple-laddress.c @@ -100,19 +100,19 @@ pass_laddress::execute (function *fun) */ tree expr = gimple_assign_rhs1 (stmt); - HOST_WIDE_INT bitsize, bitpos; + poly_int64 bitsize, bitpos; tree base, offset; machine_mode mode; int volatilep = 0, reversep, unsignedp = 0; base = get_inner_reference (TREE_OPERAND (expr, 0), &bitsize, &bitpos, &offset, &mode, &unsignedp, &reversep, &volatilep); - gcc_assert (base != NULL_TREE && (bitpos % BITS_PER_UNIT) == 0); + gcc_assert (base != NULL_TREE); + poly_int64 bytepos = exact_div (bitpos, BITS_PER_UNIT); if (offset != NULL_TREE) { - if (bitpos != 0) - offset = size_binop (PLUS_EXPR, offset, - size_int (bitpos / BITS_PER_UNIT)); + if (maybe_ne (bytepos, 0)) + offset = size_binop (PLUS_EXPR, offset, size_int (bytepos)); offset = force_gimple_operand_gsi (&gsi, offset, true, NULL, true, GSI_SAME_STMT); base = build_fold_addr_expr (base); |