This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH][RFC] A GIMPLE and "GIMPLE type system" verifier
- From: Richard Guenther <rguenther at suse dot de>
- To: Diego Novillo <dnovillo at google dot com>
- Cc: gcc-patches at gcc dot gnu dot org
- Date: Fri, 1 Jun 2007 13:57:45 +0200 (CEST)
- Subject: Re: [PATCH][RFC] A GIMPLE and "GIMPLE type system" verifier
- References: <Pine.LNX.4.64.0705311605010.27490@zhemvz.fhfr.qr> <465EEA47.2010700@google.com>
On Thu, 31 May 2007, Diego Novillo wrote:
> On 5/31/07 10:21 AM, Richard Guenther wrote:
>
> > Comments?
>
> Well, without having a properly defined type system for GIMPLE, I don't
> know how we can implement a verifier for it. Seems to me like we should
> do that first.
Btw, how do you define "type system"? Or asked differently, what do
we want to define or specify for a GIMPLE type system? Possibly we
are thinking of different things here - as you can see from the checker
code I am most interested in where the "type system" meets the IL.
Is there any existing work on defining the GIMPLE type system?
Thanks,
Richard.