From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 3359 invoked by alias); 12 Nov 2007 17:52:44 -0000 Received: (qmail 3327 invoked by uid 22791); 12 Nov 2007 17:52:43 -0000 X-Spam-Check-By: sourceware.org Received: from mx1.redhat.com (HELO mx1.redhat.com) (66.187.233.31) by sourceware.org (qpsmtpd/0.31) with ESMTP; Mon, 12 Nov 2007 17:52:39 +0000 Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254]) by mx1.redhat.com (8.13.8/8.13.1) with ESMTP id lACHqcTu008460; Mon, 12 Nov 2007 12:52:38 -0500 Received: from pobox.corp.redhat.com (pobox.corp.redhat.com [10.11.255.20]) by int-mx1.corp.redhat.com (8.13.1/8.13.1) with ESMTP id lACHqbam024614; Mon, 12 Nov 2007 12:52:37 -0500 Received: from livre.oliva.athome.lsd.ic.unicamp.br (vpn-248-70.boston.redhat.com [10.13.248.70]) by pobox.corp.redhat.com (8.13.1/8.13.1) with ESMTP id lACHqZMH006587; Mon, 12 Nov 2007 12:52:36 -0500 Received: from livre.oliva.athome.lsd.ic.unicamp.br (localhost.localdomain [127.0.0.1]) by livre.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.13.8) with ESMTP id lACHqZkO008098; Mon, 12 Nov 2007 15:52:35 -0200 Received: (from aoliva@localhost) by livre.oliva.athome.lsd.ic.unicamp.br (8.14.1/8.13.5/Submit) id lACHqZYL008097; Mon, 12 Nov 2007 15:52:35 -0200 To: "Richard Guenther" Cc: "GCC Patches" Subject: Re: [RFC] New SSA variable mapping infrastructure References: <84fc9c000710031126h26263c21yc30e9defa7bc6468@mail.gmail.com> <84fc9c000711070234u717269d5g9dbfc778be8d6fc3@mail.gmail.com> <84fc9c000711080125x36d4cfcdne5bd2358408ed055@mail.gmail.com> <84fc9c000711081225n209265f4n826d20fbd580972a@mail.gmail.com> <84fc9c000711090153m32ec85fo760209f1a5375603@mail.gmail.com> From: Alexandre Oliva Errors-To: aoliva@oliva.athome.lsd.ic.unicamp.br In-Reply-To: <84fc9c000711090153m32ec85fo760209f1a5375603@mail.gmail.com> (Richard Guenther's message of "Fri\, 9 Nov 2007 10\:53\:11 +0100") User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1 (gnu/linux) Date: Mon, 12 Nov 2007 18:40:00 -0000 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii 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 X-SW-Source: 2007-11/txt/msg00648.txt.bz2 On Nov 9, 2007, "Richard Guenther" wrote: > What our approach basically does is to identify all names that a > computed value has at any point during program execution. I.e., you disregard pretty much all information as to where the value gains each name, and as to where it ceases to have that name. Do you have any evidence that this can possibly get you better (not only more complete, but also more correct) debug information than what we have now? The problem of non-concurrent uses being noted in debug info as concurrent seems particularly serious to me (the mapping of c to both x and y we debated before). -- Alexandre Oliva http://www.lsd.ic.unicamp.br/~oliva/ FSF Latin America Board Member http://www.fsfla.org/ Red Hat Compiler Engineer aoliva@{redhat.com, gcc.gnu.org} Free Software Evangelist oliva@{lsd.ic.unicamp.br, gnu.org}