From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 694 invoked by alias); 11 Nov 2004 19:38:13 -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 619 invoked from network); 11 Nov 2004 19:38:07 -0000 Received: from unknown (HELO mx1.redhat.com) (66.187.233.31) by sourceware.org with SMTP; 11 Nov 2004 19:38:07 -0000 Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254]) by mx1.redhat.com (8.12.11/8.12.11) with ESMTP id iABJc4wQ029007; Thu, 11 Nov 2004 14:38:04 -0500 Received: from pobox.toronto.redhat.com (pobox.toronto.redhat.com [172.16.14.4]) by int-mx1.corp.redhat.com (8.11.6/8.11.6) with ESMTP id iABJc4r30700; Thu, 11 Nov 2004 14:38:04 -0500 Received: from [172.16.50.26] (vpn50-26.rdu.redhat.com [172.16.50.26]) by pobox.toronto.redhat.com (8.12.8/8.12.8) with ESMTP id iABJc3oS031273; Thu, 11 Nov 2004 14:38:03 -0500 Subject: Re: a question about const and pure functions. From: Diego Novillo To: Roger Sayle Cc: Tom Tromey , GCC Mailing List In-Reply-To: References: Content-Type: text/plain Organization: Red Hat Canada Message-Id: <1100201882.3481.14.camel@localhost.localdomain> Mime-Version: 1.0 Date: Thu, 11 Nov 2004 20:15:00 -0000 Content-Transfer-Encoding: 7bit X-SW-Source: 2004-11/txt/msg00436.txt.bz2 On Thu, 2004-11-11 at 13:23, Roger Sayle wrote: > On 11 Nov 2004, Tom Tromey wrote: > > I don't have an immediate plan to implement any of this, but I've > > been thinking about it in the context of tree-ssa. I've read that > > some folks would like there to be a clean handoff from the front ends > > to the GENERIC parts of the compiler -- so I've been trying to think > > of situations where this causes problems for java. > > Another possibility is to make the class initialization behaviour > far more explicit in the gimple when handing off to the middle-end. > That's roughly what I had in mind. But I never thought it completely through. It is in-line with the general direction of expanding the language semantics in painful detail on the IL for the optimizers benefit. There may be some some nasty side-effects in the size of the IL, so we'd have to watch for that. Diego.