From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 115710 invoked by alias); 29 Sep 2016 05:07:07 -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 112286 invoked by uid 89); 29 Sep 2016 05:07:06 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_LOW,SPF_HELO_PASS autolearn=ham version=3.3.2 spammy= X-HELO: mail.ud10.udmedia.de Received: from ud10.udmedia.de (HELO mail.ud10.udmedia.de) (194.117.254.50) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Thu, 29 Sep 2016 05:06:56 +0000 Received: (qmail 5986 invoked from network); 29 Sep 2016 07:06:48 +0200 Received: from ip5b406122.dynamic.kabel-deutschland.de (HELO x4) (ud10?360p3@91.64.97.34) by mail.ud10.udmedia.de with ESMTPSA (ECDHE-RSA-AES256-SHA encrypted, authenticated); 29 Sep 2016 07:06:48 +0200 Date: Thu, 29 Sep 2016 07:12:00 -0000 From: Markus Trippelsdorf To: Richard Biener Cc: gcc-patches@gcc.gnu.org Subject: Re: [PATCH][1/2] Fix PR77768 Message-ID: <20160929050648.GA9969@x4> References: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: X-SW-Source: 2016-09/txt/msg02209.txt.bz2 On 2016.09.28 at 13:33 +0200, Richard Biener wrote: > > I am testing the following patch to avoid useless VRP range allocations > when we just ask for varying on stmts we don't know how to handle. > I think it should fix the PR where we end up assigning to the > static const vr_const_varying returned by get_value_range in the early VRP > context. > > Eventually the VRP lattice needs to become sparse (or just growable, I > have a patch for that as well). Not until early VRP gets some more > capabilities though, it would be a waste otherwise. > > Bootstrap / regtest in progress on x86_64-unknown-linux-gnu. You probably noticed this yourself, but the patch causes conftests to spin during stageprofile. For example libiberty: configure:6516: checking for working fork configure:6538: /home/trippels/gcc_build_dir_/./prev-gcc/xgcc -B/home/trippels/gcc_build_dir_/./prev-gcc/ -B/usr/local/powerpc64le-unknown-linux-gnu/bin/ -B/usr/local/powerpc64le-unknown-linux-gnu/bin/ -B/usr/local/powerpc64le-unknown-linux-gnu/lib/ -isystem /usr/local/powerpc64le-unknown-linux-gnu/include -isystem /usr/local/powerpc64le-unknown-linux-gnu/sys-include -o conftest -mcpu=power8 -O3 -pipe -gtoggle -fprofile-generate -static-libstdc++ -static-libgcc conftest.c >&5 configure:6538: $? = 0 configure:6538: ./conftest <> -- Markus