From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 2503 invoked by alias); 19 Jan 2004 18:02:08 -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 2480 invoked from network); 19 Jan 2004 18:02:07 -0000 Received: from unknown (HELO mx1.redhat.com) (66.187.233.31) by sources.redhat.com with SMTP; 19 Jan 2004 18:02:07 -0000 Received: from int-mx1.corp.redhat.com (int-mx1.corp.redhat.com [172.16.52.254]) by mx1.redhat.com (8.11.6/8.11.6) with ESMTP id i0JI26l03101; Mon, 19 Jan 2004 13:02:06 -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 i0JI24a08346; Mon, 19 Jan 2004 13:02:05 -0500 Received: from dnovillo.cipe.redhat.com (dnovillo.cipe.redhat.com [10.0.0.106]) by pobox.toronto.redhat.com (8.12.8/8.12.8) with ESMTP id i0JI1uXd029519; Mon, 19 Jan 2004 13:01:58 -0500 Subject: Re: [RFC] Contributing tree-ssa to mainline From: Diego Novillo To: john@johnrshannon.com Cc: "gcc@gcc.gnu.org" In-Reply-To: <200401191056.05496.john@johnrshannon.com> References: <10401191226.AA27734@vlsi1.ultra.nyu.edu> <1074534670.25137.101.camel@frodo.toronto.redhat.com> <200401191056.05496.john@johnrshannon.com> Content-Type: text/plain Organization: Red Hat Canada Message-Id: <1074535293.25137.117.camel@frodo.toronto.redhat.com> Mime-Version: 1.0 Date: Mon, 19 Jan 2004 18:02:00 -0000 Content-Transfer-Encoding: 7bit X-SW-Source: 2004-01/txt/msg01323.txt.bz2 On Mon, 2004-01-19 at 12:56, John R. Shannon wrote: > On Monday 19 January 2004 10:51 am, Diego Novillo wrote: > > On Mon, 2004-01-19 at 12:42, Geert Bosch wrote: > > > There are many cases where we need to expand the original code in order > > > to generate checks. Some Ada constructs generate a non-trivial amount of > > > code, with calls to the Ada run time library, exception handlers etc. > > > Once we expand such code, it is unlikely it could be optimized away. > > > I agree with Richard that we need optimize away such constructs as early > > > as possible, which is in the front end before expansion. > > > > Instead of emitting runtime calls, would it be possible to emit tree > > codes with well defined semantics? On finding them, the optimizers > > would know that it's not just an arbitrary function call for instance > > (perhaps adding attributes to the libcall). > > > > Not in most cases. The runtime environment in Ada provides about everything > you'd expect from a real-time operating system. > Well, I know nothing about Ada so I'm not sure what you mean by that remark. That's why I was asking for specific examples. Annotated, if possible. Thanks. Diego.