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: Diego Novillo <dnovillo at redhat dot com>
To: Richard Warburton <richard dot warburton at gmail dot com>
Cc: gcc at gcc dot gnu dot org
Date: Wed, 06 Dec 2006 08:07:28 -0500
Subject: Re: Gimple Type System
References: <749b5dd60612060459w216d60c9o67495fa67ccccf4e@mail.gmail.com>

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: Richard Warburton

References:
- Gimple Type System
  - From: Richard Warburton

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