This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: [RFC] Tightening up the type system
- From: Geoffrey Keating <geoffk at geoffk dot org>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: gcc at gcc dot gnu dot org
- Date: 30 Sep 2004 12:58:01 -0700
- Subject: Re: [RFC] Tightening up the type system
- References: <1096385758.18087.55.camel@localhost.localdomain>
Diego Novillo <dnovillo@redhat.com> writes:
> In fact, I would like to get to the point where we can simply call
> 'gcc_assert (lang_hook.compatible_types_p (dest, orig))' when doing
> propagation. Ideally, all the necessary type conversions should be
> exposed in the IL.
Should the validity of GIMPLE really depend on a language hook like
this? Surely it would make more sense to have a
gimple_compatible_types_p that reflects what code that parses GIMPLE
can actually handle (presumably a superset of what each language can
generate).