From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 12491 invoked by alias); 20 Oct 2004 22:20:39 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 12483 invoked from network); 20 Oct 2004 22:20:38 -0000 Received: from unknown (HELO mprelay.uc.edu) (129.137.3.48) by sourceware.org with SMTP; 20 Oct 2004 22:20:38 -0000 Received: from [10.44.3.130] (zhivago.geop.uc.edu [10.44.3.130]) by mprelay.uc.edu (MOS 3.4.7-GR) with ESMTP id BVN03448; Wed, 20 Oct 2004 18:20:25 -0400 (EDT) In-Reply-To: References: Mime-Version: 1.0 (Apple Message framework v618) Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <3CE2FCAE-22E6-11D9-8879-000A95D692F4@physics.uc.edu> Content-Transfer-Encoding: 7bit Cc: dnovillo@redhat.com, gcc-patches@gcc.gnu.org, amacleod@redhat.com From: Andrew Pinski Subject: Re: [PATCH]: Implement must-def kill operand Date: Wed, 20 Oct 2004 22:23:00 -0000 To: Daniel Berlin X-SW-Source: 2004-10/txt/msg01781.txt.bz2 On Oct 17, 2004, at 10:00 PM, Daniel Berlin wrote: > [Diego, if this isn't accepted for mainline, i'd still like to put it > on TCB, so if you could take a look at it, i'd appreciate it] > > This large but mostly mechnanical patch implements a RHS for must-defs > so that we know what they are killing. > These operands are renamed just like any other ssa operand. > This is necessary for sinking type optimizations (including store > motion) to work properly in a safe and efficient manner. > In particular, it fixes PR 17133 I would like this to go in rather soon because not only fixes a bug but it also allows us to stabilize part of the aliasing of the infrastructure. -- Pinski