This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: More questions related to gimplification
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Nathanael Nerode <neroden at fastmail dot fm>
- Cc: "gcc at gcc dot gnu dot org" <gcc at gcc dot gnu dot org>
- Date: Mon, 16 Aug 2004 08:05:49 -0400
- Subject: Re: More questions related to gimplification
- Organization: Red Hat Canada
- References: <20040816102526.GA2819@fastmail.fm>
On Mon, 2004-08-16 at 06:25, Nathanael Nerode wrote:
> Is it possible to have a MODIFY_EXPR going into gimplify_modify_expr,
> such that
> (1) The LHS is_gimple_reg_type (TREE_TYPE(lhs))
> (2) The RHS, after gimplification, is *not*
>
I don't see how. The two types had better be the same before and after
gimplification.
> or
> (1) The RHS, after gimplification, is_gimple_reg_type (TREE_TYPE(lhs))
> (2) The LHS is *not*
>
Similarly.
If the LHS and RHS have different types, I don't think we would ever get
into the gimplifier, so I'm not sure a check there would have much
effect.
Diego.