From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 81279 invoked by alias); 5 Dec 2017 17:26:59 -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 81268 invoked by uid 89); 5 Dec 2017 17:26:58 -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= 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; Tue, 05 Dec 2017 17:26:56 +0000 Received: from smtp.corp.redhat.com (int-mx06.intmail.prod.int.phx2.redhat.com [10.5.11.16]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id 55970356EB; Tue, 5 Dec 2017 17:26:55 +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 8F75666D35; Tue, 5 Dec 2017 17:26:54 +0000 (UTC) Subject: Re: [059/nnn] poly_int: tree-ssa-loop-ivopts.c:iv_use To: gcc-patches@gcc.gnu.org, richard.sandiford@linaro.org References: <871sltvm7r.fsf@linaro.org> <87she9kc9y.fsf@linaro.org> From: Jeff Law Message-ID: Date: Tue, 05 Dec 2017 17:26: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: <87she9kc9y.fsf@linaro.org> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2017-12/txt/msg00241.txt.bz2 On 10/23/2017 11:24 AM, Richard Sandiford wrote: > This patch makes ivopts handle polynomial address offsets > when recording potential IV uses. > > > 2017-10-23 Richard Sandiford > Alan Hayward > David Sherwood > > gcc/ > * tree-ssa-loop-ivopts.c (iv_use::addr_offset): Change from > an unsigned HOST_WIDE_INT to a poly_uint64_pod. > (group_compare_offset): Update accordingly. > (split_small_address_groups_p): Likewise. > (record_use): Take addr_offset as a poly_uint64 rather than > an unsigned HOST_WIDE_INT. > (strip_offset): Return the offset as a poly_uint64 rather than > an unsigned HOST_WIDE_INT. > (record_group_use, split_address_groups): Track polynomial offsets. > (add_iv_candidate_for_use): Likewise. > (addr_offset_valid_p): Take the offset as a poly_int64 rather > than a HOST_WIDE_INT. > (strip_offset_1): Return the offset as a poly_int64 rather than > a HOST_WIDE_INT. OK. jeff