On 10/23/2017 11:23 AM, Richard Sandiford wrote: > This patch allows MEM_REF offsets to be polynomial, with mem_ref_offset > now returning a poly_offset_int instead of an offset_int. The > non-mechanical changes to callers of mem_ref_offset were handled by > previous patches. > > > 2017-10-23 Richard Sandiford <richard.sandif...@linaro.org> > Alan Hayward <alan.hayw...@arm.com> > David Sherwood <david.sherw...@arm.com> > > gcc/ > * fold-const.h (mem_ref_offset): Return a poly_offset_int rather > than an offset_int. > * tree.c (mem_ref_offset): Likewise. > * builtins.c (get_object_alignment_2): Treat MEM_REF offsets as > poly_ints. > * expr.c (get_inner_reference, expand_expr_real_1): Likewise. > * gimple-fold.c (get_base_constructor): Likewise. > * gimple-ssa-strength-reduction.c (restructure_reference): Likewise. > * ipa-polymorphic-call.c > (ipa_polymorphic_call_context::ipa_polymorphic_call_context): Likewise. > * ipa-prop.c (compute_complex_assign_jump_func, get_ancestor_addr_info) > (ipa_get_adjustment_candidate): Likewise. > * match.pd: Likewise. > * tree-data-ref.c (dr_analyze_innermost): Likewise. > * tree-dfa.c (get_addr_base_and_unit_offset_1): Likewise. > * tree-eh.c (tree_could_trap_p): Likewise. > * tree-object-size.c (addr_object_size): Likewise. > * tree-ssa-address.c (copy_ref_info): Likewise. > * tree-ssa-alias.c (indirect_ref_may_alias_decl_p): Likewise. > (indirect_refs_may_alias_p): Likewise. > * tree-ssa-sccvn.c (copy_reference_ops_from_ref): Likewise. > * tree-ssa.c (maybe_rewrite_mem_ref_base): Likewise. > (non_rewritable_mem_ref_base): Likewise. > * tree-vect-data-refs.c (vect_check_gather_scatter): Likewise. > * tree-vrp.c (search_for_addr_array): Likewise. > * varasm.c (decode_addr_const): Likewise. OK. jeff
