From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 11983 invoked by alias); 4 Feb 2004 15:31:48 -0000 Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org Received: (qmail 11930 invoked from network); 4 Feb 2004 15:31:44 -0000 Received: from unknown (HELO Cantor.suse.de) (195.135.220.2) by sources.redhat.com with SMTP; 4 Feb 2004 15:31:44 -0000 Received: from hermes.suse.de (Hermes.suse.de [195.135.221.8]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (No client certificate requested) by Cantor.suse.de (Postfix) with ESMTP id E49D2134334; Wed, 4 Feb 2004 16:28:18 +0100 (CET) Received: by wotan.suse.de (Postfix, from userid 10510) id C1DAB10697; Wed, 4 Feb 2004 16:28:18 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by wotan.suse.de (Postfix) with ESMTP id BFF2B10695; Wed, 4 Feb 2004 16:28:18 +0100 (CET) Date: Wed, 04 Feb 2004 15:31:00 -0000 From: Michael Matz To: Richard Kenner Cc: gcc@gcc.gnu.org Subject: Re: What to remove after tree-ssa is merged? In-Reply-To: <10402041522.AA00910@vlsi1.ultra.nyu.edu> Message-ID: References: <10402041522.AA00910@vlsi1.ultra.nyu.edu> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-SW-Source: 2004-02/txt/msg00264.txt.bz2 Hi, On Wed, 4 Feb 2004, Richard Kenner wrote: > But I don't see how to eliminate the usage in (2). So the node can't be > eliminated. The question (to me) is, what purpose does it have inside types? Is it just for describing the type accurately, and ultimately only to decide sameness of types. In that case a frontend dependend type_equal_p would help. Or are P_E in types also used to actually influence code generation (instead of P_E just in expressions/statements). And in that case: why is this so, and why are P_E in statements not usable for this? FWIW I know that you indeed need this treecode somewhere, it's just the question if it needs to be in GIMPLE, and hence has to be handled by the middle end, or if it can be isolated to the frontend. Ciao, Michael.