Question on aggregates and GIMPLE

[Diego Novillo]

On Tue, 2004-06-08 at 22:50, Richard Kenner wrote:

> If I write S (3..5) = "xyz" I'd really like that to survive in the tree
> as an <EQ_EXPR <ARRAY_RANGE_EXPR <S 3>> <STRING_CST "xyz">> so the 
> optimizers can reason on that basis and if it later saw S (3..5) = "abc",
> it would know that only one of those can be true.
>
Why?  The scalarized form of that predicate can be just as easily dealt
with by the *current* optimizers.

> Sure, we perhaps can't do that kind of optimization today
>
Yes, we can.


Diego.