Re: Question on tree-ssa-loop-im.c:for_each_index

[Richard Henderson]

On Sat, Mar 19, 2005 at 09:59:32PM +0100, Zdenek Dvorak wrote:
> >     x = <VIEW_CONVERT_EXPR some_type> 22;
> 
> what is the semantics of this expression?  Should not this rather be
> 
> x = <NOP_EXPR some_type> 22
> 
> (or just INTEGER_CST:some_type 22)?

The semantics are, exactly,

        union {
          some_type st;
          int_type it;
        } u;

        u.it = 22;
        x = u.st;

In many cases we *could* fold the constant, but fold-const.c doesn't 
know much about view_convert_expr so we don't.


r~