This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] More CCP fixes [patch]
- From: Jason Merrill <jason at redhat dot com>
- To: Diego Novillo <dnovillo at redhat dot com>
- Cc: Mark Mitchell <mark at codesourcery dot com>,Neil Booth <neil at daikokuya dot co dot uk>,Fergus Henderson <fjh at cs dot mu dot OZ dot AU>,Richard Henderson <rth at redhat dot com>,"gcc-patches at gcc dot gnu dot org" <gcc-patches at gcc dot gnu dot org>
- Date: Wed, 14 Aug 2002 13:30:59 +0100
- Subject: Re: [tree-ssa] More CCP fixes [patch]
- References: <12150000.1029307821@warlock.codesourcery.com><1029326005.1294.42.camel@frodo>
On 14 Aug 2002 07:53:25 -0400, Diego Novillo <dnovillo@redhat.com> wrote:
> If SIMPLE is supposed to be language-independent, allowing C-like type
> casts does not look right (original SIMPLE did allow them).
I think the problem here is not so much C-isms as special knowledge in the
expander, in this case store_field. We need to make that knowledge
explicit in the tree representation. As to how we do that, using different
types seems cleaner to me than adding explicit arithmetic at this level of
abstraction.
Jason