From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 42189 invoked by alias); 6 Dec 2017 00:46:52 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 42169 invoked by uid 89); 6 Dec 2017 00:46:50 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,SPF_HELO_PASS,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2 spammy=Hx-languages-length:1805 X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 06 Dec 2017 00:46:49 +0000 Received: from smtp.corp.redhat.com (int-mx05.intmail.prod.int.phx2.redhat.com [10.5.11.15]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id 3F9EB3DF802; Wed, 6 Dec 2017 00:46:48 +0000 (UTC) Received: from localhost.localdomain (ovpn-112-2.rdu2.redhat.com [10.10.112.2]) by smtp.corp.redhat.com (Postfix) with ESMTP id 777176FB99; Wed, 6 Dec 2017 00:46:47 +0000 (UTC) Subject: Re: [056/nnn] poly_int: MEM_REF offsets To: gcc-patches@gcc.gnu.org, richard.sandiford@linaro.org References: <871sltvm7r.fsf@linaro.org> <8760b5lqw7.fsf@linaro.org> From: Jeff Law Message-ID: <57a688dd-0f3d-94e7-dd9b-d93498e79dd3@redhat.com> Date: Wed, 06 Dec 2017 00:46:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 In-Reply-To: <8760b5lqw7.fsf@linaro.org> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-IsSubscribed: yes X-SW-Source: 2017-12/txt/msg00287.txt.bz2 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 > Alan Hayward > David Sherwood > > 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