This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: SSA usage question
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>, Richard Henderson <rth at redhat dot com>
- Date: Mon, 07 Jun 2004 11:00:46 -0400
- Subject: Re: SSA usage question
- Organization: Red Hat Canada
- References: <10406071422.AA09477@vlsi1.ultra.nyu.edu>
On Mon, 2004-06-07 at 10:22, Richard Kenner wrote:
> > (1) Add two operands to the ARRAY_REF node. One is a copy of TYPE_MIN_VALUE
> > of the index and the second is a copy of TYPE_SIZE_UNIT of the element type.
> > (2) Add an operand to COMPONENT_REF that's a copy of DECL_FIELD_POSITION of
> > the second operand.
> >
> > In both cases, any PLACEHOLDER_EXPRs will be expanded, the copy will be
> > gimplified, and the operand will not be present if it would be a constant.
>
> How would this look in GIMPLE?
>
> Exactly as I said: I'm describing the GIMPLE.
>
I meant "show me code". Both in its original Ada form and what you
propose to generate in GIMPLE.
So, you want a reference like 'a[3]' to show up as 'a[3,v,x]' where 'v'
is TYPE_MIN_VALUE and 'x' is TYPE_SIZE_UNIT? Would 'v' and 'x' be set
sometime before the reference?
Diego.