From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 13269 invoked by alias); 3 Jun 2011 11:06:39 -0000 Received: (qmail 13260 invoked by uid 22791); 3 Jun 2011 11:06:38 -0000 X-SWARE-Spam-Status: No, hits=-1.9 required=5.0 tests=AWL,BAYES_00 X-Spam-Check-By: sourceware.org Received: from mel.act-europe.fr (HELO mel.act-europe.fr) (194.98.77.210) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 03 Jun 2011 11:06:23 +0000 Received: from localhost (localhost [127.0.0.1]) by filtered-smtp.eu.adacore.com (Postfix) with ESMTP id 993D0CB016C; Fri, 3 Jun 2011 13:06:22 +0200 (CEST) Received: from mel.act-europe.fr ([127.0.0.1]) by localhost (smtp.eu.adacore.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id aTQ2IM-B-jhc; Fri, 3 Jun 2011 13:06:19 +0200 (CEST) Received: from [192.168.1.2] (bon31-9-83-155-120-49.fbx.proxad.net [83.155.120.49]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mel.act-europe.fr (Postfix) with ESMTP id DCFD2CB01BA; Fri, 3 Jun 2011 13:05:49 +0200 (CEST) From: Eric Botcazou To: Alexandre Oliva Subject: Re: fix left-over debug insns in DCE Date: Fri, 03 Jun 2011 11:06:00 -0000 User-Agent: KMail/1.9.9 Cc: gcc-patches@gcc.gnu.org References: <201106021718.42782.ebotcazou@adacore.com> In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit Content-Disposition: inline Message-Id: <201106031258.13095.ebotcazou@adacore.com> 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: 2011-06/txt/msg00222.txt.bz2 > Hmm... Maybe it could, I'm not sure. The problem is that DCE removes > insns, and then DF associates remaining uses in debug insns to earlier > DEFs. Adjusting debug insns in DCE is right per the VTA design motto: > decide as if debug insns weren't there, adjust them as you would adjust > non-debug insns. This code borrowed from DF into DCE is the “adjust” > bit. But DCE isn't the only pass that removes insns. Does the same logic need to be replicated in all passes that do? On the other hand, these passes call into DF when they remove insns, so DF is a central place here. > Err... These depend on the interface changes of functions defined > within DF to work. No, they don't, I can compile them independently. -- Eric Botcazou