From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 25650 invoked by alias); 30 Aug 2016 21:10:31 -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 25607 invoked by uid 89); 30 Aug 2016 21:10:22 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-0.1 required=5.0 tests=AWL,BAYES_50,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 spammy=vrp, IPA, kugan, m_vr X-HELO: mail-pa0-f54.google.com Received: from mail-pa0-f54.google.com (HELO mail-pa0-f54.google.com) (209.85.220.54) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 30 Aug 2016 21:10:12 +0000 Received: by mail-pa0-f54.google.com with SMTP id fu3so3215952pad.3 for ; Tue, 30 Aug 2016 14:10:12 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:cc:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=+vvBY5atRcCUmN4mZX+zPgsbm0q9wr5DKCy51/LInb4=; b=Oti2X/i1Ve4kIqnqTnmVpdyss77EpMCudT22aNQs7FFHONNPiugandK/v88b/iQ5jQ QCDmfd40gLbZu+VSE8A86S5SfGJit4iFP0ZhfvaS/t3ClmsyYzAKFOUAjgWfi0xZxNJq ARjZu2F2quJ8o5czvWIjlPoEHlAIaqCYplNlG5Nb3A+h2bQglldXqL3gZokaMXZ9COBp pX1CFI3BsAG3+Z9naL32459bixWGkhoXi5wshOB4aoHCcIW/oYqO8FrjEDXO2D2PgMGQ N+6Ney30tNAM1Zm95WneD/jg5nGrMNeOo50Vg6AZX5Q4uyvI7MmJTUxxs8/Q2B/3QFi3 5uEA== X-Gm-Message-State: AE9vXwOyS27UOQQ4rprgv/KwEOuZDiyoFK5NzG5wZBcIEze1rf9LeDt9jefzyHpABmv9Iu49 X-Received: by 10.66.147.234 with SMTP id tn10mr10302708pab.144.1472591410956; Tue, 30 Aug 2016 14:10:10 -0700 (PDT) Received: from [10.1.1.7] (58-6-183-210.dyn.iinet.net.au. [58.6.183.210]) by smtp.gmail.com with ESMTPSA id g13sm59344911pfb.7.2016.08.30.14.10.08 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 30 Aug 2016 14:10:10 -0700 (PDT) Subject: Re: [RFC][IPA-VRP] Add support for IPA VRP in ipa-cp/ipa-prop To: Prathamesh Kulkarni References: <57886949.8010300@linaro.org> <57886A2A.4070703@linaro.org> <57886ABA.2060404@linaro.org> <20160715122309.glir5vk5ttwoagdp@virgil.suse.cz> <578DE340.4010904@linaro.org> <578E9B16.2080100@linaro.org> <20160721125416.GA23760@kam.mff.cuni.cz> Cc: Jan Hubicka , "gcc-patches@gcc.gnu.org" , Richard Biener From: kugan Message-ID: <7dca1d5b-99b3-b4d4-d4ce-78a20366a316@linaro.org> Date: Tue, 30 Aug 2016 21:10:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2016-08/txt/msg02087.txt.bz2 Hi, > Just noticed a small nit - why not reuse ipa_vr in ipa_jump_func > instead of adding vr_known and m_vr ? This is because we want to reuse vrp_intersect_ranges and vrp_meet which are not trivial. On the other hand, in ipa_jump_func, since we stream the data we have a simpler data structure with wide_int. Thanks, Kugan