Question on scalar replacement

[Diego Novillo]

On Mon, 2004-06-14 at 11:43, Richard Kenner wrote:
>     > Jason, is a.f = foo() valid GIMPLE?  If not, then the bug is in the
>     > gimplifier.  Otherwise, the patch I sent should be OK.
> 
>     It's valid for aggregate_type_p type.
> 
> Nevertheless, I think Diego's patch is worthwhile on the grounds of "be
> conservative in a what you generate and liberal in what you accept".
>
I disagree, we want to be extremely anal in what we accept in GIMPLE. 
This makes the optimizers very easy to work with.

However, I think we are in violent agreement here.  MODIFY_EXPR
<COMPONENT_REF, CALL_EXPR> is valid GIMPLE.


Diego.