From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 488 invoked by alias); 22 Jun 2004 21:01:06 -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 480 invoked from network); 22 Jun 2004 21:01:06 -0000 Received: from unknown (HELO pengo.systems.pipex.net) (62.241.160.193) by sourceware.org with SMTP; 22 Jun 2004 21:01:06 -0000 Received: from nowt.org (81-178-239-252.dsl.pipex.com [81.178.239.252]) by pengo.systems.pipex.net (Postfix) with ESMTP id 059174C0004E; Tue, 22 Jun 2004 22:01:01 +0100 (BST) Received: from wren.home (wren.home [192.168.1.7]) by nowt.org (Postfix) with ESMTP id 3B55BAC92; Tue, 22 Jun 2004 22:00:57 +0100 (BST) From: Paul Brook Organization: CodeSourcery To: kenner@vlsi1.ultra.nyu.edu (Richard Kenner) Subject: Re: Patch to allow Ada to work with tree-ssa Date: Tue, 22 Jun 2004 22:04:00 -0000 User-Agent: KMail/1.6.2 Cc: gcc-patches@gcc.gnu.org References: <10406222045.AA10901@vlsi1.ultra.nyu.edu> In-Reply-To: <10406222045.AA10901@vlsi1.ultra.nyu.edu> MIME-Version: 1.0 Content-Disposition: inline Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Message-Id: <200406222200.56866.paul@codesourcery.com> X-SW-Source: 2004-06/txt/msg01802.txt.bz2 On Tuesday 22 June 2004 21:45, Richard Kenner wrote: > Basically what we need is ARRAY_REF (or implicitly via ARRAY_TYPE) > which allows you to specify the array stride. In C terms this means > sizeof(a[0]) != (a[1] - a[0]). In fact sizeof(a[0]) may not be > meaningful if it is and outer reference of a multi-dimensional array. > > Well the critical question is whether this is always a constant > or not. It's a variable. Indeed it can change between uses within the same function, as I said last time this was discussed. > If it's always a constant, then you always have the option > of making up an appropriate ARRAY_TYPE. If it's a *variable*, then > you don't have the option of getting the value implicitly from the > type and have to put it someplace explicitly in the node. The gimplifier has the option of getting it from the type node. Paul