From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 75600 invoked by alias); 17 Jul 2016 13:24:43 -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 75589 invoked by uid 89); 17 Jul 2016 13:24:42 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.1 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 spammy=Range X-HELO: mail-it0-f54.google.com Received: from mail-it0-f54.google.com (HELO mail-it0-f54.google.com) (209.85.214.54) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Sun, 17 Jul 2016 13:24:32 +0000 Received: by mail-it0-f54.google.com with SMTP id f6so54115002ith.0 for ; Sun, 17 Jul 2016 06:24:31 -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=lbjp7xnWOsiI5r/ztVXGCzrh+glkTQSp0bVh9YtK5UE=; b=RfBonD0ee+j5bqDZEPkIZveWQhXwyLZBDNkNDEnleJ15vyDWFYj4MaNAOf/9M6VoP2 TZGHLy930YArC3meC4Pk8pDt9rfSqXQadTp91XkZM/kri+kBXig3V7svvzEQonLS5QTc SPl0ZqYg7T4X4ZxWote8JWtOuGxP7Qkgmkt3YzpYFrMn1n1PNF3VT8XxVMIID6Zg0Acg SUg1jh2M5rjLKHzHX3zf4+FARyR7EtpXS7ep3f6s/sHs2LiduYqEDAHu0jJe74i/FLq8 l7z76/ABdooNZjd6i2NEpu5sjqG6pIePXBv60z36L4K2n6j2iyjy49rM/2YX7ps949PI 0KPw== X-Gm-Message-State: ALyK8tJ6AG/q1/pvLl3n6+wVe/PeW6iOSot5Ly4O7PYzMQDp0S4TealDtrvXF4QIzm6UC4P3o4AfZzqrpaHZXkYD X-Received: by 10.36.0.195 with SMTP id 186mr32167972ita.31.1468761869898; Sun, 17 Jul 2016 06:24:29 -0700 (PDT) MIME-Version: 1.0 Received: by 10.36.48.133 with HTTP; Sun, 17 Jul 2016 06:24:29 -0700 (PDT) In-Reply-To: <57886ABA.2060404@linaro.org> References: <57886949.8010300@linaro.org> <57886A2A.4070703@linaro.org> <57886ABA.2060404@linaro.org> From: Prathamesh Kulkarni Date: Sun, 17 Jul 2016 13:24:00 -0000 Message-ID: Subject: Re: [RFC][IPA-VRP] Add support for IPA VRP in ipa-cp/ipa-prop To: kugan Cc: "gcc-patches@gcc.gnu.org" , Richard Biener , Jan Hubicka , Martin Jambor Content-Type: text/plain; charset=UTF-8 X-IsSubscribed: yes X-SW-Source: 2016-07/txt/msg00999.txt.bz2 On 15 July 2016 at 05:46, kugan wrote: > Hi, > > > > This patch extends ipa-cp/ipa-prop infrastructure to handle propagation of > VR. Hi Kugan, Just a small nit - perhaps you should modify ipa_print_node_jump_functions_for_edge () to pretty-print value ranges associated with the jump function. Thanks, Prathamesh > > > > Thanks, > > Kugan > > > > > > gcc/testsuite/ChangeLog: > > > > 2016-07-14 Kugan Vivekanandarajah > > > > * gcc.dg/ipa/vrp1.c: New test. > > * gcc.dg/ipa/vrp2.c: New test. > > * gcc.dg/ipa/vrp3.c: New test. > > > > > > gcc/ChangeLog: > > > > 2016-07-14 Kugan Vivekanandarajah > > > > * common.opt: New option -fipa-vrp. > > * ipa-cp.c (ipa_get_vr_lat): New. > > (ipcp_vr_lattice::print): Likewise. > > (print_all_lattices): Call ipcp_vr_lattice::print. > > (ipcp_vr_lattice::meet_with): New. > > (ipcp_vr_lattice::meet_with_1): Likewise. > > (ipcp_vr_lattice::top_p): Likewise. > > (ipcp_vr_lattice::bottom_p): Likewsie. > > (ipcp_vr_lattice::set_to_bottom): Likewise. > > (set_all_contains_variable): Call VR set_to_bottom. > > (initialize_node_lattices): Init VR lattices. > > (propagate_vr_accross_jump_function): New. > > (propagate_constants_accross_call): Call > > propagate_vr_accross_jump_function. > > (ipcp_store_alignment_results): Rename to > > ipcp_store_alignment_and_vr_results and handke VR. > > * ipa-prop.c (ipa_set_jf_unknown): > > (ipa_compute_jump_functions_for_edge): Handle Value Range. > > (ipa_node_params_t::duplicate): Likewise. > > (ipa_write_jump_function): Likewise. > > (ipa_read_jump_function): Likewise. > > (write_ipcp_transformation_info): Likewise. > > (read_ipcp_transformation_info): Likewise. > > (ipcp_update_alignments): Rename to ipcp_update_vr_and_alignments > > and handle VR. > > > > >