From patchwork Mon Jul 18 11:33:20 2016 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Richard Biener X-Patchwork-Id: 649502 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id 3rtLfH28KDz9s8d for ; Mon, 18 Jul 2016 21:33:42 +1000 (AEST) Authentication-Results: ozlabs.org; dkim=pass (1024-bit key; unprotected) header.d=gcc.gnu.org header.i=@gcc.gnu.org header.b=WFPJIqU3; dkim-atps=neutral DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender :mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; q=dns; s=default; b=OAyR8zWkE4UO4yD 9RbJ74GXjzMxNKyzdK3onfhBLjCPyJZWziuzKlcuVi0CE3Tiox+ZCTk3aXNdXMHH 9Aa9dpN7jOGwT4k+hWbVi53ZO3/trJgDYWbfIWjtuqp51HTpOdOi5WJexIxycezq Neflk+2GPBM4oTvHGc9hCoos4rDg= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender :mime-version:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; s=default; bh=xRn0Q3lZH64qXtfkAibZY VAG/0Q=; b=WFPJIqU3pjVYphqadIu1GL1Z60I3XKFEVolm5qWL123rOjqGRrXVe PHybUBJDm1Df8jx+0gL1tnv9crcaVOqfFjjh7xdSyyAD8A92lBrKGqVmSqWJuPRk 2IB/vXZGXq5OkPPdFoe/yePXkMPOlEz78OaSLFTAdHd8/YjoAaDhS8= Received: (qmail 15994 invoked by alias); 18 Jul 2016 11:33:34 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org Received: (qmail 15983 invoked by uid 89); 18 Jul 2016 11:33:33 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.3 required=5.0 tests=AWL, BAYES_00, FREEMAIL_FROM, RCVD_IN_DNSWL_LOW, SPF_PASS autolearn=ham version=3.3.2 spammy= X-HELO: mail-wm0-f43.google.com Received: from mail-wm0-f43.google.com (HELO mail-wm0-f43.google.com) (74.125.82.43) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Mon, 18 Jul 2016 11:33:23 +0000 Received: by mail-wm0-f43.google.com with SMTP id i5so112170531wmg.0 for ; Mon, 18 Jul 2016 04:33:23 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=1Hx3jeyoOgBWb02hPUV4NaSDAqiT6RWCwRkgLErk6Gc=; b=mwyqam23wntGYYX+RSG8IspjqokdmdvP4PPKS2t9hDUoZwniFKQt7ptm57A0iCe1Tu /KBNjmMUfPLiZM5LEGtuZ7Cx5+gEEewzc9LKMdSOSStMQZwDeEUztI8JdlIKAM+hvOjQ TlFNjbBWwa7oWXi3u8JDVXeM3uCQmBFxy17iYp10yYYw4IVfMCt00SmLBbTekKJlnRQQ xFI+hBIjejXV/fZIB57YIj4JUVMVQ2JneqN2cNaiVEY5JKiU5kL91qfEtYtn0gQxfs9M mBQnMgXG8QAZLh/USM3RSMFzxDKVxLj4VNKvPSXy1nmF0OH3QK2KuneiWOiE4zcI+OQ6 ZW8g== X-Gm-Message-State: ALyK8tJauhyLV2PFTEE0EkzPUJeCqZZbPZl8o8mf63tuNnIs4vkSJj+23636ch/eqJTjdcM4epoyFhaJnsz69g== X-Received: by 10.194.59.100 with SMTP id y4mr753587wjq.24.1468841600889; Mon, 18 Jul 2016 04:33:20 -0700 (PDT) MIME-Version: 1.0 Received: by 10.28.207.135 with HTTP; Mon, 18 Jul 2016 04:33:20 -0700 (PDT) In-Reply-To: <57886AEC.5000603@linaro.org> References: <57886949.8010300@linaro.org> <57886AEC.5000603@linaro.org> From: Richard Biener Date: Mon, 18 Jul 2016 13:33:20 +0200 Message-ID: Subject: Re: [RFC][IPA-VRP] Teach tree-vrp to use the VR set in params To: kugan Cc: "gcc-patches@gcc.gnu.org" , Jan Hubicka , Martin Jambor X-IsSubscribed: yes On Fri, Jul 15, 2016 at 6:47 AM, kugan wrote: > Hi, > > > > This patch teaches tree-vrp to use the VR set in params. + } + else + set_value_range_to_varying (vr); + } Ok with that change. Thanks, Richard. > > > Thanks, > > Kugan > > > > gcc/ChangeLog: > > > > 2016-07-14 Kugan Vivekanandarajah > > > > * tree-vrp.c (get_value_range): Teach PARM_DECL to use ipa-vrp > > results. > diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 8c87c06..ad3891c 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -667,6 +667,20 @@ get_value_range (const_tree var) if (POINTER_TYPE_P (TREE_TYPE (sym)) && nonnull_arg_p (sym)) set_value_range_to_nonnull (vr, TREE_TYPE (sym)); + else if (!POINTER_TYPE_P (TREE_TYPE (sym))) Please use INTEGRAL_TYPE_P + { + wide_int min, max; + value_range_type rtype = get_range_info (var, &min, &max); + if (rtype == VR_RANGE || rtype == VR_ANTI_RANGE) + { + vr->type = rtype; + vr->min = wide_int_to_tree (TREE_TYPE (var), min); + vr->max = wide_int_to_tree (TREE_TYPE (var), max); + vr->equiv = NULL; Use set_value_range (vr, rtype, wide_int..., ..., NULL);