This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Gimple Type System

From: "Richard Warburton" <richard dot warburton at gmail dot com>
To: "Diego Novillo" <dnovillo at redhat dot com>
Cc: gcc at gcc dot gnu dot org
Date: Wed, 6 Dec 2006 14:44:59 +0000
Subject: Re: Gimple Type System
References: <749b5dd60612060459w216d60c9o67495fa67ccccf4e@mail.gmail.com> <4576C090.90409@redhat.com>

Thanks for this information.  I presume from you response that there
is a plan to address this issues, is this something that will be
happening in the 'near-term', by that I mean within the next 6-9
months?

Richard

On 12/6/06, Diego Novillo <dnovillo@redhat.com> wrote:

Richard Warburton wrote on 12/06/06 07:59:

> I would be most grateful of an answer to these questions, since I find
> the implementation of the gimple type system to be a little puzzling.
>
That's because there is *no* GIMPLE type system.  GIMPLE latches on to
the type system of the input language, via the so called 'language
hooks' (see lang_hooks.types_compatible_p).  This is a limitation that
has not been addressed yet.

Follow-Ups:
- Re: Gimple Type System
  - From: Diego Novillo

References:
- Gimple Type System
  - From: Richard Warburton
- Re: Gimple Type System
  - From: Diego Novillo

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]